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

Is this-> mandatory to access Base<T> identifiers from derived classes?

本文关键字：gt 是否 标识符 Base lt 派生 访问      更新时间：2023-10-16

此代码使用 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()中用this->data代替data让Clang感到高兴。

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

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

Clang 是正确的。

$17.6.2/3 从属名称 [临时配置]

在类或类模板的定义中，在类模板

或成员的定义点或类模板或成员的实例化期间，在非限定名称查找期间，都不会检查依赖基类的作用域。

对于return data;，data是不合格的，那么将采用不合格的名称查找。这意味着不应找到基类Base<T>(这是一个依赖基类，因为它依赖于模板参数 T(中的名称;即，非依赖名称不会在依赖基类中查找。

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

是的。基本上data取决于T.

有一种机制称为两阶段查找。非(模板(依赖名称在定义时立即解析。您的data还不存在，因为Base<T>还不存在，因为它尚未实例化。因此，它抱怨找不到data。

您需要提示编译器data依赖于模板，并且名称查找应在第二阶段执行，在模板参数被替换之后，即模板类被实例化。这可以通过使用this或提供模板相关范围来完成。

因此，this->f()或Base<T>::f()都可以。

相关文章：