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;
这就相当于传递的一个常量的形式,因为这是编译器进行模板编译时进行了替换,所以合理的。