std::string 在 Linux 與 Windows 下的複製行為差異深度解析

現象重現

string a("aaaa");
string b;
b = a;
const char* p1 = a.c_str();
const char* p2 = b.c_str();
if (p1 == p2) printf("true"); else printf("false");

• Windows (MSVC)：輸出 false
• Linux (GCC libstdc++)：輸出 true

根本原因：COW (Copy-on-Write) 是否啟用

COW 機制詳解

1. 賦值/拷貝構造：不分配新記憶體，僅增加引用計數，多個 string 共享同一字元緩衝區。
2. 修改操作：調用非 const 成員函數（如 operator[]、push_back、append）時，若引用計數 > 1，才真正分配新記憶體並拷貝數據（寫時拷貝）。
3. c_str() / data()：返回共享緩衝區指標，不觸發拷貝。

為什麼 C++11 棄用 COW？

• 多執行緒安全： 引用計數需原子操作，帶來鎖開銷，反而拖慢單執行緒場景。
• 迭代器失效規則簡化： 非 COW 下，任何非 const 操作都可能使迭代器失效，規則更清晰。
• 小字串優化 (SSO) 更優： 短字串直接存放在 string 物件內部 (通常 ≤ 15/22 字元)，完全避免堆分配，效能遠超 COW。

危險操作：繞過 COW 直接修改緩衝區

char* p = const_cast(b.c_str()); // 強制轉型
p[0] = 'b'; // 直接修改共享緩衝區！

• COW 開啟時：a 也會變成 "baaa"，引發難以排查的 Bug。
• COW 關閉時：b 已是獨立副本，a 不受影響。

鐵律： 永遠不要 const_cast 修改 c_str()/data() 返回的指標。

最佳實踐建議

1. 不依賴指標相等性 判斷 string 內容是否相同，請用 a == b 或 a.compare(b)。
2. 跨平台代碼 假設 賦值即深拷貝 (C++11 保證)，不依賴 COW 行為。
3. 性能敏感場景：善用 std::string_view (C++17) 避免拷貝，或 reserve() 減少重分配。
4. 舊代碼遷移：若必須在 GCC 下維持 COW，編譯加 -D_GLIBCXX_USE_CXX11_ABI=0，但需承擔 ABI 不兼容風險。

總結

Linux/GCC 舊版預設 COW 導致 c_str() 指標相同；Windows/MSVC 從不 COW，指標必異。現代 C++ (C++11+) 統一採用 SSO + 深拷貝，消除了該差異。寫可移植代碼時，**切勿依賴實現細節，嚴守標準語義**。