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

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

HomeForSaleh3(h1);//attempttocopyh1-should

//notcompile!

h1=h2;//attempttocopyh2-should

//notcompile!

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

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

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

將這個(gè)竅門用到HomeForSale上，很簡(jiǎn)潔：

classHomeForSale{

public:

..

private:

...

HomeForSale(constHomeForSale//declarationsonly

HomeForSale

};

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

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

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

classUncopyable{

protected://allowconstruction

Uncopyable(){}//anddestructionof

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

private:

Uncopyable(constUncopyable//...butpreventcopying

Uncopyable

};

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

classHomeForSale:privateUncopyable{//classnolonger

...//declarescopyctoror

};//copyassign.operator

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

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