C++11中列表初始化机制的概念与实例详解

目录
  • 概述
  • 实现机制详解
    • POD类型的列表初始化
    • 含有构造函数的类的列表初始化(C++11)
    • 列表初始化用于函数返回值
    • 引入std::initializer_list
  • 代码验证
  • 应用
  • 列表初始化防止类型收窄
  • 总结

概述

定义:列表初始化是C++11引入的新标准,目的是统一初始化方式

C++11以前只能使用列表初始化来初始化内置类型数组和POD类型对象,C++11中列表初始化可以用于初始化任何类型对象

  • POD(plain old data)类型:仅由内置类型变量构成且不含指针的类,简单来说是可以直接使用memcpy复制的对象
  • 聚合体(aggregate):聚合体一定是POD类型
    • 无自定义构造函数
    • 无私有或保护的非静态数据成员(静态成员与单独对象无关,故不影响初始化)
    • 无基类
    • 无虚函数
    • 无类内已经初始化的非静态数据成员

注意:区分列表初始化和初始化列表

列表初始化:用{}进行初始化的方式

初始化列表:构造函数体前对对象成员直接进行初始化的列表

initializer_list:一种用于未定参数的轻量STL容器

实现机制详解

对内置类型对象、POD对象和类对象的列表初始化实现细节是不同的

POD类型的列表初始化

  • 此处POD类型包括:内置类型、聚合体类
  • 内置类型数组按照顺序初始化
    • C++11标准中列表初始化会防止可能导致潜在信息丢失的类型缩小(即不能像赋值一样将大类型如int隐式转换成小类型如char)
  • 聚合体类按照成员定义顺序依次初始化

含有构造函数的类的列表初始化(C++11)

  • 通过{}进行初始化和()结果一致【即通过()调用构造函数的地方都可以完全等价地用{}代替】,都是直接用括号内的值调用对应构造函数直接初始化对象,并不会先生成临时对象再拷贝
  • ={}与{}是等价的语法【即加不加=对初始化行为没有影响】,均不会调用拷贝运算符或拷贝构造函数
  • 与内置类型的列表初始化一致,C++11的列表初始化只能用于初始化,不能用于已初始化对象的赋值
  • 实际机制猜想:传递的实际参数为initializer_list类型,通过匹配重载函数实现调用【我不知道怎么验证这个过程,求大佬解答】

列表初始化用于函数返回值

  • 在返回值类型为对象(不能是对象的引用)的函数中可以返回{}的列表初始化
  • {}返回值的实际类型为initiallizer list(但不能声明为std::initializer_list),相当于返回构造函数的表达式,因此类型不能是对象的引用

引入std::initializer_list

  • initializer_list为一个轻量级STL模板,声明在头文件<initializer_list>中,定义在命名空间std中
  • 任意的STL容器都与未指定长度的数组有一样的初始化能力,可以填入任何数量的同类型数据,因此可以用STL容器轻易对固定类型的类进行赋值
  • initializer_list是一个轻量级的模板,可以接受任意长度的同类型的数据也就是接受可变长参数,同时作为STL容器它具有STL容器的共同特征(如迭代器)
    • 只有三个成员接口:begin() end() size()
    • 只能被整体的初始化和赋值,迭代器遍历的数据仅可读,不能对单个数据进行修改
  • 所有{}对象都是隐式创建的std::initializer_list类型字面量(右值),广泛用于实现列表初始化(不需要头文件)

代码验证

class testClass
{
private:
	int a;
	int b;
public:
	testClass() :a(0), b(0) {
		cout << "default init\n";
	}
	testClass(int a) :a(a), b(a) {
		cout << "sing-val init\n";
	}
	testClass(int a, int b) :a(a), b(b) {
		cout << "val init\n";
	}
	testClass(testClass& temp) :a(temp.a), b(temp.b) {
		cout << "copy init\n";
	}
	testClass& operator=(testClass& temp) {
		//testClass& newobj = *this;
		a = temp.a;
		b = temp.b;
		cout << "copy assign\n";
		return *this;
	}
	testClass& operator=(int x) {
		a = x;
		b = x;
		cout << "int-convert assign\n";
		//testClass& newobj = *this;
		return *this;
	}
	testClass& operator++() {
		a++;
		b++;
	}
	void printVal(ostream& os) {
		os << "a=" << a << "\n";
		os << "b=" << b << "\n";
	}
};
using tc = testClass;
tc& makeObj(int x, int y)
{
	return { x,y };
}
int main()
{
	tc a(1, 1); //val init
	tc b{ 1,1 }; //val init
	tc c = { 1,1 }; //val init
	tc d = tc{ 1,1 }; //val init
	cout << endl;
	tc* e = new tc[2]; //default init *2
	cout << endl;
	tc* f = new tc[3]{ {1,1},{2,2},{3,3} }; //val init *3
	cout << endl;
	tc* g = new tc[5]{ {1,1},{1} }; // val init + sing-val init + default init *3
	cout << endl;
	cout << "testing return val of init_list\n";
	tc h = makeObj(2, 2); //val init
	tc i = h; //copy init
	i = d; //copy assign
	i.printVal(cout);
	return 0;
}

