一、導讀

在實際開發(fā)中，Qt中很多類可以直接作為函數(shù)參數(shù)傳遞，這是為什么？其背后的實現(xiàn)機制又是什么？這些都歸功于隱式共享，本文基于Qt 5.15源碼，來聊聊隱式共享！

二、隱式共享簡介

Qt中的許多C++類使用隱式數(shù)據(jù)共享來提高資源使用并減少數(shù)據(jù)復制。當這些類作為參數(shù)傳遞時，因為只傳遞一個指向數(shù)據(jù)的指針，并且只有當函數(shù)寫入數(shù)據(jù)時數(shù)據(jù)才會被復制，即copy -on-write，隱式共享類是安全、高效的。

共享類由一個指向包含引用計數(shù)和數(shù)據(jù)的共享數(shù)據(jù)塊的指針組成。

當創(chuàng)建共享對象時，它將引用計數(shù)設置為1。每當有新對象引用共享數(shù)據(jù)時，引用計數(shù)就遞增，當對象解引用共享數(shù)據(jù)時，引用計數(shù)就遞減，當引用計數(shù)變?yōu)榱銜r，將刪除共享數(shù)據(jù)。

在處理共享對象時，有兩種方法復制對象。也就是經(jīng)常談到的：深度拷貝和淺拷貝。深度拷貝意味著復制一個對象，淺拷貝是一個引用拷貝，也就是一個指向共享數(shù)據(jù)塊的指針。站在內(nèi)存和CPU角度，執(zhí)行一個深度拷貝可能是昂貴的操作，執(zhí)行淺拷貝則非常快，因為淺拷貝只涉及設置指針和增加引用計數(shù)。

注意：隱式共享對象的對象賦值(operator=())是使用淺拷貝實現(xiàn)的。

隱式共享的優(yōu)點是：

（1）程序不需要進行不必要的數(shù)據(jù)復制操作，從而減少內(nèi)存的使用和多次執(zhí)行數(shù)據(jù)復制操作。

（2）可以很容易地被賦值。

（3）可以作為函數(shù)參數(shù)傳遞，并從函數(shù)中返回。

三、源碼角度分析隱式共享

隱式共享會自動將對象從共享塊中分離出來，如果對象即將改變并且引用計數(shù)大于1，(這通常被稱為寫時復制或值語義。)

隱式共享類可以控制其內(nèi)部數(shù)據(jù)，在任何修改其數(shù)據(jù)的成員函數(shù)中，它都會在修改數(shù)據(jù)之前自動分離。（但是，需注意容器迭代器的特殊情況，后文將說明這一點！）

此處以QPen這個隱式共享類為例，從源碼角度分析QPen類是如何從更改內(nèi)部數(shù)據(jù)的成員函數(shù)中分離共享數(shù)據(jù)的。在Qt5.15源碼中用于描述QPen的文件為qpen_p.h、qpen.cpp、qpen.h三個文件，位于源碼路徑（/qtbase/src/gui/painting目錄）下。在QPen類定義中有一個detach()：

實現(xiàn)如下：

detach()用于從共享pen數(shù)據(jù)中分離，以確保該pen只有一個引用數(shù)據(jù)，如果多個pen共享公共數(shù)據(jù)，這支pen將取消對數(shù)據(jù)的引用并獲得數(shù)據(jù)的副本；如果只有一個則返回，什么也不做。上述代碼中，QPenData實則是QPenPrivate的類型別名，用于描述QPen的數(shù)據(jù)，定義如下（位于qpen_p.h文件中）：

上述代碼分析了detach()函數(shù)，下文以QPen的一個成員函數(shù)setStyle(Qt::PenStyle style)來描述，該函數(shù)實現(xiàn)如下：

從上述圖片所示，在setStyle()函數(shù)中，會使用detach()從公共數(shù)據(jù)中分離，然后在設置style成員。

綜上，如果Qt提供的類支持隱式共享，那么其源碼內(nèi)部實現(xiàn)都有對應的數(shù)據(jù)管理機制，實現(xiàn)寫時復制。

