Item 42 typename的使用

最新推荐文章于 2022-02-25 21:57:21 发布

ba_jie

最新推荐文章于 2022-02-25 21:57:21 发布

阅读量1.5k

点赞数

分类专栏： Effective C++ 文章标签： nested iterator class float c

Effective C++ 专栏收录该内容

39 篇文章

订阅专栏

本文深入探讨了C++中模板的使用细节，特别是typename与class关键字的区别及其应用场景。通过具体示例，展示了如何正确使用typename来指定依赖名称，并解释了在成员初始化列表和基类列表中typename的使用限制。

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

template<class T> class Widget;
template<typename T> class Widget;

这两种声明区别不大。但在一些场合，必须使用typename。

template<typename C> // typename/class都行 void f(const C& container, // 直接用C就好 typename C::iterator iter); // 必须加typename在C前面

iterator是定义在C内部的类型。这样的类型有个名字：nested dependent name。
int和float不依赖任何类型而存在，它们的名字：non-dependent name。

C++在涉及模板中的nested dependent name时，有这么三条规定：

template<typename T> class Derived: public Base<T>::Nested { // 基类列表不能用typename修饰 public: explicit Derived(int x) : Base<T>::Nested(x) // 成员初始化列表不能用typename修饰 { typename Base<T>::Nested temp; // 除了上面两种情况，都要用typename修饰 ... } };

还有一种typename的常见用法：

template<typename IterT> void workWithIterator(IterT iter) { typedef typename std::iterator_traits<IterT>::value_type value_type; value_type temp(*iter); ... }