以下为运行截图

列表初始化测试

添加initializer_list为参数的构造函数后

testClass::testClass(initializer_list<int> list) :a(0), b(0)
{
	int ab = 1;
	for (auto it = list.begin(); it != list.end(); it++)
	{
		if (ab)
			a += *it;
		else
			b += *it;
	}
	cout << "init_list init\n";
}

int main()
{
	tc a(1, 1); //val init
	tc b{ 1,1 }; //val init
	tc c = { 1,1 }; //val init
	tc d = tc{ 1,1 }; //val init
	cout << endl;
	tc* e = new tc[2]; //default init *2
	cout << endl;
	tc* f = new tc[3]{ {1,1},{2,2},{3,3} }; //val init *3
	cout << endl;
	tc* g = new tc[5]{ {1,1},{1} }; // val init + sing-val init + default init *3
	cout << endl;
	cout << "testing return val of init_list\n";
	tc h = makeObj(2, 2); //val init
	tc i = h; //copy init
	i = d; //copy assign
	i.printVal(cout);
	cout << endl;
	cout << "testing argument init_list\n";
	tc j = { 1,2,3,4,5,6 };
	tc k = { 9 };
	return 0;
}

以下为运行截图


添加init_list后测试截图

由此可见所有列表初始化都调用了含有initializer_list为参数的构造函数,证实了列表初始化是基于隐式转换并以initializer_list为底层实现的构想

应用

  • 在声明时直接初始化堆上分配的对象(数组)

    • 类:可以显式指定使用的构造函数(默认会执行无参数的构造函数)
    • 内置类型:可以在分配时直接指定值
  • 在函数返回对象时避免自动存储期对象销毁的问题
  • 手动调用std::initializer_list实现可变参数初始化

列表初始化防止类型收窄

C++11的列表初始化还有一个额外的功能就是可以防止类型收窄,也就是C++98/03中的隐式类型转换,将范围大的转换为范围小的表示,在C++98/03中类型收窄并不会编译出错,而在C++11中,使用列表初始化的类型收窄编译将会报错:

int a = 1.1; //OK
int b{ 1.1 }; //error

float f1 = 1e40; //OK
float f2{ 1e40 }; //error

const int x = 1024, y = 1;
char c = x; //OK
char d{ x };//error
char e = y;//error
char f{ y };//error

总结

列表初始化通过C++11引入的initializer_list容器实现了初始化方式的统一,可以看作一种语法糖

初始化类对象时,通过()调用构造函数的地方都可以完全等价地用{}代替

={}不会生成临时对象再拷贝初始化

