类模板中可变参的逐步展开

1.myclasst<Args…>继承

template<typename...Args>
class myclasst
{
    
public:
	myclasst()
	{
    
		cout << "myclasst::myclasst()执行了，可变参数：" << sizeof...(Args) << endl;
	}
};

template<typename...Args>
class myclasst2 :public myclasst<Args...>
{
    
public:
	myclasst2()
	{
    
		cout << "myclasst2::myclasst2()执行了，可变参数：" << sizeof...(Args) << endl;
	}

};
int main()
{
    	
	
	myclasst2<double, float, int> tmpobj;
	system("pause");
	return 0;
}

结果：

从运行结果可以看出实例化出了myclasst2<double,float,int>类。

2.myclasst…继承

现在换一种写法，如下：

template<typename...Args>
class myclasst2 :public myclasst<Args>...
{
    
public:
	myclasst2()
	{
    
		cout << "myclasst2::myclasst2()执行了，可变参数：" << sizeof...(Args) << endl;
	}

};

结果：

这里修改了myclasst2所继承的父类，原来是myclasst<Args...>,现在把…放到右尖括号之外，变为了myclasst<Args>...
(1)毫无疑问，肯定会实例化出myclasst2<double,float,int>类，因为tmpobj就是属于该类的对象；
(2)Args代表的是一包类型，在这里这一包类型为double,float,int共3个类型；而myclasst<Args>...这种写法实例化后代表3个类，分别是myclasst<double>,myclasst<float>,myclasst<int>
(3)所以这种情况下myclasst2<double,float,int>类的父类实际有3个。所以对于语句：

class myclasst2:public myclasst<Args>...

实际等价于：

class myclasst2:public myclasst<double>,public myclasst<double>,public myclasst<int>