Robin Chow's C++ Blog

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

Koenig Lookup：

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

接口原則：

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

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

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

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

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

文章來(lái)源:http://my.donews.com/robinchow/2007/01/14/tlcchrdcrthuzvbqdhrczbijwughfpwzbybi/

posted on 2007-10-23 20:49 Robin Chow 閱讀(75) 評(píng)論(0)  編輯 收藏 引用