25、移动语义与字符串：std::string 的 SSO 与移动、COW 实现与移动的冲突、std::string_view 与移动

字符串，C++ 里最常用的类型之一。但它的内部实现，其实藏着不少门道。今天我们就来聊聊 std::string 和移动语义之间的那些事。

小字符串优化（SSO）——短字符串的“免堆”策略

先问个问题：一个空字符串，或者一个只有几个字符的字符串，真的需要去堆上分配内存吗？

答案显然是否定的。堆分配是有开销的——系统调用、内存碎片、指针解引用……为了几个字符搞这么一出，太不划算了。

所以，现代 C++ 标准库的实现（libstdc++、libc++、MSVC STL）都采用了 小字符串优化（SSO，Small String Optimization）。

说白了就是：字符串对象内部预留了一块固定大小的缓冲区。如果字符串长度小于某个阈值（通常是 15 或 22 个字符），就直接存在这个缓冲区里，不去堆上分配。

// 伪代码示意
class string {
    union {
        char local_buf[16]; // 小字符串专用
        char* heap_ptr;     // 大字符串指向堆
    };
    size_t size;
    size_t capacity;
};

我在项目中遇到过一个问题：某个服务每秒要构造几百万个短字符串（比如 ID、状态码）。一开始没注意 SSO，后来发现堆分配成了瓶颈。改成 SSO 友好的写法后，性能直接翻倍。

移动语义与 SSO 的“甜蜜”配合

当一个字符串发生移动时，会发生什么？

• 如果字符串使用了 SSO（长度 ≤ 15），移动就是简单的内存拷贝。源对象和目标对象各有一份独立的数据。嗯，这里要注意：移动后源对象的状态是“有效但未指定”，但 SSO 缓冲区的内容会被清空或置零。
• 如果字符串使用了堆内存（长度 > 15），移动就是指针的交换。源对象的堆指针被置空，目标对象接管堆内存。

std::string s1 = "hello";          // SSO
std::string s2 = std::move(s1);    // 拷贝 16 字节，无堆操作

std::string s3 = "hello world, this is a long string"; // 堆分配
std::string s4 = std::move(s3);    // 交换指针，O(1)

你想想看，SSO 让短字符串的移动变得极其轻量。这也是为什么我建议：能用 std::string 就别自己造轮子。标准库的实现已经考虑得很周全了。

COW（写时复制）——一个被移动语义“杀死”的技术

在 C++11 之前，有些标准库实现（比如老版本的 libstdc++）采用了 COW（Copy-On-Write） 策略。

COW 的核心思想是：多个字符串对象共享同一块堆内存，只有当某个对象要修改内容时，才真正拷贝一份。

// COW 伪代码
class string {
    struct Rep {
        char* data;
        size_t size;
        size_t refcount; // 引用计数
    };
    Rep* rep;
};

听起来很美好对吧？但 COW 和移动语义有严重的冲突。

举个例子：

// COW 实现下的移动
string a = "hello";
string b = a;           // 共享内存，refcount = 2
string c = std::move(a); // 问题来了：a 的 refcount 是 2，c 该怎么做？

如果 c 直接拿走 a 的指针，那 b 还指着同一块内存呢。如果 c 不拿走，那移动语义就白费了。

我曾经在一个遗留项目中遇到过 COW 导致的 bug：多线程环境下，一个字符串被移动后，另一个共享同一块内存的字符串莫名其妙地数据错乱。查了两天才定位到是 COW 的引用计数没处理好。

所以，C++11 之后，标准库明确禁止了 COW 实现。所有主流标准库都转向了 SSO + 深拷贝/移动语义的方案。

std::string_view——只读的“字符串视角”

聊完 std::string 的内部实现，我们再来看一个和移动语义密切相关的新工具：std::string_view（C++17 引入）。

string_view 本质上就是一个 const char* 加上一个长度。它不拥有数据，只是提供一个“视图”。

std::string s = "hello world";
std::string_view sv = s; // 只引用，不拷贝

// 移动一个 string_view 就是拷贝两个整数
std::string_view sv2 = std::move(sv); // O(1)，无内存操作

string_view 的移动操作极其简单——就是拷贝一个指针和一个长度。没有堆分配，没有引用计数，没有 SSO 判断。

但要注意一个陷阱：

std::string_view get_view() {
    std::string s = "temporary";
    return std::string_view(s); // 危险！s 在函数结束时被销毁
} // sv 变成了野指针

我在 code review 时经常看到这种错误。记住：string_view 的生命周期不能超过它引用的数据。

三者的对比与选择

特性	std::string (SSO)	std::string (COW，已废弃)	std::string_view
数据所有权	拥有	共享拥有	不拥有
移动成本（短字符串）	O(1)，拷贝 SSO 缓冲区	O(1)，但引用计数复杂	O(1)，拷贝指针+长度
移动成本（长字符串）	O(1)，交换指针	O(1)，但引用计数复杂	O(1)，拷贝指针+长度
线程安全	安全（每个对象独立）	需要原子操作维护引用计数	安全（只读）
适用场景	需要修改或拥有数据	已废弃，不要使用	只读访问，临时参数

核心逻辑图

总结

字符串的移动语义，说白了就是“怎么高效地把数据从一处挪到另一处”。SSO 让短字符串的移动几乎零成本，COW 因为和移动语义冲突被淘汰，string_view 则提供了一种轻量级的只读视角。

我个人习惯是：

• 需要拥有数据、可能修改 → 用 std::string
• 只需要读取、作为函数参数 → 用 std::string_view
• 绝对不要用 COW 实现（如果你还在用 C++98 的编译器，赶紧升级）

记住一句话：移动语义让字符串的传递变得高效，但前提是你得理解它背后的实现机制。