C++模板转换运算符operator const T&的特性及编译器合规性问询

struct B {};
struct A {
    template <typename T> operator const T &();
    operator B() = delete;
};

int main() { 
    A a;
    [[maybe_unused]] B b(a); // Clang 报错，GCC 允许，MSVC 允许
    [[maybe_unused]] int c(a); // GCC 报错，Clang 允许，MSVC 允许
}

核心标准规则 #

• 被= delete显式删除的函数仍然会参与重载决议，仅当重载决议最终选中该函数时，程序属于不合法代码。
• 同等匹配条件下，非模板函数的重载优先级高于模板函数的特化版本。

各场景行为分析 #

1. B b(a)编译行为 #

该场景下的转换函数候选集为：

• 非模板转换函数A::operator B()（已显式删除）
• 模板特化得到的A::operator const B&()

按照规则，非模板的operator B()优先级更高，重载决议会选中该已删除函数，因此编译报错，和Clang的表现完全一致。

GCC和MSVC此处均不符合标准：两者都错误地将已删除的非模板转换函数直接排除出候选集，才会选择模板版本完成转换。

2. int c(a)编译行为 #

该场景下不存在非模板的operator int()，因此候选集只有模板转换函数的特化版本A::operator const int&()：

• 标准允许返回const int&的转换函数用于初始化int类型变量，模板参数可以根据目标类型正常推导，因此代码合法，和Clang的表现一致。
• GCC此处属于实现缺陷：它无法正确处理目标类型为值类型、转换运算符返回引用类型的模板参数推导场景，因此错误抛出转换失败的报错。
• MSVC虽然此处编译通过，但前一场景的处理不符合标准，整体实现仍然存在问题。

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