为什么自动向下转换不应用于模板函数？

有人问这个问题 https://stackoverflow.com/questions/45505477关于字符串附加。它是string s; s = s + 2;不编译。人们给出的答案是operator+被定义为模板函数，而operator+=不是，所以自动向下转型（int(2) to char(2)）不适用。

原型是

template<typename _CharT, typename _Traits, typename _Alloc>
class basic_string{
    basic_string&
      operator+=(_CharT __c);
};

template<typename _CharT, typename _Traits, typename _Alloc>
  inline basic_string<_CharT, _Traits, _Alloc>
  operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs, _CharT __rhs);

为什么编译器不能直接使用这个原型并将 int(2) 转换为 char(2) ？

basic_string<char, _T, _A> operator+(const basic_string<char, _T, _A>, char);

编译器（G++ 6.3.0）抱怨说

[Note] deduced conflicting types for parameter '_CharT' ('char' and 'int')

关键的区别在于对于operator +=变体，char 类型模板参数std::basic_string，因此其 RHS 的参数类型已固定为char，而operator+模板必须从它的参数中推断出这一点。

因此，对于+=在这种情况下，编译器知道你“想要”int->char转换，那里没有什么可以推断的。

For the operator+另一方面，编译器正在查看模板

template<class CharT, class Traits, class Alloc>
    basic_string<CharT,Traits,Alloc>
        operator+( const basic_string<CharT,Traits,Alloc>& lhs,
                   CharT rhs );

并且，当试图确定什么时CharT应该是，它得到CharT = char从第一个操作数开始（如std::string is std::basic_string<char>) and CharT = int来自第二个操作数。标准将这种冲突定义为编译错误。