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取决于模板参数，其解析必须推迟到实例化。

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

1 个答案: