typename的使用場合
用處1, 用在模板定義裡, 標明其後的模板引數是型別引數。
例如template
t foo(const t& t, const y& y);
templace
class ctest
其實,這裡最常用的是使用關鍵字class,而且二者功能完全相同,這裡的class和定義類時的class完全是兩回事,c++當時就是為了減少關鍵字,才使用了class。但最終卻不得不引入了typename,究竟是
什麼原因呢?請看第二條,也就是typename的第二個用法。
用處2, 模板中標明「內嵌依賴型別名」
這裡有三個詞,內嵌、依賴、型別名。那麼什麼是「內嵌依賴型別名(nested dependent type name)」?
請看sgi stl裡的乙個例子, 只是stl中count范型演算法的實現:
template
typename iterator_traits<_inputiter>::difference_type
count(_inputiter __first, _inputiter __last, const _tp& __value)
這裡有三個地方用到了typename:返回值、引數、變數定義。分別是:
typename iterator_traits<_inputiter>::difference_type
typename iterator_traits<_inputiter>::value_type
typename iterator_traits<_inputiter>::difference_type __n = 0;
difference_type, value_type就是依賴於_inputiter(模板型別引數)的型別名。原始碼如下:
template
struct iterator_traits ;
內嵌是指定義在類名的定義中的。以上difference_type和value_type都是定義在iterator_traits中的。
依賴是指依賴於乙個模板引數。 typename iterator_traits<_inputiter>::difference_type中difference_type依賴於模板引數_inputiter。
型別名是指這裡最終要指出的是個型別名,而不是變數。例如iterator_traits<_inputiter>::difference_type完全有可能是類iterator_traits<_inputiter> 類裡的乙個static物件。而且當我們這樣寫的時候,c++預設就是解釋為乙個變數的。所以,為了和變數區分,必須使用typename告訴編譯器。
那麼是不是所有的t::type_or_variable, 或者tmpl:type_or_variable都需要使用typename呢?不是,有以下兩個例外。
例外(1)類模板定義中的基類列表。
例如template
class derived: public base::***
(2)類模板定義中的初始化列表。
derived(int x) : base::***(x)
為什麼這裡不需要呢?因為編譯器知道這裡需要的是型別還是變數,(1)基類列表裡肯定是型別名,(2)初始化列表裡肯定是成員變數名。
typename和class的區別
在c++ template中很多地方都用到了typename與class這兩個關鍵字,而且好像可以替換,是不是這兩個關鍵字完全一樣呢?
相信學習c++的人對class這個關鍵字都非常明白,class用於定義類,在模板引入c++後,最初定義模板的方法為: template......
在這裡class關鍵字表明t是乙個型別,後來為了避免class在這兩個地方的使用可能給人帶來混淆,所以引入了typename這個關鍵字,它的作用同
class一樣表明後面的符號為乙個型別,這樣在定義模板的時候就可以使用下面的方式了:
template......
在模板定義語法中關鍵字class與typename的作用完全一樣。
typename難道僅僅在模板定義中起作用嗎?其實不是這樣,typename另外乙個作用為:使用巢狀依賴型別(nested depended name),如下所示:
class myarray
程式設計客棧
template
void mymethod( t myarr )
這個時候typename的作用就是告訴c++編譯器,typename後面的字串為乙個型別名稱,而不是成員函式或者成員變數,這個時候如果前面沒有
typename,編譯器沒有任何辦法知道t::lengthtype是乙個型別還是乙個成員名稱(靜態資料成員或者靜態函式),所以編譯不能夠通過。
本文標題: 詳解c++的模板中typename關鍵字的用法
本文位址: /ruanjian/c/154592.html
c 模板中的 typename 和 class
在c template中很多地方都用到了typename與class這兩個關鍵字,而且在泛型程式設計的時候可以替換,但是 typename 和 class 並不是完全一致的。相信學習c 的人對class這個關鍵字都非常明白,class用於定義類,在模板引入c 後,最初定義模板的方法為 templat...
C 模板中的typename和class的區別
按 c 標準來說,template用於基礎資料型別,typename 指型別名,t 可以取 char int double 等。template用於類,t 可以取任何類。但是這裡有乙個問題,結構體應該用 typename 還是 class?結構體肯定不是基礎資料型別,但也不是類。所以實際情況是,te...
C 之模板中的typename和class
在c 模板使用中,通常會用到和兩種方式來標識t引數的型別,二者是可以互換的,其主要差別是在含有巢狀從屬型別名稱 指 中的某些型別存在依賴關係,比如某些型別需要依賴於引數t 時,需要考慮字首typename 否則c 解析時未必會將之後的字串當做乙個型別,或者會將其看做乙個變數名稱等,例如 templa...