8

如果我使用像以下示例这样的继承链，我可以使用来自最深基础的 vars，而不会出现任何问题：

    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; }
    };

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

4

1 回答 1

8

x在这种情况下是一个从属名称，因此您必须访问 if as this->x（或通过在类定义中放置 using 声明将其纳入范围：

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

编辑

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

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

这同样适用于using Example<Params...>::x;。这也告诉编译器x依赖于模板参数，它的解析必须推迟到实例化。

于 2012-11-14T11:22:46.373 回答