写时复制通过延迟数据拷贝提升性能，多个对象共享数据并维护引用计数，仅在修改时才创建副本。c++中可用封装指针与引用计数实现，如SimpleString类通过detach机制触发写前分离，确保修改安全。现代std::string因线程开销、SSO和移动语义不再强制采用COW，但在大型数据共享等场景手动实现仍有价值，使用时需注意线程安全、性能测量及接口透明性，可结合shared_ptr简化管理。该策略以空间换时间，适用于读多写少场景。
写时复制（copy-on-Write，简称 COW）是一种内存优化技术，用于在多个对象共享同一份数据时，避免不必要的内存拷贝。只有当某个对象试图修改数据时，才会真正创建副本。这种机制在C++中被广泛应用于字符串、容器等需要频繁复制但实际修改较少的场景。
写时复制的基本原理
在传统的对象复制中，每次赋值或拷贝构造都会立即分配新内存并复制数据。而写时复制通过“延迟复制”来提升性能：
- 多个对象初始时共享同一块数据内存
- 所有对象将引用计数（reference count）加1，记录共享数量
- 当某个对象尝试修改数据时，才触发真正的拷贝操作
- 修改对象获得独立副本，不影响其他共享者
这样，只读操作无需开销，仅在写入时付出代价，显著减少内存使用和复制耗时。
C++中的实现方式
要实现写时复制，通常需要封装一个包含指针和引用计数的数据结构。以下是一个简化的字符串类示例：
立即学习“C++免费学习笔记（深入）”；
class SimpleString {
private:
Struct Data {
char* str;
int ref_count;
Data(const char* s) : ref_count(1) {
str = new char[strlen(s) + 1];
strcpy(str, s);
}
~Data() { delete[] str; }
}* data;
void detach() {
if (data->ref_count > 1) {
data->ref_count–;
data = new Data(data->str); // 真正拷贝
}
}
public:
SimpleString(const char* s) { data = new Data(s); }
SimpleString(const SimpleString& other) {
data = other.data;
data->ref_count++;
}
SimpleString& operator=(const SimpleString& other) {
if (data != other.data) {
data->ref_count–;
if (data->ref_count == 0) delete data;
data = other.data;
data->ref_count++;
}
return *this;
}
char& operator[](int index) {
detach(); // 写前分离
return data->str[index];
}
~SimpleString() {
if (–data->ref_count == 0) delete data;
}
};
这个例子展示了如何通过引用计数和写前分离（detach）实现COW。operator[] 触发 detach 是关键——确保修改不会影响其他实例。
现代C++中的变化与替代方案
虽然写时复制能节省内存和提升性能，但在现代C++标准库中，std::string 已不再强制要求使用COW。原因包括：
不过，在特定场景下手动实现COW仍有价值，比如大型数据结构共享、配置对象传递、GUI组件状态管理等。
使用建议与注意事项
若在项目中考虑使用写时复制，注意以下几点：
- 确保线程安全：引用计数应使用原子变量或加锁保护
- 避免过早优化：先测量性能瓶颈，再决定是否引入COW
- 明确接口行为：用户应清楚何时发生复制，防止意外性能抖动
- 结合智能指针：可用 std::shared_ptr 配合自定义删除器简化实现
例如，用 shared_ptr 实现COW只需关注写时分离逻辑，内存管理和引用计数由智能指针自动处理。
基本上就这些。写时复制是一种典型的以空间换时间（准确说是延迟时间）的优化策略，在合适场景下能有效提升程序效率，但也要权衡实现复杂度和并发成本。理解其机制有助于写出更高效的C++代码。不复杂但容易忽略。