c++ - this-> 是否必须从派生类访问 Base<T> 标识符？

Question

此代码使用 MSVC 2015 编译，但不能使用 Clang 5.0.0(主干 304874)编译:

template <typename T>
struct Base
{
  T data;
};

template <typename T>
struct Derived : Base<T>
{
  auto getData() const
  {
    return data;
  }
};

在 Derived::getdata() 中将 data 替换为 this->data 让 Clang 很高兴。

根据 C++ 标准，哪个编译器是正确的？

必须在模板代码中使用 this-> 来访问基类的标识符吗？

Answer 1

Clang 是正确的。

$17.6.2/3 Dependent names [temp.dep]

In the definition of a class or class template, the scope of a dependent base class is not examined during unqualified name lookup either at the point of definition of the class template or member or during an instantiation of the class template or member.

对于 return data; , data 不合格，则将采用不合格名称查找。这意味着基类中的名称Base<T> (这是一个依赖基类，因为它依赖于模板参数 T )不应该被发现；即不依赖的名称不在依赖的基类中查找。

this->data或 Base<T>::data使其合格。这意味着将在实例化时查找名称，届时将知道必须探索的确切基础特化。