模板化转换运算符在gcc与clang下的编译行为差异问题

这段代码完全符合C++标准规范，编译差异是GCC编译器的实现缺陷导致的，Clang的处理是正确的。

• 核心差异在于编译器对「带默认模板参数的模板转换函数」的隐式转换候选判定逻辑：
  1. 按照C++标准规则，用户定义的模板转换函数，只要所有模板参数都可以通过默认值填充、无需显式指定，就应当被纳入隐式转换的重载决议候选集。你代码里的template<class S = T> operator T()完全满足该条件，对于Wrapper<int>实例，S默认值为int，转换函数的目标类型就是int，完全匹配x + i所需要的转换需求。
  2. GCC当前所有版本都存在该场景下的实现漏洞，不会主动将带默认模板参数的模板转换函数纳入隐式转换候选，因此报错找不到匹配的operator+。当你移除模板声明后，转换函数变成普通非模板函数，GCC可以正常识别到，因此编译通过。

如果你需要保留模板声明用于SFINAE逻辑，可以用以下两种方式兼容GCC：

1. 代码中显式触发转换，不需要修改类定义：

   return static_cast<int>(x) + i;
   

   显式转换会强制GCC去匹配转换函数模板，正常调用成功。

2. 类内增加非模板转换函数做转发，不影响原有SFINAE逻辑：

   template<class T>
   class Wrapper {
       public:
       explicit Wrapper(T t): _value(t) {}
   
       // 新增非模板转换函数，转发到模板实现
       operator T() { return operator T<>(); }
   
       template<class S = T, /* 原有SFINAE约束写在这里 */>
       operator T() { return _value; }
       private:
       T _value;
   };
   

   隐式转换时GCC会优先调用非模板转换函数，内部再转发到模板实现，既保留了模板的SFINAE能力，又能正常通过编译。

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