具有可变参数模板和继承参数问题的递归继承

Question

如果我像下面的例子那样使用一系列继承，我可以使用来自最深基础的变量而没有任何问题：

    class A { public: int x; };
    class B : public A { };
    class C: public B { public: void Do() { cout << x << endl; } };

如果我对递归可变参数模板类执行相同操作，则无法访问我的变量。 知道如何访问变量以及为什么我看不到我的变量？

    template <class ...Parms>
    class Example;

    template <class Head, class ...Parms>
    class Example<Head, Parms...>: public Example<Parms...>
    {
    };

    template <>
    class Example<>
    {
        public:
        int x;
    };

    template <class ...Parms>
    class Last: public Example<Parms...>
    {
        void Do() { cout << x << endl; }
    };

在实例化任何类的实例之前编译失败！

Answer 1

在这种情况下， x是一个从属名称，所以你必须访问this->x （或者通过在类定义中放入using声明将其带入范围：

using Example<Params...>::x;

编辑

其原因在标准的[temp.res]中讨论过。 基本上：当编译器解析你的模板时，它只看到x 。 它无法知道x取决于模板的参数（在你的情况下它是这样做的，因为它来自一个依赖于它们的基类）。 因此，编译器尝试在解析模板时使用它所知道的来解析x ，并且失败。

写this->x表示x指的是该类的成员; 由于特定类的基类依赖于模板参数，因此编译器知道在解析模板时它无法解析x ，并且会推迟解析直到模板被实例化。 那时，模板参数是已知的。

using Example<Params...>::x; 。 这也告诉编译器x取决于模板参数，并且其分辨率必须推迟到instanitation。