詳解C 的模板中typename關鍵字的用法

2022-10-07 06:36:07 字數 2389 閱讀 5206

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...