短字符串优化（Short String Optimization, SSO）是 C++ 标准库中 std::string 为了提升小字符串操作性能而采用的一种常见实现技术。它的核心思想是：对于长度较短的字符串，避免动态内存分配，直接将字符存储在对象自身的内存空间内。
为什么需要 SSO？
在没有 SSO 的情况下，std::string 每次创建都会在堆上分配内存来存储字符数据。频繁的小字符串创建和销毁会导致大量内存分配/释放开销，影响性能并可能引发内存碎片。
SSO 通过把小字符串“塞进” string 对象内部的固定缓冲区，省去堆分配，显著提高效率。
SSO 是如何实现的？
典型的 std::string 实现包含一个指向堆内存的指针、大小（size）和容量（capacity）。但在支持 SSO 的实现中，这个结构会被设计成可以“复用”自身空间来存储短字符串。
立即学习“C++免费学习笔记（深入）”；
实现方式通常如下：
- 联合体（union）+ 标志位：string 内部使用一个 union，一部分用于存放堆指针、size、capacity；另一部分是一个固定长度的字符数组（如 15 或 23 字节）。通过一个标志位或 size 字段的某些位来判断当前是否处于“短字符串模式”。
- 共用同一块内存：当字符串长度小于阈值时，直接使用内部缓冲区；超过则分配堆内存，并用原本缓冲区的位置来存放指针等控制信息。
例如，在 x86-64 下，一个典型的 SSO 实现可能让 std::string 占用 24 字节：
- 前 23 字节作为本地缓冲区
- 最后一个字节存放字符串长度（限制短字符串最多 22 字符 + 1 个空终止符）
当字符串长度 ≤ 22 时，不分配堆内存；超过则申请堆空间，并重新解释这 24 字节为指针 + size + capacity。
SSO 的实际表现与限制
不同 STL 实现的 SSO 阈值不同：
- libstdc++（GCC）：通常支持最多 15 字节的短字符串（sizeof(string) == 32）
- libc++（Clang）：支持最多 22 或 23 字节（sizeof(string) == 24）
- MSVC：也采用 SSO，细节略有差异，但效果类似
你可以通过简单测试判断是否触发 SSO：
string s = “hello”;
cout 栈变量，可能是 SSO
注意：s.data() 返回的指针在 SSO 模式下指向的是对象内部，而不是堆。
SSO 对性能的影响
SSO 带来的优势非常明显：
- 零堆分配开销：创建、销毁极快
- 缓存友好：数据在对象内部，访问更快
- 移动操作更轻：短字符串可以直接 memcpy
但它也有一些潜在问题：
- 对象体积变大：即使空字符串也占用几十字节
- 复制开销增加：长字符串复制仍是 O(n)，但短字符串因内联存储反而可能比只拷指针稍慢（不过通常仍更快，因为局部性好）
- 调试困难：内部状态切换不易观察
基本上就这些。SSO 是现代 C++ 中非常实用的优化技巧，它让 std::string 在处理常见小字符串时既高效又方便，是性能与易用性平衡的典范。理解它有助于写出更高效的代码，比如避免不必要的 .c_str() 调用或提前预估字符串长度以利用 SSO 特性。