为何模板化转换运算符会阻止转换后类型的运算符使用？

问题现象 #

• 当Wrapper类使用非模板转换运算符（如operator T() const）时，Wrapper<int> + Wrapper<int>可触发隐式转换，调用内置int operator+(const int, const int)，编译正常。
• 若将转换运算符改为模板形式（如template<typename U> operator U() const），相同加法表达式会因无匹配operator+编译失败；但显式转换（如(int)a + (int)b）可正常运行。
• 实际场景中，原本计划在C++17通过std::enable_if_t根据包装类型调整转换行为，却发现问题根源正是模板化的转换运算符。

核心原因：重载决议的歧义性 #

问题本质是模板转换运算符引发的候选重载爆炸：

1. 非模板转换运算符场景：
   转换运算符仅能将Wrapper<T>转为T类型（此处为int）。编译器处理a + b时，唯一可行的内置重载只有operator+(int, int)，直接匹配通过。

2. 模板转换运算符场景：
   模板转换运算符可将Wrapper<int>隐式转为所有可从int转换的类型（如long、float、double等算术类型）。此时所有内置算术加法运算符都会被列为候选重载，且这些候选对应的转换序列质量完全一致（均为用户定义转换到目标类型），重载决议无法选出最优匹配，最终编译失败。

3. 显式转换可行的原因：
   显式转换直接指定转换目标为int，编译器仅需考虑operator+(int, int)，不存在歧义，因此编译正常。

对应C++标准条款 #

• [over.match.oper]：定义运算符重载决议的候选函数选择逻辑，内置运算符会被纳入候选，同时允许通过用户定义转换将类类型转为内置运算符的参数类型。
• [temp.deduct.conv]：规定模板转换运算符的实参推导规则，允许根据转换目标类型推导模板参数，这是模板转换运算符能适配多种类型的依据。
• [over.best.ics]：明确隐式转换序列的排序规则，当多个候选的转换序列质量相同时，重载决议会因歧义失败。

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