第9章 模板中的名字
名字在大多數編程語言中都是最基本的概念,程序員用它來引用先前創建的對象。當C++編譯器遇到一個名字,它要去查找并識別哪個對象被引用。從實現者角度來看,C++在一種強類型語言。考慮表達式X*Y:如果X和Y都是變量名,那么是乘法表達式;如果X是類型名,這條語句把Y聲明為X類型的一個指針。
這個例子表明C++(和C一樣)是上下文敏感的語言:如果沒有上下文,一條程序指令很難被編譯器理解。這與模板有什么關系呢?嗯,模板必須處理更多的上下文:(1)模板內部上下文;(2)模板實例化時的上下文;(3)模板實例化時模板參數的上下文。在C++中必須小心處理名字,對此你不應該感到驚訝。
9.1 名字分類學事實上C++的名字分類有很多種。為了便于記憶,我們提供了表格9.1和表格9.2描述了這些分類。幸運的是你只用熟悉下面2種主要的命名概念,就可以很好的理解C++模板中遇到的問題:
1、限定名:名字在作用域中被顯式指示作用域解析運算符(
::)或者成員訪問運算符(.或者
->)。例如:this
->count是限定名,而count不是(盡管count有可能是某個類的成員)。
2、依賴名:名字依賴于模板參數。例如:
std::vector<T>::iterator,如果T是模板參數,iterator就是依賴名;如果T是已知類型(比如int),iterator就是非依賴名。
表格?9.1.?名字分類學 (第一部分)
|
標識符 | 由字符、下劃線(_)和數字組成的名字,不能以數字開頭。有一些標識符是保留的,你不能在自己程序中引入它們(一種避免引入的笨方法是以_或者__作為前綴)。字符的概念很廣泛,包括對非字母語言編碼的特殊字符。 |
操作符類 | 關鍵字operator 后面跟著一個符號。例如operator new和operator []。很多操作符都是多義的,例如operator &可以是按位與運算,也可以是取地址運算。 |
轉換類 | 指示用戶定義的隱式類型轉換。例如operator int&,我們可以把它轉換成int類型的位與操作 |
模板類 | template后面跟著<>,里面是模板參數。例如List<T, int, 0>(嚴格講,C++標準只允許簡單的標識符為模板名,或許有爭議說操作符類也是允許的;例如:operator+<X<int> >)。 |
非限定類 | 更一般的標識符。可以是上面幾類(標識符、操作符類、轉換類或模板類)或者是析構名(例如,像~Data?或 ~List<T, T, N>之類的符號)。 |
限定類 | 非限定類前面加上類或者名字空間限定,或者全局作用域解析運算符。注意一個名字本身可以是限定的,例如::X, S::x, Array<T>::y, and ::N::A<T>::z。 |
限定名 | 這個名詞在標準中是沒有的,我們用它來表示執行限定查找的名字。特定情況下,就是限定標識或者在非限定標識前面顯式使用成員訪問運算符(.?或者 ->)。例如S::x, this->f,?和 p->A::m。然而,除了class_mem 和this->class_mem在上下文環境中是等同的情況下不需要限定名,其他情況下必須顯式使用成員訪問運算符。 |
非限定名 | 非限定標識不是非限定名。這也不是一個標準中的術語,但是相當于執行非限定查找中的名字。 |
表格?9.2. 名字分類學 (第二部分)
|
名字 | 限定或者非限定的名字。 |
依賴名 | 名字依賴于模板參數。任何含有模板參數的限定或者非限定名字都是依賴名。此外,成員訪問操作符(.或->) 修飾的限定名 ,如果操作符左邊的表達式類型依賴于模板參數,那么這個限定名是依賴的。尤其這種情況:this->b中的b在模板中便是依賴名。最后,ident(x, y, z)調用形式中的ident當且僅當參數表達式中有類型依賴于模板參數。 |
非依賴名 | 不符合上面描述的名字就不是依賴名。 |
上面這些名詞通常用來描述C++模板中的問題,通讀一邊是很有用的,我們可以熟悉這些名詞,但沒有必要記住每個名詞確切的意思。需要的時候,我們可以通過索引很容易的查閱。
posted on 2006-04-08 11:38
萬連文 閱讀(1233)
評論(0) 編輯 收藏 引用 所屬分類:
模板