第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
萬連文 閱讀(1260)
評論(0) 編輯 收藏 引用 所屬分類:
模板