[原創(chuàng)文章歡迎轉(zhuǎn)載,但請(qǐng)保留作者信息]
Justin 于 2009-12-23
先從23條規(guī)說(shuō)起,大師在一開(kāi)始先給出了為什么推崇非成員函數(shù)的理由:
-
從面向?qū)ο蟮慕嵌葋?lái)看,非成員函數(shù)更有利于數(shù)據(jù)的封裝。
數(shù)據(jù)的封裝程度可以這樣理解:一個(gè)數(shù)據(jù)成員被越少的代碼訪問(wèn)到,該成員的封裝程度就越高。我們可以進(jìn)一步這樣理解:越少函數(shù)可以直接訪問(wèn)一個(gè)數(shù)據(jù)成員,該成員的封裝程度就越高。
如果還記得22課的內(nèi)容,就知道類的數(shù)據(jù)成員應(yīng)該定義為私有。如果這個(gè)前提成立,那么能夠訪問(wèn)一個(gè)數(shù)據(jù)成員的函數(shù)便只能是該類的成員函數(shù),或是友元函數(shù)。
于是很容易得到上面的結(jié)論:為了更好的封裝數(shù)據(jù),在可以完成相同功能的前提下,應(yīng)該優(yōu)先考慮使用非成員并且非友元函數(shù)。
這里的“非成員并且非友元函數(shù)”是針對(duì)數(shù)據(jù)成員所在的類而言的,也就是說(shuō)這個(gè)函數(shù)完全可以是其他類的成員,只要是不能直接訪問(wèn)那個(gè)數(shù)據(jù)成員就可以。
-
從靈活性上來(lái)說(shuō),非成員函數(shù)更少編譯依賴(compilation dependency),也就更利于類的擴(kuò)展。
先援引大師的例子來(lái)說(shuō)明一下怎樣是編譯依賴:一個(gè)類可能有多個(gè)成員函數(shù),可能有一個(gè)函數(shù)需要A.h,另外一個(gè)函數(shù)要包含B.h,那么在編譯這個(gè)類時(shí)就需要同時(shí)包含A.h和B.h,也就是說(shuō)該類同時(shí)依賴兩個(gè)頭文件。
如果我們使用的是非成員函數(shù)咧,這個(gè)時(shí)候就可以把這些依賴關(guān)系不同的函數(shù)分別寫(xiě)在不同的頭文件中,有可能這個(gè)類在編譯時(shí)就不需要再依賴A.h或是B.h了。
另外一點(diǎn)要注意的是在把這些非成員函數(shù)分散定義在不同頭文件中的同時(shí),需要用namespace關(guān)鍵字把它們和需要訪問(wèn)的類放在一起。(好歹有點(diǎn)關(guān)系,別不住在一起就翻臉不認(rèn)人了嘛……)
//?code?in?class_a.h
namespace??AllAboutClassA??{
???class??ClassA??{?//?..};
???//?..
}
//?code?in?utility_1.h
//?..
namespace??AllAboutClassA??{
???void??WrapperFunction_1()?{?//?..};
???//?..
}
//?..
//?code?in?utility_2.h
//?..
namespace??AllAboutClassA??{
???void??WrapperFunction_2()?{?//?..};
???//?..
}
//?..
這樣一來(lái),雖然這些非成員和類不“住在”一個(gè)頭文件里,它們的“心”還是在一起的(在同一個(gè)名字空間, namespace, 中)。
如果有需要添加新的非成員函數(shù),我們要做的只是在相同的名字空間中定義這些函數(shù)就可以,那個(gè)類絲毫不會(huì)被影響,也即所謂的易擴(kuò)展性吧。
對(duì)于類的用戶來(lái)說(shuō),這樣的實(shí)現(xiàn)方式(指用非成員函數(shù))就更加合理:
因?yàn)樽鳛轭惖挠脩簦枰獢U(kuò)展類的時(shí)候又不能去修改別人的類(版權(quán)?安全性?或者根本就沒(méi)有源碼?),就算是通過(guò)繼承該類的方式也不能訪問(wèn)父類的私有數(shù)據(jù)。
接下來(lái)看看第24條,說(shuō)的也是非成員非友元函數(shù)。Item24的標(biāo)題比較不直白:”當(dāng)類型轉(zhuǎn)換需要應(yīng)用在所有參數(shù)的時(shí)候,函數(shù)應(yīng)該是非成員函數(shù)“,讀下來(lái)覺(jué)得還是無(wú)法理解。【以下是自己對(duì)此條軍規(guī)的解讀,有待再次拜讀時(shí)完善】代碼在書(shū)上,很好很明了。不抄代碼了,嘗試總結(jié)一下:
如果運(yùn)算符函數(shù)的參數(shù)有可能發(fā)生類型轉(zhuǎn)換,該函數(shù)就應(yīng)該定義為非成員非友元函數(shù)。原因是:
此類函數(shù)幾乎總是隱性調(diào)用的:
result?=?oneHalf?*?2;?//?*?is?invoked?implicitly
而鮮少有下面的顯性調(diào)用:
result?=?oneHalf.operator*(2);?//?*?is?invoked?explicitly
當(dāng)操作數(shù)對(duì)象的類型沒(méi)有定義這一運(yùn)算符函數(shù)時(shí)(或是沒(méi)有定義隱性構(gòu)造函數(shù), implicit constructor時(shí)),就會(huì)出錯(cuò)。
如果不明白,就去看例程吧……