C++ typename与非类型类模板参数

typename 的特殊用法

C++ STL源码中有如下用法：

template<class T>
void foo() {
    typedef typename T::iterator iterator_type;
    // ...
}

这里 typename 主要作用是告诉编译器 “ 这是个类型，请放行通过！”，因为 **T:?*的样子可能后面接的是一个静态数据、静态函数、嵌套类型（就是一个typedef的类型）。

非类型类模板参数

C++非类型类模板参数相当于一个全局常量的角色。所谓非类型，是指这个模板参数不是传统的变量类型，以下代码摘自C++ Array的源码，注意模板参数的写法。

// 数组 T[N]
template <typename T, size_t N>
struct __array_traits
{
  typedef T Type[N];

  static constexpr T& S_ref(const Type& t, size_t n) { return const_cast<T&>(t[n]); }
  static constexpr T* S_ptr(const Type& t) { return const_cast<T*>(t); }
};

而使用时 std::array<int, 5> arr;这就相当于传递的一个常量的形式，因为这是编译器进行模板编译时进行了替换，所以合理的。

参考

1.知无涯之C++ typename的起源与用法
2.C++非类型类模板参数基本概念正确理解