侯捷《C++标准11-14》笔记

P2: 模板编程中的…

模板编程时，“…”表示可以接受任意数量和类型的参数，具有极大的灵活性。函数调用时，参数个数不定会被分解成一包一包的参数传入。从而通过递归把不定个数的参数一一分解。

#include 
using namespace std;

void print()
{

}
template <typename T, typename... Types>
void print(const T& firstArg, const Types&... args)
{
    cout << firstArg << endl;
    print(args...);
}
int main()
{
    print(7.5, "hello", 42);
    return 0;
}

输出结果如下：

我们可以使用sizeof...(args)知道有args可变参数的个数：

#include 
using namespace std;

void print()
{
}
template <typename T, typename... Types>//...是模板参数包
void print(const T &firstArg, const Types &...args)//...是函数参数类型包
{
    cout << firstArg << " " << sizeof...(args) << endl;

    print(args...);//...是函数参数包
}
int main()
{
    print(7.5, "hello", 42);
    return 0;
}

输出结果：

这里的...是所谓的pack(包)：

• 用于模板参数，是模板参数包
• 用于函数参数类型，是函数参数类型包
• 用于函数参数，是函数参数包。
  
  此外，还介绍了如何调用同名函数，以及递归调用的条件。使用包可以很方便地完成参数的切片和递归调用。

也可以构造适配不同参数个数的类模板

P3 模板表达式的空格，nullptrm, auto关键字

在老的C++里使用模板表达式需要使用空格，但现在不用了：

vector<list<int> > a;//旧版
vector<list<int>> a;//新版

另外C++引入了nullptr（类型是nullptr_t，定义在cstddef头文件里），避免了C语言的NULL的语义混淆，因为有时C语言的NULL又写成0,，它到底是指针还是整型变量有时候很难搞清楚：

//函数声明
void f(int);
void f(void*);
//函数调用
f(0);//调用void f(int)
f(nullptr);//调用void f(void*)
f(NULL);//调用void f(int)还是void f(void*)，容易混淆

C++还引入了auto关键字，但是不要乱用，常用的auto关键字的场景有：

1. 变量类型太长了，比如STL的迭代器类型 vector::iterator
2. lambda表达式