标签:
typename在很多种情况下与class是完全相同的,例如下面的使用:
1 templame<typename T> 2 ...... 3 template<class T> 4 ......
条款42:了解typename的双重含义
1 template<typename C> 2 void print2nd(const C containter) 3 { 4 if(containter.size() >= 2){ 5 C::const_iterator iter(containter.begin()); 6 ++iter; 7 int value = *iter; 8 cot << value; 9 } 10 }
上面这个式子是无法通过编译的:这里的const_iterator实际上是个嵌套从属名称,编译器实际上并不知道这是个类型名称的。所以除非我们主动的告诉编译器这是个类型名,否则其就会报错:
1 typename C::const_iterator iter(container.begin());
那么也就是说:任何时候想要在template中指涉一个嵌套从属类型名称的话,那么就需要在起前面放上typename关键字。当然他typename仅仅可以用在这个方面,其他的非嵌套从属类型名称上用typename实际上是不允许的:
1 template<typename C> 2 void f(const C & container, //注意,这里的C前面即不允许加上typename 3 typename C::iterator iter);
1 template<typename T> 2 void workWithIterator(Iter iter) 3 { 4 typename std::iterrator_traits<Iter>::value_type tmp(*iter); 5 }
这里用iterator_traits机制将iterator的value_type强制的萃取出来了,中间很长的变量声明实际上可以作为一个typedef:
1 typedef typename std::iterrator_traits<Iter>::value_type value_type;
之后就可以肆无忌惮的使用value_type了,避免过长的声明式。
标签:
原文地址:http://www.cnblogs.com/-wang-cheng/p/4889810.html