【侯捷-C++11新特性-】
variadic templates
uniform initialization
Initializer Lists
Alias Template
variadic templates
用例
void print()
{
}
template<typename T, typename... Types>
void print(const T& firstArg, const Types&... args)
{
std::cout << "variadic params length: "<< sizeof...(args) << std::endl;
std::cout << firstArg << std::endl;
print(args...);
}
void main()
{
print(7.5, "hello", 42);
}
- void print(const T& firstArg, const Types&… args) 可传入任意长度,任意类型的数据。
- void print(const T& firstArg, const Types&… args) 将传入的任意长度数据分解为 1 + (n - 1),对第一个数据进行相应操作,对剩下 n - 1 的数据进行递归调用。
- void print() 为递归调用的出口。
uniform initialization
C++11之前,变量的初始化操作可以用小括号,大括号,或者是赋值操作。常常使人困惑。在C++11之后,提供统一的大括号初始化方式。
用例
void main()
{
int values[]{
1, 2 ,3 };
vector<int> v{
1, 2, 3, 4 , 5 };
vector<string> cities{
"Berlin", "New York", "London"};
complex<double> c{
4.0, 3.0 };
}
- 编译器看到 {t1, t2, …}便做出一个 initializer_list,它会关联至一个 array<T, n>。调用函数(比如构造函数)时,这个 array 中的元素可以被编译器分解逐一传给函数。
- 如果函数参数本来就是 initializer_list<T>,它们会自动作为 initializer_list<T>传入。
- 构造 cities 变量时,会先形成一个 initializer_list<string>,它的背后有一个 array<string, 3>,调用 vector<string> 的构造函数时,编译器找到了一个 vector<string>的接受 initializer_list<T>参数的构造函数。事实上,所有的容器都有这样的构造函数。
- 构造 c 这个变量时,会先形成一个 initializer_list<double,>,它的背后有一个 array<double, 2>。调用 complex<double>的构造函数时,该array内的两个元素被分解传给其构造函数。complex<double>并没有任何构造函数可以接受 initializer_list<double>。
两个注意点
int i; // i 没有被初始化
int j