C++模板类转换运算符导致operator+匹配失败编译问题

问题代码：

template <typename T>
struct A
{
   A() {};
   A(T value) : val(value){} 
   operator T() { return this->val;}
   T val;
};


A<std::string> test;
std::cout << "xxx" + std::string(test); //works fine
std::cout << "xxx" + test; //compiler error

报错信息：

error: no match for 'operator+' (operand types are 'const char [4]' and 'A<std::__cxx11::basic_string<char> >')
   19 |    std::cout << "xxx" + test;
      |                 ~~~~~ ^ ~~~~
      |                 |       |
      |                 |       A<std::__cxx11::basic_string<char> >
      |                 const char [4]

这个错误的核心逻辑是C++的模板参数推导规则不会纳入用户自定义的隐式转换逻辑，具体拆解如下：

• 标准库中用于拼接std::string的operator+是模板函数，C++在处理函数调用时，模板参数推导步骤优先于重载决议步骤，且模板参数推导阶段只会做最基础的类型适配（比如数组退化为指针、const修饰符调整等），不会主动调用你定义的operator T()转换函数做类型转换。如果模板参数推导失败，这个函数根本不会进入后续的重载候选集，自然也就不会考虑后续的隐式转换逻辑。
• 第一种写法"xxx" + std::string(test)能正常运行，是因为你显式将test转换为了std::string类型，两个操作数const char[]和std::string完全匹配operator+的参数要求，不需要隐式转换就能找到对应的函数实现。
• 第二种写法"xxx" + test的两个操作数类型为const char[4]和A<std::string>，模板推导时无法匹配到对应operator+的参数要求，因此直接报类型不匹配错误。

如果要让第二种写法正常工作，除了显式类型转换之外，也可以手动为A<std::string>定义非模板的operator+重载，非模板函数的参数匹配阶段是会考虑用户自定义隐式转换的。

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