C++箴言：拒絕不想用的編譯器產(chǎn)生的函數(shù)

C++箴言：拒絕不想用的編譯器產(chǎn)生的函數(shù)HomeForSaleh2;

HomeForSaleh3(h1);//attempttocopyh1-should

//notcompile!

h1=h2;//attempttocopyh2-should

//notcompile!

唉，防止這種編譯的方法并非那么簡潔易懂。通常，假如你不盼望一個class支持某種功能，你可以簡潔地不聲明給予它這種功能的函數(shù)。這個策略對于拷貝賦值運算符不起作用，由于，就象Item5中指出的，假如你不聲明它們，而有人又想調(diào)用它們，編譯器就會隱式地聲明它們。

這就限制了你。假如你不聲明拷貝構(gòu)造函數(shù)和拷貝賦值運算符，編譯器也可以為你生成它們。你的類還是會支持拷貝。另一方面，假如你聲明白這些函數(shù)，你的類依舊會支持拷貝。我們在這里的目標(biāo)就是防止拷貝。解決這個問題的關(guān)鍵是全部的編譯器生成的函數(shù)都是public。為了防止生成這些函數(shù)，你必需自己聲明它們，但是你沒有理由把它們聲明為public。相反，應(yīng)當(dāng)將拷貝構(gòu)造函數(shù)和拷貝賦值運算符聲明為private。通過顯式聲明一個成員函數(shù)，可以防止編譯器生成它自己的版本，而且將這個函數(shù)聲明為private，可以防止別人調(diào)用它。

通常，這個方案并不非常保險，由于成員函數(shù)和友元函數(shù)還是能夠調(diào)用private函數(shù)。換句話說，除非你不定義它們。那么，當(dāng)有人不當(dāng)心地調(diào)用了它們，在連接的時候會消失錯誤。這個竅門--定義一個private成員函數(shù)卻有意不去實現(xiàn)它--的確不錯，在C++的iostreams庫里，就有幾個類用此方法防止拷貝。比方，看一下你用的標(biāo)準(zhǔn)庫的實現(xiàn)中，ios_base，basic_ios和sentry的定義，你就會看到拷貝構(gòu)造函數(shù)和拷貝賦值運算符被聲明為private而且沒有定義的狀況。

將這個竅門用到HomeForSale上，很簡潔：

classHomeForSale{

public:

..

private:

...

HomeForSale(constHomeForSale//declarationsonly

HomeForSale

};

你會留意到，我省略了函數(shù)參數(shù)的名字。這沒有必要，只是一個一般的慣例。究竟，函數(shù)不會被定義，極少有時機(jī)被用到，有什么必要指定參數(shù)的名字呢？

對于上面的類定義，編譯器將阻擋客戶拷貝HomeForSale對象的企圖，假如你不當(dāng)心在成員函數(shù)或者友元函數(shù)中這樣做了，連接程序會提出*。

將連接時錯誤提前到編譯時間也是可行的（早發(fā)覺錯誤究竟比晚發(fā)覺好），不要讓HomeForSale自己去聲明private的拷貝構(gòu)造函數(shù)和拷貝賦值運算符，在一個特意設(shè)計的基類中聲明。這個基類本身特別簡潔：

classUncopyable{

protected://allowconstruction

Uncopyable(){}//anddestructionof

~Uncopyable(){}//derivedobjects...

private:

Uncopyable(constUncopyable//...butpreventcopying

Uncopyable

};

為了制止拷貝HomeForSale對象，我們必需讓它從Uncopyable繼承：

classHomeForSale:privateUncopyable{//classnolonger

...//declarescopyctoror

};//copyassign.operator

在這里，假如有人——甚至是成員函數(shù)或友元函數(shù)——試圖拷貝一個HomeForSale對象，編譯器將試圖生成一個拷貝構(gòu)造函數(shù)和一個拷貝賦值運算符。就象Item12解釋的，這些函數(shù)的編譯器生成版會試圖調(diào)用基類的對應(yīng)函數(shù)，而這些調(diào)用將被拒絕，由于在基類中，拷貝操作是private的。

Uncopyable的實現(xiàn)和使用包含一些微妙之處，比方，從Uncopyable繼承不能是public的（參見Item32和39），而且Uncopyable的構(gòu)造函數(shù)不必是virtual的（參見Item7）。由于Uncopyable不包含數(shù)據(jù)，所以它符合Item39描述的空基類優(yōu)化條件，但由于它是基類，此項技術(shù)的應(yīng)用不能引入多重繼承（參見Item40）。反過來說，多重繼承有時會使空基類優(yōu)化失效（還是參見Item39）。通常，你可以忽視這些微妙之處，而且此處只是用Uncopyable來做演示，由于它比擬適合做廣告。在Boost（參見Item55）中你可以找到一個可用的版本。那個類名為noncopyable。那是一個好的class，我只是發(fā)覺那個名字有一點兒不（un-）……嗯……非