为什么t=i“a”给出正确的输出，而t=t i“a”给出错误？

Question

我一直在研究一些涉及将ASCII值转换为字符串的问题。

如果我使用此代码，我会以g的形式输出，这是意料之中的。

using namespace std;
int main()
{
    int i=6; vector<string> ans;
    string t= "";

    t+=i+'a';

    ans.push_back(t);
    cout<<ans[0];
    return 0;
}

但是，如果我这样更改代码：

using namespace std;
int main()
{
    int i=6; vector<string> ans;
    string t= "";

    t=t+i+'a';        // <----

    ans.push_back(t);
    cout<<ans[0];

    return 0;
}

当我尝试编译它时，会显示以下错误：

error: no match for 'operator+' (operand types are 'std::string' {aka 'std::__cxx11::basic_string<char>'} and 'int')

7 | t=t+i+'a';
  |   ~^~
  |   | |
  |   | int
  |   std::string {aka std::__cxx11::basic_string<char>}

两种代码之间的唯一区别是，在第1种代码中，我使用的是t=I‘a’ ，在秒时，<代码>t=t i“a” 。

有人能告诉我第二段有什么问题吗？

Answer 1

案例2中的问题是，由于运算符的优先级，语句实际上被分组为（或等效于）语句。

//---v---v--------->t is std::string while i is an int
t = (t + i) + 'a'; //equivalent to this due to operator precedence

现在，由于t是一个std：：string，i是一个int，因为没有重载的操作符，它接受std：：string和int，我们得到了上面提到的错误。

请注意，是一个算术运算符，因此在第一种情况下，字符文字'a'在编写i'a'时被提升为int。并且由于std::string具有重载string

Answer 2

1、t=i‘a’ 案例

在这里，有两件事很重要。第一

std::string& std::string::operator+=(char ch);

调用，它是类（即，std：：basic\u字符串）的非模板成员函数

第二，i‘a’的类型是int。

一切正常，因为int类型的参数i'a'可以用作char类型的函数参数的参数。

2.t=t i'a'；大小写

与案例1.相反，这里使用了运算符。首先是t i部分，其中i是int类型（有关原因的详细信息，请参阅@anoopRana的回答）。但是opeartor是一个免费的（非成员）函数模板；请参阅https://en.cppreference.com/w/cpp/string/basic_string/operator+.

编译器尝试实例化此定义：

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

但不能因为：

1. 根据类型std::string的第一个参数，CharT将被推导为char，
2. 根据int类型的第二个参数，CharT将被推导为int。

因此，会发生对偶冲突。并且，没有其他模板可以实例化。

相同问题的简单演示代码：

template <typename Char>
struct String
{
    String& operator+=(Char);
};

template <typename Char>
String<Char> operator+(const String<Char>&, Char);

int main()
{
    String<char> s;
    s += 2 + 'a';
    s = s + 2 + 'a';
}

实时链接：https://godbolt.org/z/MonK1e3bq