C++技巧(多線程下的返回值優(yōu)化陷阱)

C++技巧（多線程下的返回值優(yōu)化陷阱）Examda從一個簡潔例子講起：

template

classFdMap

{

std::vectorvec_;

public:

voidSet(intfd,constT

}else{

vec_.resize(fd+1);

vec_[fd]=v;

}

}

}

TGet(intfd)const{

if(fd>=0

returnT();

}

};

這里FdMap是一個把int映射到T對象的類型，考試大采納std::vector作為底層容器。它所做的工作很簡潔：在需要的時候擴(kuò)大容器vec_；假如訪問超過了范圍，返回T的默認(rèn)值。

假如FdMap要在多線程下工作，考試大那么我們需要加一點代碼，進(jìn)展必要的同步：

template

classFdMap

{

std::vectorvec_;

Mutexmutex_;//鎖同步對象

public:

voidSet(intfd,constT

}else{

vec_.resize(fd+1);

vec_[fd]=v;

}

}

}

TGet(intfd)const{

if(fd>=0){

Guardg(mutex_)//加鎖

if(fd。

不過有閱歷的程序員立刻會看出，直接在FdMap里存儲ClientData指針是不行的。假如某個線程Get到了一個fd的ClientData指針，而另一個線程卻試圖關(guān)閉這個fd連接，那么ClientData對象是釋放掉，還是連續(xù)有效？假如釋放了ClientData對象，那么前一個線程隨后的訪問就會失效；假如連續(xù)保存ClientData對象，那么誰也不知道該在何時釋放它了，就會內(nèi)存泄漏。

正確的做法是，在FdMap里存儲ClientData的智能指針，那么哪個線程都不需要特意釋放ClientData對象，智能指針會在適當(dāng)?shù)臅r候處理。為了保險，我們打算使用boost::shared_ptr，由于大家都認(rèn)為它是正確的。

OK，我們有了一個設(shè)計完善，運行正確的FdMap，完整的實例化是：

FdMap>

最終有一天，我們需要優(yōu)化代碼，于是我們重新端詳上面的代碼。Get函數(shù)！是的，它的返回值是否可以優(yōu)化？由于對于智能指針，即使是拷貝構(gòu)造函數(shù)都是昂貴的，能夠削減一個臨時對象的構(gòu)造，對于我們確實太迷人了。

但是有一個明顯的問題：當(dāng)fd不在范圍內(nèi)的時候，返回誰的引用？且看下面的實現(xiàn)。

下面是我們的“優(yōu)化”：

constT

if(fd>=0){

Guardg(mutex_)//加鎖

if(fdpClient=fdMap.Get(fd);

這樣的代碼實在看不出有什么問題，而檢查Get函數(shù)的實現(xiàn)，也沒有發(fā)覺任何問題！

事實上，問題是這樣的：

認(rèn)真分析Get函數(shù)的操作，可以發(fā)覺，在“returnvec_[fd];”之后，F(xiàn)dMap內(nèi)部的鎖已經(jīng)解開了，而此時調(diào)用線程得到的還是FdMap::vec_[fd]對象的引用，于是接下來給pClient賦值的操作就是一個沒有任何愛護(hù)的過程。假如在把這個引用賦值給pClient的過程中，F(xiàn)dMap::v