为何std::sort会复制std::string底层内容而非仅交换指针？

核心原因拆解 #

• 排序算法的操作不止依赖swap
  std::sort和std::ranges::sort的底层实现（如快速排序、归并排序的混合实现）不会全程仅用std::swap完成元素重排。很多场景下，算法会直接执行移动赋值、拷贝赋值，甚至创建临时元素（比如选取基准值时的拷贝）。
  举个例子：快速排序的分割阶段，将右侧元素移至左侧时，可能执行*left = std::move(*right)这类操作。对非小字符串优化（SSO）的std::string来说，移动赋值确实会转移堆指针，但如果算法未使用std::move转换左值，就会触发拷贝赋值，直接复制底层内容。另外归并排序的临时数组若通过拷贝构造元素，也会生成新的堆存储。

• 小字符串优化（SSO）的隐形影响
  主流编译器的std::string都实现了SSO：当字符串长度小于阈值（GCC为15字节，MSVC为22字节）时，内容会存在对象内部的栈缓冲区中，而非堆内存。
  这种情况下，哪怕是移动赋值或swap，都需要复制栈上的缓冲区数据（而非交换堆指针）。你观察到的「底层存储地址」其实是每个string对象自身的栈缓冲区地址，排序后元素位置改变，对应的栈缓冲区地址自然不同，看起来就像内容被复制。就算是非SSO的大字符串，只要算法中出现拷贝操作，就会分配新的堆内存并复制内容，导致地址变化。

• std::swap是特化的O(1)操作
  std::swap针对std::string做了专门的特化实现，直接交换两个对象的内部指针、大小、容量成员，完全不触碰底层内容——不管是SSO还是非SSO字符串，都是常数时间操作。但排序算法只会在明确需要交换两个元素位置时调用swap，更多的元素移动场景用的是赋值操作，自然可能产生内容复制。

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