traits意思为特性，特点
在C++中用于提取类型信息
#include<type_traits>
type_traits库中有std::is_same可以判断两个类型是否相同
先看一下使用模板提取类型信息，就是多做一层封装
在使用模板的过程中
假设函数中有必要声明一个变量，要和迭代器所指向的对象类型相同
template <class I, class T>
void func_impl(I iter, T t) {
T tmp; // T就是得到的类型信息
}
template <class I>
inline void func(I iter) {
func_impl(iter, *iter); // 传入iter和iter所指的值，class自动推导
}
int main() {
int i;
func(&i);
}
func_impl就得到了迭代器的类型T，因为func中降迭代器iter所指的值传给了func_impl
但这种方式无法推导函数的返回值类型，有时我们在写代码时，函数前面的返回类型要确定为某个类
对于返回值如何推导？看看模板偏特化的神通
一个解决方法是，在定义类时，内嵌类型声明
template <class T>
struct ABC{
typedef T value_type; // 内嵌类型声明
// ...
};
但原生指针不是类别，无法内嵌类型信息，所以要对原生指针类做一个模板特化
由模板的偏特化，不同类型匹配不同的模板实现
如下代码所示，指针类型的变量会匹配指针偏特化的模板
利用这一点，对关心的几种类型做偏特化，就可以将某个类型的对象匹配到对应的模板实现上
而类型信息在这种情况下就是已知的了
//自定义的类内部需要内嵌value_type变量
template <class T>
struct iterator_traits {
typedef typename T::value_type value_type;
};
//模板偏特化，指针类型
template <class T>
struct iterator_traits<T*> {
//指针类型匹配在此，value_type就正确对应到指针的类型T了，而不是T*
typedef T value_type;
};
template <class T>
typename iterator_traits<T>::value_type func(T it) {
return *it;
}
在func(T it)传入实参时，该函数的返回值是iterator_traits<T>::value_type
T为实际类型，会和模板类iterator_traits进行匹配（模板实例化，但没有创建iterator_traits结构体变量），value_type会获得正确的类型
从而返回值的类型也推导出来了
普通的类中需要定义好value_type，指针类别无需
参考了这篇文章，写得不戳 https://www.cnblogs.com/mangoyuan/p/6446046.html