P2: 模板编程中的…
模板编程时,“…”表示可以接受任意数量和类型的参数,具有极大的灵活性。函数调用时,参数个数不定会被分解成一包一包的参数传入。从而通过递归把不定个数的参数一一分解。
#include <iostream>
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 <iostream>
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关键字的场景有:
- 变量类型太长了,比如STL的迭代器类型
vector<int>::iterator
- lambda表达式