声明template参数时, 前缀关键字class和typename可以互换;
使用关键字typename标识嵌套从属类型名称,
但不需在基类列表和成员初始化列表内使用.
从属名称(dependent
names): 模板(template)内出现的名称, 相依于某个模板(template)参数, 如T
t;
嵌套从属名称(nested dependent
names):从属名称在class内呈嵌套装, 如T::const_iterator ci;
非从属名称(non-dependent
names): 不依赖任何template参数的名称, 如int value;
如果不特定指出typename, 嵌套从属名称,
有可能产生解析(parse)歧义.
任何时候在模板(template)中指涉一个嵌套从属类型名称, 需要在前一个位置,
添加关键字typename;
否则报错(GCC): error: need ‘typename‘ before ‘T::xxx‘
because ‘T‘ is a dependent scope
代码:
/*
* BInsertSort.cpp
*
* Created on: 2014.4.17.
* Author: Spike
*/#include <iostream>
#include <string>
#include <vector>using namespace std;
template<typename T>
void print2nd(const T& container) {
typename T::const_iterator iter(container.begin()); //未加typename, 报错
++iter;
int value = *iter;
std::cout << value;
}int main () {
vector<int> vi = {1,2,3,4,5};
print2nd(vi);return 0;
}
输出:
?
1 |
|
例外:嵌套从属类型名称, 如果是基类列表(base
class list)和成员初值列(member initialization
list)中,不使用typename;
代码:
?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 |
|
?
1 2 |
|
当使用特性类(traits class)时, 必须使用typename,
如
代码:
?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 |
|
输出:
?
1 |
|