为什么可变参数模板在C ++中的行为如此?

时间:2019-05-18 20:19:56

标签: c++ class templates recursion variadic-templates

我需要帮助来理解这段代码。没有可用的循环,所以我知道在编译时如何处理模板,如何获取所有参数,以及为什么它调用相同的变量“ c”,即使它只是在专门的“ Z”版本?

#include <iostream>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

using namespace std;

class Z
{
    Z() {}
    virtual ~Z() {}
};

class A
{
    A() {}
    virtual ~A() {}
};

class B
{
    B() {}
    virtual ~B() {}
};

template <class P, class... args>
class TCount : public TCount<args...>
{
public:
    TCount() : TCount<args...>() { this->c++; }
    virtual ~TCount() {}
};

template <>
class TCount<Z>
{
protected:
    int c;

public:
    TCount() { c = 0; }
    int getC() { return c; }
    virtual ~TCount() {}
};

int main()
{
    TCount<A, B, A, B, Z> tCount;
    cout << tCount.getC() << endl;
    return 0;
}

1 个答案:

答案 0 :(得分:4)

诀窍在于类定义的递归。

我的意思是...当您定义

TCount <A,B,A,B,Z> tCount;

你有

  • TCount<A,B,A,B,Z>继承自TCount<B,A,B,Z>
  • TCount<B,A,B,Z>继承自TCount<A,B,Z>
  • TCount<A,B,Z>继承自TCount<B,Z>
  • TCount<B,Z>继承自TCount<Z>
  • TCount<Z>定义c并将其初始化为零
  • TCount<B,Z>继承c,并在主体构造函数中将其递增(c变成1
  • TCount<A,B,Z>继承c,并在主体构造函数中将其递增(c变成2
  • TCount<B,A,B,Z>继承c,并在主体构造函数中将其递增(c变成3
  • TCount<A,B,A,B,Z>继承c,并在主体构造函数中将其递增(c变成4