基类模板的成员在具有相同模板参数的派生类模板中超出范围

Question

下面的代码给了我一个编译错误'value'没有在这个范围内声明。

template<class T>
struct Base {
    int value;
};

template <class T>
struct Derived : public Base<T> {
    int getValue() { return value; }
};

我觉得很奇怪

• 如果Derived 继承自Base<std::string>，则代码编译，
• 如果我return Base<T>::value，代码编译。

为什么代码不能按原样编译？ Derived<T>::getValue()的范围内没有以什么方式声明'value'？

Answer 1

因为value 是一个非限定名称，并且在名称查找的第一阶段，编译器将不知道这是从基类继承的数据成员（它没有已实例化Base<T>）。因此，它将搜索全局命名空间，并没有找到名为value 的变量；因此，它会发出错误。

这是解决此问题的典型方法：

template <class T>
struct Derived : public Base<T> {
    int getValue() { return this->value; }
    //                      ^^^^^^
};

显式取消引用this 告诉编译器后面的名称是（可能继承的）数据成员的名称，并且查找应该延迟到成员函数实际实例化的位置。当然，您的解决方案是：

return Base<T>::value;

同样好，因为它还告诉编译器value 继承自基类Base<T>。

对于从Base<std::string>派生的问题，编译器可以立即查找Base<std::string>是否包含名为value的数据成员（因为它不依赖于任何模板参数），如果是这样，它将能够确定表达式的格式正确。

但是，如果您的基类是Base<T>，而T 在名称查找的第一阶段是未知的，则编译器无法分辨value 是什么（Base 的特化为不同的T s 甚至可能根本没有value）。

C++11 标准第 14.6/3 段：

在类或类模板的定义中，如果基类依赖于模板参数，则基类 在类模板的定义点处，在非限定名称查找期间不检查范围 或成员或在类模板或成员的实例化期间。 [...] [示例：

struct A {
    struct B { / ... / };
    int a;
    int Y;
};

int a;

  template<class T> struct Y : T {
    struct B { / ... / };
    B b; // The B defined in Y
    void f(int i) { a = i; } // ::a
    Y* p; // Y<T>
  };

Y<A> ya;

模板参数A的成员A::B、A::a和A::Y不影响名称的绑定 Y<A>。 —结束示例 ]