CPython中s=s+c字符串拼接原地优化的判定规则是什么？

这个性能差异是CPython独有的字符串拼接优化导致的，BINARY_ADD执行字符串加法时会在运行时做以下判断决定是否触发原地修改优化：

核心判断条件 #

BINARY_ADD执行时会主动读取下一条指令的内容：

• 如果下一条指令是STORE_FAST（将运算结果存入局部变量），且存储的目标变量恰好是本次加法的左操作数变量，才有可能进入优化逻辑。
• 你给出的示例中：
  • fast函数的BINARY_ADD下一条指令是STORE_FAST 1 (s)，正好将拼接结果存回左操作数s，满足优化前提。
  • slow函数的BINARY_ADD下一条指令是STORE_FAST 3 (t)，存储目标不是左操作数s，直接走普通拼接逻辑，每次都需要重新分配内存、拷贝整个字符串，所以速度慢了近100倍。

辅助验证条件 #

满足上述前提后，还会验证两个条件，全部通过才会执行原地修改：

1. 左操作数字符串的引用计数恰好为2：1个来自变量本身的引用，1个来自栈上的临时引用，说明没有其他外部变量指向该字符串，原地修改不会产生可感知的副作用。
2. 该字符串不是被驻留（intern）的静态字符串，且内存尾部有足够的预留空间可以容纳新增字符。

注意 #

这只是CPython的实现细节，Python官方语言规范没有要求必须实现该优化，其他解释器（如PyPy）也没有这个逻辑。业务代码不要依赖这个特性，大量拼接字符串时还是推荐使用str.join()或者io.StringIO，兼容性和性能更稳定。

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