[導(dǎo)入]Exception C++ 之 12

Koenig Lookup：

如果你給函數(shù)提供一個 class 類型的實(shí)參，那么在名稱搜索時，編譯器將認(rèn)為包含實(shí)參類型的命名空間中的同名函數(shù)的可選函數(shù)。

接口原則：

對于一個類X，所有的函數(shù)，包括自由函數(shù)，只要同時滿足

• “提到”X，并且
• 與X“同期提供”

就是X的邏輯組成部分，因?yàn)樗鼈兘M成了X的接口。

接口原則與 Koenig lookup 的行為相同，因?yàn)?Koenig lookup 的行為正是建立在接口原則的基礎(chǔ)上的。
小結(jié)：

1. 接口原則：對于 class X，所有的函數(shù)，包括自由函數(shù)，只要同時滿足（a）“提及”X，（b）與 X“同期提供”，那么它就是X的邏輯組成部分，因?yàn)樗鼈兪?X 的接口的一部分。
2. 因此，成員和非成員函數(shù)都是一個 class 的邏輯組成部分。只不過成員函數(shù)比非成員函數(shù)有更強(qiáng)的關(guān)聯(lián)關(guān)系。
3. 在接口原則中，對“同期提供”的最有用的解釋是“出現(xiàn)在相同的頭文件和/或命名空間中”。如果函數(shù)與 class 出現(xiàn)在相同的頭文件中，在依賴性分析時，它是此 class 的組成部分。如果函數(shù)與類出現(xiàn)在相同的命名空間中，在對象引用和名稱搜索時，它是此 class 的組成部分。
   

文章來源:http://my.donews.com/robinchow/2007/01/14/tlcchrdcrthuzvbqdhrczbijwughfpwzbybi/

posted on 2007-10-23 20:51 Robin Chow 閱讀(84) 評論(0)  編輯 收藏 引用