到此这篇关于C++11中列表初始化机制的文章就介绍到这了,更多相关C++11列表初始化机制内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • 简述C++11就地初始化与列表初始化

    1.就地初始化 1.1简介 在C++11之前,只能对结构体或类的静态常量成员进行就地初始化,其他的不行. class C { private: static const int a=10; //yes int a=10; //no } 在C++11中,结构体或类的数据成员在申明时可以直接赋予一个默认值,初始化的方式有两种,一是使用等号"=",二是使用大括号列表初始化的方式.注意,使用参考如下代码: class C { private: int a=7; //C++11 only int

  • C++11中列表初始化机制的概念与实例详解

    目录 概述 实现机制详解 POD类型的列表初始化 含有构造函数的类的列表初始化(C++11) 列表初始化用于函数返回值 引入std::initializer_list 代码验证 应用 列表初始化防止类型收窄 总结 概述 定义:列表初始化是C++11引入的新标准,目的是统一初始化方式 C++11以前只能使用列表初始化来初始化内置类型数组和POD类型对象,C++11中列表初始化可以用于初始化任何类型对象 POD(plain old data)类型:仅由内置类型变量构成且不含指针的类,简单来说是可以直

  • JavaScript中的ajax功能的概念和示例详解

    AJAX即"Asynchronous Javascript And XML"(异步JavaScript和XML). 个人理解:ajax就是无刷新提交,然后得到返回内容. 对应的不使用ajax时的传统网页如果需要更新内容(或用php做处理时),必须重载整个网页页面. 示例: html代码如下 <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title>

  • 对Python3中列表乘以某一个数的示例详解

    在Python列表操作中:列表乘以某一个数,如list2 = list1 * 2 得到一个新的列表是list1的元素重复n次,且list1不改变. 但运行如下代码时,得到的新列表b中,b[0]和b[1]的地址相同,即对b[0]进行操作,b[1]也会发生改变. a = [0] b = [a] * 2 print(b) b[0].append(1) print(b) 输出为: [[0], [0]] [[0, 1], [0, 1]] 随后尝试以下几种代码: 代码(1) a = [0] b = [a f

  • Python中zip()函数的解释和可视化(实例详解)

    zip()的作用 先看一下语法: zip(iter1 [,iter2 [...]]) -> zip object Python的内置help()模块提供了一个简短但又有些令人困惑的解释: 返回一个元组迭代器,其中第i个元组包含每个参数序列或可迭代对象中的第i个元素.当最短的可迭代输入耗尽时,迭代器将停止.使用单个可迭代参数,它将返回1元组的迭代器.没有参数,它将返回一个空的迭代器. 与往常一样,当您精通更一般的计算机科学和Python概念时,此模块非常有用.但是,对于初学者来说,这段话只会引发更

  • python压包的概念及实例详解

    对于一些分解后的元素,我们也是有重新归类的需要.那么我们把解包的恢复过程,叫做压包.这里要用到zip函数的方法,对元素重新进行打包处理,在之前的学习中我们已经对zip函数有所接触.下面我们就python压包的概念.方法进行介绍,然后带来相关的实例使用. 1.概念 压包是解包的逆过程,用zip函数实现. 2.方法 (1)zip() 函数用于将可迭代的对象作为参数,将对象中对应的元素打包成一个个元组,然后返回由这些元组组成的对象(Python3). (2)如果各个迭代器的元素个数不一致,则返回列表长

  • Spark中的数据读取保存和累加器实例详解

    目录 数据读取与保存 Text文件 Sequence文件 Object对象文件 累加器 累加器概念 系统累加器 数据读取与保存 Text文件 对于 Text文件的读取和保存 ,其语法和实现是最简单的,因此我只是简单叙述一下这部分相关知识点,大家可以结合demo具体分析记忆. 1)基本语法 (1)数据读取:textFile(String) (2)数据保存:saveAsTextFile(String) 2)实现代码demo如下: object Operate_Text { def main(args

  • jQuery中text() val()和html()的区别实例详解

    简单的说:html()和text()的区别主要在于是否包含标签.而val()针对的是表单元素. 但是有时还是不是那么太清晰. html(),val(),text()都分为有参和无参. 举例说明它们的不同之处: html()在没有参数的情况下,取得第一个匹配元素的内容.必须要注意的是,即使匹配多个,也只能取得匹配的第一个元素. 如: <body> <p>你选中这段文字后,看看它们的文本颜色和背景色,就能明白::selection的作用.</p> <h3>选中下

  • JS中获取 DOM 元素的绝对位置实例详解

    在操作页面滚动和动画时经常会获取 DOM 元素的绝对位置,例如 本文 左侧的悬浮导航,当页面滚动到它以前会正常地渲染到文档流中,当页面滚动超过了它的位置,就会始终悬浮在左侧. 本文会详述各种获取 DOM 元素绝对位置 的方法以及对应的兼容性.关于如何获取 DOM 元素高度和滚动高度,请参考视口的宽高与滚动高度 一文. 概述 这些是本文涉及的 API 对应的文档和标准,供查阅: API 用途 文档 标准 offsetTop 相对定位容器的位置 MDN CSSOM View Module clien

  • 在vue项目中优雅的使用SVG的方法实例详解

    1.基础介绍 本文旨在介绍如何在项目中配置和方便的使用svg图标. 本文以vue项目为例,当然在react中的使用原理基本相似. svg图标可以直接通过img标签来使用,也可当做icon来使用. 本文是参考了鑫旭大佬的文章:SVG Sprite技术介绍. 2.配置 安装svg-sprite-loader.通过vue-cli脚手架创建的项目默认情况下会使用 url-loader 对svg进行处理,所以需要处理下: { test: /\.(png|jpe?g|gif|svg)(\?.*)?$/, l

  • C++中回调函数及函数指针的实例详解

    C++中回调函数及函数指针的实例详解 如何获取到类中函数指针 实现代码: //A类与B类的定义 class A { public: void Test() { cout << "A::Test()" << endl; } }; class B : public A { public: void Test() { cout << "B::Test()" << endl; } }; //定义类的成员函数指针 typedef

随机推荐