轉自：http://blog.csdn.net/zhangxiao93/article/details/52792888

shared_ptr實現COW（Copy-On-Write）

前不久在《Linux多線程服務端編程使用muduoC++網絡庫》2.8節看到這個內容，一直沒有真正理解，后來在書中7.3中再次提到使用shared_ptr實現copy-on-write的手法降低鎖競爭，從shared_ptr的層面，徹底理解了一番。

之前copy-on-write詳解分享中知道了其含義與過程，后又在StackOverFlow上學到了COW技術的精髓：

1.如果你是數據的唯一擁有者，那么你可以直接修改數據。?
2.如果你不是數據的唯一擁有者，那么你拷貝它之后再修改。

用shared_ptr來實現COW時，主要考慮兩點：?
1.讀數據?
2.寫數據

shared_ptr擁有對對象的引用計數，在對對象進行讀寫操作時，這個計數是1，當讀數據時，我們創建一個新的智能指針指向原指針，這個時候引用計數加1。

//假設g_ptr是一個全局的shared_ptr<Foo>并且已經初始化。 void read() {shared_ptr<Foo> tmpptr;{lock();tmpptr=g_ptr;//此時引用計數為2，通過gdb調試可以看到}//訪問tmpptr//... }

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11

這部分是shared_ptr最基本的用法，還是很好理解的，read()函數調用結束，tmpptr作為棧上變量離開作用域，自然析構，原數據對象的引用計數也變為1。

寫數據就復雜一些。根據COW的準則，當你是唯一擁有者（對應對象的引用計數是1）時，那么你直接修改數據，這樣沒有問題，當你不是唯一擁有者，則需要拷貝數據再去修改，這就需要用到一些shared_ptr的編程技法了：

void write() {lock()if(!g_ptr.unique()){g_ptr.reset(new Foo(*g_ptr));}assert(g_ptr.unique());//write// }

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11

解釋一下代碼：?
shared_ptr::unique()，當引用計數為1時返回true，否則false。?
那么當引用計數不為1的時候，說明有別的線程正在讀，受shread_ptr::reset()中example的誤導，一直以為，reset后，原對象被析構，這樣不就會影響正在讀的線程了嗎？

實際上：?
假設一個線程讀，一個線程寫，當寫線程進入到if循環中時，原對象的引用計數為2，分別為tmpptr和g_ptr，此時reset()函數將原對象的引用計數減1，并且g_ptr已經指向了新的對象（用原對象構造），這樣就完成了數據的拷貝，并且原對象還在，只是引用計數變成了1。

總結

以上是生活随笔為你收集整理的理解 shared_ptr实现copy-on-write（COW）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。