第一章:关于 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/