写时复制（COW）是一种延迟数据复制的优化策略，允许多个对象共享同一数据直到发生写操作才触发复制。其核心机制包括引用计数、共享缓冲区和写前检测，早期用于std::string以减少内存开销。例如，std::string a = "Hello"; std::string b = a; 时仅增加引用计数而不复制数据；当b[0] = 'h';时才复制并修改。该技术依赖于对共享数据的读时不复制、写时隔离的原则。然而，在C++11后，由于多线程环境下引用计数同步带来的性能损耗，主流STL实现如libstdc++和MSVC STL已弃用COW，转而采用短字符串优化（SSO），即小字符串直接存储在对象内部，避免堆分配。尽管如此，COW思想仍适用于需频繁拷贝但少修改的大对象场景，可通过std::shared_ptr结合use_count()手动实现类似行为，如图像或文档模型的共享管理。因此，COW虽在标准库中式微，但在自定义高性能类设计中仍有应用价值。
写时复制（Copy-on-Write，简称 COW）是一种优化策略，用于在多个对象共享同一份数据时，延迟实际的数据复制操作，直到某个对象真正需要修改数据为止。在 C++ 中，这种机制常被用于字符串（std::string）和容器类中，以提高性能并减少不必要的内存拷贝。
写时复制的基本原理
当两个或多个对象引用同一块内存数据时，系统不会立即复制数据，而是让它们共享这份数据。只有当其中一个对象尝试修改数据时，才会触发真正的复制操作——即“写时”才“复制”。
这种机制的核心思想是：如果只是读取数据，就没必要复制；只有在写入时才隔离数据，保证各个对象的独立性。
- 多个对象共享同一块数据内存
- 数据被标记为“可共享”状态
- 一旦发生写操作，系统会创建该数据的副本供修改使用
- 原始共享数据保持不变，其他对象继续使用原数据
C++ 中的实现方式
在早期的 std::string 实现中，很多编译器采用了写时复制技术来优化字符串赋值和拷贝构造。例如：
立即学习“C++免费学习笔记（深入）”；
std::string a = "Hello"; std::string b = a; // 此时不复制字符数组，仅增加引用计数 b[0] = 'h'; // 写操作触发复制，a 和 b 拥有各自的数据
实现上通常包含以下要素：
- 引用计数：记录有多少对象正在共享当前数据块
- 共享缓冲区：存放实际数据的堆内存区域
- 写前检测：每次修改前检查引用计数，大于1则复制一份再改
比如自定义一个简单的 COW 字符串类，可以这样设计内部结构：
class CowString {
struct Data {
int ref_count;
char* buffer;
Data(const char* str);
~Data();
};
Data* ptr;
};
现代 C++ 中的现状与替代方案
尽管写时复制听起来很高效，但在多线程环境下会带来同步开销和复杂性。C++11 标准后，大多数主流 STL 实现（如 libstdc++、MSVC STL）已放弃 std::string 的写时复制策略，转而采用更高效的短字符串优化（SSO, Small String Optimization）。
这意味着现在的 std::string 在拷贝时通常直接复制数据（尤其是小字符串），不再依赖引用计数和延迟复制。
不过，开发者仍可在特定场景手动实现写时复制，例如：
- 大型数据结构的共享（图像、文档模型等）
- 需要频繁拷贝但很少修改的对象
- 配合智能指针（如 std::shared_ptr）模拟 COW 行为
std::shared_ptr<std::vector<int>> data = std::make_shared<std::vector<int>>(1000); // 多个对象共享 data // 修改前判断 use_count() > 1 则复制一份再改
基本上就这些。写时复制是一种经典优化手段，虽然在标准库中逐渐淡出，但其思想仍在资源管理、智能指针和自定义类设计中具有实用价值。理解它有助于写出更高效的 C++ 代码。
