在C++11中,标准定义了7种参数包可以展开的位置:
- 表达式
- 初始化列表
- 基类描述列表
- 类成员初始化列表
- 模板参数列表
- 通用属性列表
- lambda函数的捕捉列表
语言的其他“地方”则无法展开参数包。我们还可以声明一些有趣的包扩展表达式。
扩展1:比如声明了Arg为参数包,那么我们可以使用Arg&&...这样的包扩展表达式,其解包后等价于Arg1&&,…,Argn&&。
扩展2:
一个更为有趣的包扩展表达式如下:
template<typename...A> class T :private B<A>...{};
注意这个包和下面的类模板声明:
template<typename...A> class T :private B<A...> {};
在解包后是不同的,对于同样的实例化T<X,Y>,前者会解包为:
class T<X,Y> : private B<X>, private B<Y>{};
即多重继承的派生类,而后者会解包为:
class T<X,Y> : private B<X,Y>{};
即派生于多参数的模板类的派生类。
在C++11中,标准还引入了新操作符“sizeof...”,其作用是计算参数包中的参数个数。另外还可以使用模板做变长模板的参数包,使用方式和非类型的模板操作包相似。