模板依赖的基础成员未正确解析

Question

这个问题是后续的 Moving a member function from base class to derived class breaks the program for no obvious reason（这是为什么不应该使用 using namespace std; 的一个典型例子）

答案建议通过this-> 限定一个从属模板名称（这确实是引用此类从属成员时要走的路）。但是，似乎存在问题，因此我将列出一个重现该问题的最小示例。

考虑代码：

#include <iostream>
#include <bitset>

using namespace std;

template<class T>
struct B
{
    T bitset{};
};

template<class T>
struct D : B<T>
{
    bool foo()
    {
        return this->bitset < 32; 
    }
};

int main(){}

Live on Coliru

令人困惑的是，即使this->bitset 应该引用成员B<T>::bitset，编译器仍然感到困惑，并认为我们试图引用std::bitset<std::size_t>。该错误出现在 gcc6 和 clang3.7 上。任何想法为什么会发生这种情况？不过，使用B<T>::bitset 对其进行限定是可行的。

错误（逐字）：

In member function 'bool D<T>::foo(T, std::__cxx11::string)': cpp/scratch/minimal.cpp:24:22: error: invalid use of 'class std::bitset<1ul>'

编辑

在我看来，这就像一个解析/名称查找错误。如果我们用任何其他比较运算符替换<（感谢@Leon 的评论），例如

return this->bitset == 32; 

程序编译。所以我猜在this->bitset < 32 中，解析器认为我们正在尝试实例化一个模板（< 符号），而我们忘记关闭>。但是再次不知道这是否确实是一个错误，或者这就是该语言的工作方式。

Answer 1

tl;dr 看起来这是一个深思熟虑的决定，特别是为了支持您已经使用的替代语法。

以下标准语的大致演练：

this-> B <
         ^

• 这可能是模板 ID 的开头，也可能是小于号，所以让我们同时检查一下！
  1. this->B 确实命名了一些东西，但它是一个模板 B<T>，所以继续前进
  2. B 它自己也命名了一些东西，一个类模板 B<T>
  3. 等等，它们是一样的！这意味着我们使用this->B<T> 作为限定符，而且它并不是毕竟小于

在另一种情况下，

this->bitset

继续相同直到第三步，当它意识到有两个不同的东西叫做bitset（一个模板类成员和一个类模板），然后给出起来。

---

这是我的工作草稿，所以不一定是最新的，但是：

3.4.5 类成员访问 [basic.lookup.classref ]

1 在类成员访问表达式 (5.2.5) 中，如果 .或 -> 令牌立即 后跟一个标识符，后跟一个 ，标识符必须是 查找以确定 如果查找 对象表达式的类找到模板，名字也是 在整个后缀表达式的上下文中查找和

• 如果找不到名称，则使用在对象表达式的类中找到的名称，否则
• 如果在整个后缀表达式的上下文中找到该名称并且没有命名类模板， 使用在对象表达式的类中找到的名称，否则
• 如果找到的名称是类模板，则它应指与在类中找到的实体相同的实体 对象表达式，否则程序格式错误。

因此，在像this->id < ... 这样的任何表达式中，它必须处理id<... 是模板标识符开头的情况（如this->B<T>::bitset）。

它仍然首先检查对象，但如果this->id 找到模板，则应用进一步的步骤。在您的情况下，this->bitset 可能被认为是一个模板，因为它仍然依赖于T，因此它会找到冲突的std::bitset，并在上面的第三个项目符号处失败。