C++奇迹之旅：列表初始化和std::initializer_list（C++11第一篇）

---

📝C++11简介

在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1)，使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。

不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复，语言的核心部分则没有改动，因此人们习惯性的把两个标准合并称为C++98/03标准。从C++0x到C++11，C++标准10年磨一剑，第二个真正意义上的标准珊珊来迟。相比于C++98/03，C++11则带来了数量可观的变化，其中包含了约140个新特性，以及对C++03标准中约600个缺陷的修正，这使得C++11更像是从C++98/03中孕育出的一种新语言。

相比较而言，C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全，不仅功能更强大，而且能提升程序员的开发效率，公司实际项目开发中也用得比较多，所以我们要作为一个重点去学习。C++11增加的语法特性非常篇幅非常多，我们这里没办法一 一讲解，所以本节课程主要讲解实际中比较实用的语法。

官方文档：
https://en.cppreference.com/w/cpp/11

小故事：
1998年是C++标准委员会成立的第一年，本来计划以后每5年视实际需要更新一次标准，C++国际标准委员会在研究C++ 03的下一个版本的时候，一开始计划是2007年发布，所以最初这个标准叫C++ 07。但是到06年的时候，官方觉得2007年肯定完不成C++ 07，而且官方觉得2008年可能也完不成。最后干脆叫C++ 0x。x的意思是不知道到底能在07还是08还是09年完成。结果2010年的时候也没完成，最后在2011年终于完成了C++标准。所以最终定名为C++11。

🌠 统一的列表初始化

🌉｛｝初始化

在C++98中，标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。比如：

struct Point
{
	int _x;
	int _y;
};
int main()
{
	int array1[] = { 1, 2, 3, 4, 5 };
	int array2[5] = { 0 };
	Point p = { 1, 2 };
	return 0;
}

C++11扩大了用大括号括起的列表(初始化列表)的使用范围，使其可用于所有的内置类型和用户自定义的类型，使用初始化列表时，可添加等号(=)，也可不添加。

struct Point
{
	int _x;
	int _y;
};
int main()
{
	int x1 = 1;
	int x2{ 2 };
	int array1[]{ 1, 2, 3, 4, 5 };
	int array2[5]{ 0 };
	Point p{ 1, 2 };
	// C++11中列表初始化也可以适用于new表达式中
	int* pa = new int[4]{ 0 };
	return 0;
}

创建对象时也可以使用列表初始化方式调用构造函数初始化

struct Point
{
	int _x;
	int _y;
};
class Date
{
public:
	Date(int year = 1, int month = 1,int day =1)
		:_year(year)
		,_month(month)
		,_day(day)
	{
		cout << "Date(int year = 1, int month = 1,int day =1)" << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};

//一切皆可用列表初始化，且可以不加
int main()
{
	int a1[] = { 1,2,3,4,5 };
	int a2[5] = { 1 };

	//Point P = { 1,2 };
	//int x2 = { 2 };
	//Date d1 = { 2024, 8, 26 };
	//const Date& d2 = { 2024,8,26 };

	Point P{ 1,2 };
	int x2{ 2 };
	Date d1{ 2024,8,26 };
	const Date& d2 = { 2024,8,26 };

	return 0;
}

🌠std::initializer_list

std::initializer_list的介绍文档：
http://www.cplusplus.com/reference/initializer_list/initializer_list/

std::initializer_list是什么类型：

int main()
{
	// the type of il is an initializer_list 
	auto il = { 10, 20, 30 };
	cout << typeid(il).name() << endl;
	return 0;
}

std::initializer_list使用场景：
std::initializer_list一般是作为构造函数的参数，C++11对STL中的不少容器就增加std::initializer_list作为参数的构造函数，这样初始化容器对象就更方便了。也可以作为operator=的参数，这样就可以用大括号赋值。

C++文档：
list：
https://cplusplus.com/reference/list/list/list/
operator=
https://cplusplus.com/reference/vector/vector/operator=/
vector
https://cplusplus.com/reference/vector/vector/vector/
map
https://cplusplus.com/reference/map/map/map/

int main()
{
	vector<int> v = { 1,2,3,4 };
	list<int> lt = { 1,2 };
	// 这里{"sort", "排序"}会先初始化构造一个pair对象
	map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
	// 使用大括号对容器赋值
	v = { 10, 20, 30 };
	return 0;
}

int main()
{
	//{} 必须与Date构造参数个匹配
	Date d1 = { 20204,8,26 };

	//{} 列表中可以有任意多个值
	vector<int> v1 = { 2024,8,26,20,56 };
	vector<int> v2({ 2024,8,26,20,56 });

	std::initializer_list<int> mylist;
	mylist = { 10,20,30 };
	cout << sizeof(mylist) << endl;

	cout << mylist.begin() << endl;
	cout << mylist.end() << endl;

	map<string,string> dict = {{"sort","排序"},{"Insert","插入"},{"Find","查找"}};

	return 0;
}

让模拟实现的vector也支持{}初始化和赋值

namespace own
{
	template<class T>
	class vector {
	public:
		typedef T* iterator;
		vector(initializer_list<T> l)
		{
			_start = new T[l.size()];
			_finish = _start + l.size();
			_endofstorage = _start + l.size();
			iterator vit = _start;
			typename initializer_list<T>::iterator lit = l.begin();
			while (lit != l.end())
			{
				*vit++ = *lit++;
			}
			//for (auto e : l)
			//   *vit++ = e;
		}
		vector<T>& operator=(initializer_list<T> l) {
			vector<T> tmp(l);
			std::swap(_start, tmp._start);
			std::swap(_finish, tmp._finish);
			std::swap(_endofstorage, tmp._endofstorage);
			return *this;
		}
	private:
		iterator _start;
		iterator _finish;
		iterator _endofstorage;
	};
}

---

🚩总结