Item 42: 了解typename的双重意义

最新推荐文章于 2022-06-27 11:47:43 发布

NvRom

最新推荐文章于 2022-06-27 11:47:43 发布

阅读量384

点赞数

分类专栏： effective c++读书笔记文章标签： effective-c++ template

本文链接：https://blog.youkuaiyun.com/forlove_you/article/details/67640313

版权

effective c++读书笔记专栏收录该内容

9 篇文章

订阅专栏

本文详细解释了在C++模板编程中使用typename关键字的重要性。特别是当处理嵌套从属类型名称时，typename如何帮助编译器正确解析这些类型。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在C++中，声明template参数时，不论使用关键字class或typename，意义完全相同。
但是在某些情况下，你必须使用typename:template内出现的名称如果相依于某个template参数，称之为从属名称（dependent names），如果从属名称在class内呈嵌套关，则称之为嵌套从属名称（nested dependent name）。如果解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是个类型，除非你明确告诉它是，做法是在它之前放置关键字typename。typename只能被用来验明嵌套从属类型名称，其他名称不该有它存在。同时，typename不可以出现在base class list内的鞋套从属类型名称之前，也不可在member initialization list中作为base class修饰符。下面是一个例子:

template<typename C>
void print2nd( const C& container ){
  if( container.size() >= 2 ){
    //C::const_iterator即为一个嵌套从属名称，
    //编译器默认假设它不是个类型
    //因此这段代码不合法
    C::const_iterator iter(container.begin());
    ++iter;
    int value = *iter;
    std::cout<<value;
  }
}
//修改一下：
template<typename C>
void print2nd( const C& container ){
  if( container.size() >= 2 ){
    //在C::const_iterator前放置关键字typename
    //明确说明该嵌套从属名称是一种类型。
    typename C::const_iterator iter(container.begin());
    ...
  }
}
//typename不能出现在base class list或member initialization list中
template<typename T>
class Derived: public Base<T>::Nested{
  public:
    explicit Derived( int x ):
      Base<T>::Nested(x){
    typename Base<T>:Nested temp;
    ...
      }
};
//如果编译器不知道Base<T>::nested是什么，可以在前面先用typedef
typedef typename Base<T>::Nested Nested;

//然后凡需要Base<T>::Nested的地方则使用Nested。