GCC与Clang在继承体系中转换函数模板的编译差异问题

#include <iostream>

struct A {
    A() = default;
    A(const A&) = default;
    A(A&&) = default;

    virtual ~A() = default;

    template<typename T>
    operator T() {
        std::cout << "A::operator T()\n";
        return T();
    }
};

template<typename U>
struct B: A {
    virtual ~B() = default;

    template<typename T>
    operator T() {
        std::cout << "B::operator T()\n";
        return A::operator T();
    }
};

template<typename U>
struct C: B<U> {
    
    template<typename T>
    operator T() {
        std::cout << "C::operator T()\n";
        return B<U>::operator T();
    }

};

int main() {

    int i = 10;

    C<double> c;

    i = c;
    std::cout << "i = " << i << "\n";
    
    return 0;
}

编译器差异原因与GCC适配方案 #

你的猜测核心方向正确，问题根源是模板依赖名称的查找规则差异：

• 在C<U>的转换模板中，B<U>::operator T()属于依赖名称（依赖模板参数U）。GCC严格遵循C++标准，解析模板定义时无法自动推断这是一个模板函数，会将其视为普通成员函数，导致查找失败。
• Clang做了宽松处理，会隐式尝试匹配模板函数，因此可以编译通过。

适配GCC的写法是显式添加template关键字，明确告知编译器这是模板函数调用：

template<typename U>
struct C: B<U> {
    
    template<typename T>
    operator T() {
        std::cout << "C::operator T()\n";
        return B<U>::template operator T(); // 添加template关键字
    }

};

移除B的转换模板后访问失败的原因 #

这是**名称隐藏（name hiding）**规则导致的：
C<U>中定义了同名的转换模板operator T()，会隐藏基类中所有同名成员（包括模板成员）。即使A的operator T()是模板，只要名称标识符匹配，就会触发隐藏。

Clang的报错是因为B<U>本身没有定义operator T()，而A的版本被隐藏，无法通过B<U>访问；GCC的报错则是延续了依赖名称的查找问题，同时叠加了名称隐藏的影响。

解决方法有两种：

1. 在B<U>中显式引入基类的转换模板：

template<typename U>
struct B: A {
    virtual ~B() = default;
    using A::operator T; // 引入A的所有转换模板
};

2. 在C<U>中直接调用A的转换模板：

template<typename U>
struct C: B<U> {
    
    template<typename T>
    operator T() {
        std::cout << "C::operator T()\n";
        return A::operator T();
    }

};

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