GCC与Clang在模板限定类成员查找中的行为差异及正确性判定

以下代码在GCC 14.2和Clang 19.1编译时出现行为差异：

namespace mylib {
    template <typename Type> void Function(const Type& t) {
        // 注意：显式使用Type::限定
        t.Type::Foo();
    }
}

class Type {
    public:
        void Foo() const {
            std::cout << "Base function";
        }
};

class DerivedType: public Type {
    public:
        void Foo() const {
            std::cout << "Derived function";
        }
};

int main() {
    mylib::Function(DerivedType{});
}

编译器行为差异 #

• GCC 14.2编译运行：调用DerivedType::Foo()，输出Derived function
• Clang 19.1编译运行：调用Type::Foo()，输出Base function

标准合规性分析 #

核心问题在于模板参数名Type与全局类名Type的名称冲突，以及显式限定符的解析规则：
根据C++标准的名称查找规则，模板定义中，当用模板参数名作为限定符时，该名称优先被解析为模板参数，而非全局作用域的同名类。也就是说，在mylib::Function模板里，Type::Foo中的Type是实例化时传入的模板参数（这里是DerivedType），而非全局的class Type。

当模板以DerivedType实例化时，t.Type::Foo()等价于t.DerivedType::Foo()，而DerivedType::Foo是覆盖基类的成员函数，因此正确行为应该是调用DerivedType::Foo()——GCC的行为符合C++标准要求，Clang的表现属于实现bug。

补充说明：若将全局类Type重命名为与模板参数不同的名称（比如BaseType），两款编译器行为一致，都会调用DerivedType::Foo()，这也验证了名称冲突是导致Clang异常行为的原因。

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