四、隱式共享在開發(fā)中的使用

上述第二節(jié)描述了隱式共享的QPen類如何從更改內(nèi)部數(shù)據(jù)的成員函數(shù)中分離共享數(shù)據(jù)。可簡化為下述代碼片段：

voidQPen::setStyle(Qt::PenStyles)
{
detach();//從公共數(shù)據(jù)中分離
d->style=s;//設置style成員
}

voidQPen::detach()
{
if(d->ref!=1){
...//執(zhí)行深度拷貝
}
}

所以，在開發(fā)中如果更改了對象，類將自動與公共數(shù)據(jù)分離，甚至不會注意到這些對象是共享的。因此，可以將它們的單獨實例視為單獨的對象，它們始終作為獨立的對象。但在有些情況下可以共享數(shù)據(jù)，因此可以將這些類的實例作為參數(shù)按值傳遞給函數(shù)，而不必考慮復制開銷。

例如下列代碼：

QPixmapp1,p2;
p1.load("image.bmp");
p2=p1;//p1和p2共享數(shù)據(jù)

QPainterpaint;
paint.begin(&p2);//將p2從p1中分離出來
paint.drawText(0,50,"iriczhao");
paint.end();

注：在使用stl風格的迭代器時，復制隱式共享容器(QMap，QList等)需要特別注意。

五、隱式共享迭代器問題

對于stl風格的迭代器，在使用隱式共享類時應格外注意。因為當?shù)髟谌萜魃霞せ顣r，應該避免復制容器。也就是迭代器指向一個內(nèi)部結(jié)構(gòu)，如果復制一個容器，此時應特別注意迭代器。例如以下代碼片段：

QLista,b;
a.resize(100000);//創(chuàng)建一個大列表，里面填滿0。

QList::iteratori=a.begin();

/*-------------------------------------------------------------*/

//使用迭代器i的錯誤方法:
b=a;
/*
此時我們應該注意迭代器i，因為它將指向共享數(shù)據(jù)
如果我們執(zhí)行*i=4，那么我們將改變共享實例(兩個向量)
其行為不同于STL容器。在Qt中不能這樣做。
*/

/*-------------------------------------------------------------*/

a[0]=5;
/*
容器a現(xiàn)在與共享數(shù)據(jù)分離,
盡管i是容器a的迭代器，但是它現(xiàn)在作為容器b的迭代器工作。
這里的情況是(*i)==0。
*/

b.clear();//現(xiàn)在迭代器i完全無效了。

intj=*i;//此時會出現(xiàn)未定義的行為!
/*
來自b(i所指向的)的數(shù)據(jù)不見了。
這可以用STL容器(和(*i)==5)定義，
但是這時候使用QList，可能會崩潰。
*/

總而言之：當?shù)髟谌萜魃霞せ顣r，應該避免復制容器，所有的Qt容器類都應該注意這一點。

六、隱式共享類和線程

在Qt中，對它的許多值類使用了隱式共享進行了優(yōu)化，尤其是QImage和QString。從Qt 4開始，隱式共享類可以安全地跨線程復制。這些值類是完全可重入的。

一般情況下，都認為隱式共享和多線程是不兼容的概念，因為引用計數(shù)通常不允許這樣做。然而，Qt使用原子引用計數(shù)來確保共享數(shù)據(jù)的完整性，避免了引用計數(shù)器的潛在損壞。

但是需要注意原子引用計數(shù)不能保證線程安全性。在線程之間共享隱式共享類的實例時，應該適當?shù)募渔i進行鎖定。這一點，與所有重入類（無論是否共享）相同。原子引用計數(shù)確實保證了一個線程在其自身、隱式共享類的本地實例上工作是安全的，所以，在開發(fā)中可以使用信號和槽函數(shù)機制在不同線程之間傳遞數(shù)據(jù)，因為這可以在不需要顯式鎖定的情況下完成。

總而言之，Qt 中的隱式共享類實際上是隱式共享的。即使在多線程應用程序中，也可以安全地使用它們，與普通的、非共享的、可重入的基于值的類一樣。

審核編輯：劉清