GCC为何混淆类模板的set成员函数与std::set？

编译报错场景 #

以下代码在GCC 13.1版本下编译失败，编译器误将类模板C的成员函数模板set与std::set混淆：

#include <set>
using namespace std;
template <typename T> struct C {
    template <int S> void set(T const &) { }
};
template <typename T> struct D : C<T> {
    void f(T const & v) { this->template set<0>(v); }
};

问题核心 #

即便使用this->显式限定set，using namespace std;仍会引发名称混淆，需解释该现象的原因。

原因解释 #

这是C++模板语境下名称查找规则的特殊逻辑导致的：

• 派生类模板D继承的是依赖基类C<T>（基类的类型取决于模板参数T），所以在模板定义阶段，编译器无法确定this->set具体指向基类的成员函数模板。
• 这时编译器会启动非限定名称查找，而using namespace std;把std::set这个容器类模板导入了当前作用域，它的名字set会被纳入查找范围。
• 虽然std::set是类模板，我们要调用的是成员函数模板，但在模板定义阶段的名称查找里，编译器只检查名称是否重复，不会区分名称对应的实体类型（类模板 vs 函数模板）。一旦发现同名实体，就会直接抛出歧义报错。
• 简单来说，this->只是告知编译器set是成员名称，但因为基类是依赖型的，编译器仍会同步查找当前作用域内的其他同名实体，std::set刚好撞名，就触发了问题。

内容的提问来源于stack exchange，提问作者imix