{}初始化
在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扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(=),也可不添加。
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 };
// 列表初始化也可以适用于new表达式中
int* pa = new int[4]{ 0 };
return 0;
}
创建对象时也可以使用列表初始化方式调用构造函数初始化
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
cout << "Date(int year, int month, int day)" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022, 1, 1); // old style
// C++11支持的列表初始化,这里会调用构造函数初始化
Date d2{ 2022, 1, 2 };
Date d3 = { 2022, 1, 3 };
return 0;
}
C++中, 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数), 承担了两个角色。
1 是个构造;2 是个默认且隐含的类型转换操作符。
explicit
关键字修饰构造函数可以防止隐式类型转换,如果我们给上述Date
类的构造函数用explicit
修饰,d3
的构造就会报错:
class Date
{
public:
explicit Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
cout << "Date(int year, int month, int day)" << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2022, 1, 1); // old style
// C++11支持的列表初始化,这里会调用构造函数初始化
Date d2{ 2022, 1, 2 };
// 编译报错,因为这里的初始化是隐式类型转换
// Date d3 = { 2022, 1, 3 };
return 0;
}
std::initializer_list
initializer_list
是C++11中的一个新的类模板,在之前介绍STL容器的构造函数时稍有提及。
initializer_list
的实例化要使用{}
,可以认为:{}
和其内容构成一个initializer_list
。
int main()
{
auto li = { 1,2,3,4,5 };
cout << typeid(li).name() << endl;
return 0;
}
输出:
class std::initializer_list<int>
所以我们上面所说的使用{}
初始化,本质上就是使用列表初始化,即initializer_list
来初始化。
那么STL中的容器是如何做到支持这一特性的呢?
C++11之后,STL的容器都增加了以初始化列表为形参的构造函数和赋值重载。
我们还可以使用多层初始化,比如:
int main()
{
vector<int> v = { 1, 2, 3 };
list<int> lt = { 1, 2, 3 };
// 这里{"sort", "排序"}会先初始化构造一个pair对象
map<string, string> = { {"sort", "排序"}, {"insert", "插入"} };
// 使用{}对容器赋值
v = { 4, 5, 6, 7, 8 };
return 0;
}
如果我们想要让之前模拟实现的vecor
也支持{}
初始化和赋值,只需增加对应的构造函数和赋值重载即可:
namespace xxm
{
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;
};
}
auto
C++11标准中新增了auto
关键字,可以自动推导类型。
其最多应用在迭代器类型推导中。
int main()
{
int i = 10;
auto p = &i;
auto pf = strcpy;
cout << typeid(p).name() << endl;
cout << typeid(pf).name() << endl;
map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
//map<string, string>::iterator it = dict.begin();
auto it = dict.begin();
return 0;
}
decltype
关键字decltype将变量的类型声明为表达式指定的类型。
// decltype的一些使用使用场景
template<class T1, class T2>
void F(T1 t1, T2 t2)
{
decltype(t1 * t2) ret;
cout << typeid(ret).name() << endl;
}
int main()
{
const int x = 1;
double y = 2.2;
decltype(x * y) ret; // ret的类型是double
decltype(&x) p;
// p的类型是int*
cout << typeid(ret).name() << endl;
cout << typeid(p).name() << endl;
F(1, 'a');
return 0;
}
nullptr
由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示 整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。
#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif