LoveBeyond

Copy On Write（寫時(shí)復(fù)制）是在編程中比較常見的一個(gè)技術(shù)，面試中也會(huì)偶爾出現(xiàn)（好像Java中就經(jīng)常有字符串寫時(shí)復(fù)制的筆試題），今天在看《More Effective C++》的引用計(jì)數(shù)時(shí)就講到了Copy On Write——寫時(shí)復(fù)制。下面簡(jiǎn)單介紹下Copy On Write(寫時(shí)復(fù)制)，我們假設(shè)STL中的string支持寫時(shí)復(fù)制（只是假設(shè)，具體未經(jīng)考證，這里以Mircosoft Visual Studio 6.0為例，如果有興趣，可以自己翻閱源碼）

Copy On Write(寫時(shí)復(fù)制)的原理是什么？
有一定經(jīng)驗(yàn)的程序員應(yīng)該都知道Copy On Write(寫時(shí)復(fù)制)使用了“引用計(jì)數(shù)”，會(huì)有一個(gè)變量用于保存引用的數(shù)量。當(dāng)?shù)谝粋€(gè)類構(gòu)造時(shí)，string的構(gòu)造函數(shù)會(huì)根據(jù)傳入的參數(shù)從堆上分配內(nèi)存，當(dāng)有其它類需要這塊內(nèi)存時(shí)，這個(gè)計(jì)數(shù)為自動(dòng)累加，當(dāng)有類析構(gòu)時(shí)，這個(gè)計(jì)數(shù)會(huì)減一，直到最后一個(gè)類析構(gòu)時(shí)，此時(shí)的引用計(jì)數(shù)為1或是0，此時(shí)，程序才會(huì)真正的Free這塊從堆上分配的內(nèi)存。
引用計(jì)數(shù)就是string類中寫時(shí)才拷貝的原理！

什么情況下觸發(fā)Copy On Write(寫時(shí)復(fù)制)
很顯然，當(dāng)然是在共享同一塊內(nèi)存的類發(fā)生內(nèi)容改變時(shí)，才會(huì)發(fā)生Copy On Write(寫時(shí)復(fù)制)。比如string類的[]、=、+=、+等，還有一些string類中諸如insert、replace、append等成員函數(shù)等，包括類的析構(gòu)時(shí)。

示例代碼：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// 作者：代碼瘋子
// 博客：http://www.programlife.net/
// 引用計(jì)數(shù) & 寫時(shí)復(fù)制
#include <iostream>
#include <string>
using namespace std;
 
int main(int argc, char **argv)
{
	string sa = "Copy on write";
	string sb = sa;
	string sc = sb;
	printf("sa char buffer address: 0x%08X\n", sa.c_str());
	printf("sb char buffer address: 0x%08X\n", sb.c_str());
	printf("sc char buffer address: 0x%08X\n", sc.c_str());
 
	sc = "Now writing...";
	printf("After writing sc:\n");
	printf("sa char buffer address: 0x%08X\n", sa.c_str());
	printf("sb char buffer address: 0x%08X\n", sb.c_str());
	printf("sc char buffer address: 0x%08X\n", sc.c_str());
 
	return 0;
}

輸出結(jié)果如下（VC 6.0）：

可以看到，VC6里面的string是支持寫時(shí)復(fù)制的，但是我的Visual Studio 2008就不支持這個(gè)特性（Debug和Release都是）：

拓展閱讀：（摘自《Windows Via C/C++》5th Edition，不想看英文可以看中文的PDF，中文版第442頁(yè)）
Static Data Is Not Shared by Multiple Instances of an Executable or a DLL

1. ISCC2011基礎(chǔ)關(guān)-小明的程序 (10.4)
2. 一些Win32匯編知識(shí) (7)
3. 一個(gè)C語(yǔ)言結(jié)構(gòu)體問題 (6.3)
4. 第二屆頂嵌杯決賽解題報(bào)告與總結(jié) (6.2)
5. 空白基類最優(yōu)化 The Empty Base Class Optimization (EBCO) (5.6)