C++中str += "A"与str = str + "A"的字符串拼接性能差异疑问

核心认知错误说明 #

你对两种字符串拼接操作的认知错误主要集中在两点：一是认为编译器会将operator+=等价转换为operator+加赋值的逻辑，二是误将有问题的汇编分析结果当作实际编译行为的依据。

两种拼接操作的本质差异 #

std::string的两个运算符从C++标准定义层面就有完全不同的语义，实现逻辑的差异直接导致了性能差距：

• str = str + "A"的执行逻辑：
  1. 调用operator+生成一个全新的临时std::string对象，构造这个临时对象时需要完整拷贝原字符串str的所有内容，再追加末尾的"A"，这一步的时间复杂度为O(N)，N为当前str的长度。
  2. 将临时对象赋值给原str，即使C++11之后移动赋值可以将这一步的开销降到O(1)，但第一步构造临时对象的全量拷贝开销完全无法避免。
     N次循环累计的时间复杂度为O(N²)，字符串越长性能下降越明显。
• str += "A"的执行逻辑：
  直接在原字符串的现有内存空间上追加内容，仅当当前字符串的预分配容量不足时才会触发扩容。std::string的扩容采用指数增长策略（通常为原有容量的1.5~2倍），全生命周期内的全量拷贝次数仅为对数级别，因此N次循环的总时间复杂度为O(N)。

汇编分析结果异常的原因 #

你观察到两种写法的汇编完全一致，一定是汇编分析的场景存在问题，常见诱因包括：

• 测试代码编写不严谨，编译器判定字符串操作无副作用，直接将整个循环优化消除，导致两种写法的汇编都被优化为空逻辑；
• 两种写法放在同一个编译单元内同时测试，编译器识别到重复逻辑做了错误的合并；
• 查看汇编时未区分operator+、operator=和operator+=的函数调用逻辑，误将不同调用判定为相同。

你实际运行得到的性能测试结果已经明确证明了两者的性能差异，足以说明汇编一致的现象是分析过程出错，而非编译器真的对两种逻辑做了等价转换。

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