第一章：关于 Initializer_list的理解及用法

第一章：关于 Initializer_list的解释及用法

1、Uniform Initializer 一致化的初始化方法

在没有接触C++11之前，对于一个Value或者一个Object的初始化有很多种方法，我们也许会用到小括号，大括号，等号来进行初始化的工作，例如：

int a = 0;//新手可能会认为int a;这种写法会给a初始化为0，这是个错误的理解
int array[5] = {1,2,3,4,5};
vector<int> first;//初始化一个空的vector
vector<int> second(5,10);//指明vector中元素的个数，并赋值
vector<int> third(second.begin(),second.end());//利用second进行初始化
vector<int> fourth(third);//利用拷贝构造对third进行初始化

上面的代码就是C++11出现之前我们所常用的一些初始化的方式，可以看到这些初始化的方法虽然多，对Value或Object的初始化缺乏统一的方法，而且对一些特殊的初始化操作不支持，比如：我想要对vecotr容器的进行初始化时传入1，2，3，4，5这些数字，那么该怎么做呢？我们可能会想到先初始化一个数组传入这些数字，利用数组给vector进行初始化，这个步骤要分为两步去做，太麻烦了。现在C++11引入了一致性的初始化方法，非常灵活和方便，对初始化操作进行了统一的处理。

int a{};//这种初始化的方式就比较友好，{}中为空，a会被默认的初始化为0
int array[]{0,1,2,3,4,5};
vector<int> v{1,2,3,4,5};
vector<string> cities{"BeiJing","ShangHai","GuangZhou","ShenZhen"};
complex<double> com{4.0,3.0};//complex是数学中的复数，第一个和第二个分别代表实数位和虚数位

2、使用{}进行初始化的原理分析

使用{}进行初始化，实际上是利用了一个事实：编译器看到{t1,t2…tn}时便做出一个initializer_list，它关联到一个array<T,n>。调用函数时该array内的元素可以被编译器分解逐一传递给函数。但是如果函数参数是一个initializer_list,这“包”数据（即{t1,t2…tn}）将整体传入到函数中。
例如：上述cities，{}会形成一个initializer_list，背后有个array<string,4>。调用vectorctors时，编译器找到了一个initializer_list ctor来接受initializer_list，而对于com来说，{}会形成一个initializer_list，背后有一个array<double,2>,但是complex类中没有initializer_listctor，所以编译器会将array内的元素拆解开来传递给ctor。事实上，STL中所有的容器都有此ctors。

vector (initializer_list<value_type> il,const allocator_type& alloc = allocator_type());
list (initializer_list<value_type> il,const allocator_type& alloc = allocator_type());
deque (initializer_list<value_type> il,const allocator_type& alloc = allocator_type());
map (initializer_list<value_type> il,const key_compare& comp = key_compare(),
		const allocator_type& alloc = allocator_type());
set (initializer_list<value_type> il,const key_compare& comp = key_compare(),
     	const allocator_type& alloc = allocator_type());
//上述为常见容器中含inisializer_list<T>的构造函数		

3、Initializer_list的源码定义（来自VS2017）

template<class _Elem>
	class initializer_list
	{	// list of pointers to elements
public:
	typedef _Elem value_type;
	typedef const _Elem& reference;
	typedef const _Elem& const_reference;
	typedef size_t size_type;

	typedef const _Elem* iterator;
	typedef const _Elem* const_iterator;

	constexpr initializer_list() noexcept
		: _First(nullptr), _Last(nullptr)
		{	// empty list
		}

	constexpr initializer_list(const _Elem *_First_arg,
		const _Elem *_Last_arg) noexcept
		: _First(_First_arg), _Last(_Last_arg)
		{	// construct with pointers
		}

	_NODISCARD constexpr const _Elem * begin() const noexcept
		{	// get beginning of list
		return (_First);
		}

	_NODISCARD constexpr const _Elem * end() const noexcept
		{	// get end of list
		return (_Last);
		}

	_NODISCARD constexpr size_t size() const noexcept
		{	// get length of list
		return (static_cast<size_t>(_Last - _First));
		}

private:
	const _Elem *_First;
	const _Elem *_Last;
	};

源码分析：根据侯捷老师所讲，编译器首先会调用constexpr initializer_list（）进行构造，但是在调用前initializer_list的背后已经关联好了array<T,_Size>数组，而函数中的_First和_Last会分别为指向array数组的起始元素和末尾的元素。（这里没有采用侯捷老师讲课视频中的源码，视频中那一版源码与VS2017提供的稍有不同，视频中，initializer_list类的成员函数不是_First和_Last这两个指针，而是一个iterator类的变量用来指向array数组的首元素和表示数组大小的size_type类型的变量，其实道理时一样的），需要注意的是这些元素都被包含在array数组中，initializer_list中没有包含这些元素，它提供的是指向array的指针，所以如果进行拷贝动作，只是两个initializer_list的指针指向同一个array，本质上是做的一个浅拷贝。还需要注意的是，size()的返回值为size_t,不是int,这里将_Last与_First相减，结果被static_cast转化为了size_t类型。

4、Initializer_list中的方法

Member functions：

Constructor	构造函数
size	返回Initializer_list的大小（元素个数）
begin	返回指向首元素的迭代器
end	返回指向末尾元素的迭代器

Non-member function overloads：

begin(initializer_lsit)	返回指向首元素的迭代器
end(initializer_lsit)	返回指向末尾元素的迭代器

5、使用{}给变量进行初始化

int a;//只是被定义没有被初始化
int b{};//{}为空，默认被初始化为0
char* p;//只是被定义没有初始化
char* q{};//{}为空，默认初始化为NULL
int x {5.0};//ERROR,VS2017报告错误，double转int需要进行收缩转换
double y {5};//可行
char a(65);//会对应ASCII码自动进行转换为A
char a {65};//ERROR,不能进行转换
//注意，使用{}时不能进行收缩转换

6、Initializer_list在函数和类中的使用

template <typename T>
void PrintInitlizer_list(initializer_list<T> page)//initializer_list<T>类型做参数
{
	for (auto it = page.begin(); it != page.end(); it++)
	{
		cout << *it << endl;
	}
}

class P{
	public:
		P(int a, int b) //第一种构造函数
		{
			cout<<"a = "<<a<<", b = "<<b<<endl;
		}
		P(initializer_list<int> initlist) //第二种构造函数
		{
			cout<<"P(initializer_list<int>),value = ";
			for(auto i:initlist){
				cout<<i<<" "<<endl;
			}
		}
};
//一下几种初始化的方式：
P p(1,2); //调用第一个构造函数
P q{1,2}; //调用第二个构造函数
P r{1,2,3}; //调用第二个构造函数
P s{1,2}; //嗲用第二个构造函数
//说明：当含有initializer_list的构造函数不存在时，r将会构造失败，因为编译器会将array<int,3>拆解为3个数，不满足第一个要求

参考文献：
http://www.cplusplus.com/reference/
https://www.bilibili.com/video/av51863195?p=4
https://www.bilibili.com/video/av51863195?p=5
https://www.bilibili.com/video/av51863195?p=6
第二到四个为B站UP主“做个少爷啊”上传的侯捷老师关于C++11新特性的讲解视频，原视频网址：
http://boolan.com/