可变参数模板通过递归继承展开参数包

关于可变参数模板通过递归继承展开参数包这个知识点学习

首先定义类模板的泛化版本：

template<class ...Args>
class myclasst
{
public:

    myclasst()
    {
        printf_s("myclasst::myclasst()泛化版本执行了,this = %p sizeof...(Others) = %d\n", this, sizeof...(Args));

    }
};

随即定义类模板的偏特化版本

template<class First,class... Others>
class myclasst<First, Others...>:private myclasst<Others...>
{
public:
    myclasst():m_i(0)
    {
        printf_s("myclasst::myclasst()偏特化版本执行了,this = %p,sizeof...(Others) = %d\n", this,sizeof...(Others));
    }
    First m_i;
};

执行

void test01()
{
    myclasst<int, float, double> myc;


}

int main()
{
    chcp_utf8


    test01();

    return 0;
}

执行结果

分析

楼上是分析的流程图，我们看下面这行刚刚出现的代码

myclasst<int, float, double> myc;

• 此时我们首先实例化了一个模板，传入的三个参数使我们实例化的是这个类模板偏特化的版本

• 然而代码的执行结果是抽象的，可能并非是我们第一眼所想的那样

• 从上面的分析图可以看到我们第一次是传入了三个参数，这三个参数分别给了First和Others...

• 那么也就可以知道First拿到了第一个参数，而Others...参数包拿到了第二和第三个参数

• 而在继承的时候我们可以看到继承的是Others...参数包也就是float和double这两个类型

• 正如上面流程图所示的继承结构，当Others...参数包拿不到参数时那么这种带0个模板参数的时候也就停止了继承，同时这种带0个模板参数则是使用这个类模板的泛化版本进行初始化的，但是这个时候我们可以看到这个泛化版本是第一个执行的

• 实际上，创建的方式是先从最小的开始创建也就是从泛化版本开始创建的，这样才是满足继承逻辑的(*^_^*)

• 图上少了最后一个实例，不过我相信你看到这里也明白了经过

那么我们可以得知，创建的顺序是这样的