Effective C++(了解typename的双重意义)

---

author:

• luixiao1223
  title: 了解typename的双重意义

---

template 声明式中

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

这两种声明式没有任何的区别。

typename的用处

template<typename C>
void print2nd(const C& constainer)
{
    if (constainer.size() >= 2){
        C::const_iterator iter(constainer.begin()); // 无法通过编译
    }
}

Why :
C++有在解析类型的时候有一个规则，如果在template中遇到一个嵌套从属名称，编译器会假设这个名称不是类型。除非你明确的告诉它。

template<typename C>                              // 允许使用typename或class
void f(const C& container,                    //不允许使用typename
       typename C::iterator iter);    //一定要使用typename

例外

typename 不能出现在两个地方

1. base class list
2. member initialization list

因为这两个地方式编译器式可以进行合理推断的。

如果太长可以用typedef

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

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