C++ STL学习笔记——traits萃取器篇

为什么需要有traits萃取器

1. 给你一个迭代器对象（非类型），你需要得到它所指代的value_type（迭代器内需要统一设置typename成员）
2. 迭代器可能是一个类（class type），也可能只是原生指针。但是用户写的代码不需要对迭代器的类别进行区分。（专门把萃取操作封装一个traits类的动机）

萃取过程

1. 先制定一个约定，所有的迭代器类需要在类内定义一些元数据类型（value_type, difference_type, pointer, reference, iterator_category)
2. 定义一个范型萃取类

// 标准萃取类
template <class I>
struct iterator_traits {
   typedef typename I::iterator_category iterator_category;
   typedef typename I::value_type value_type;
...
};
//当I为原生指针时的偏特化版，相当于模版重载，也是专门封一个traits的意义之所在
template <class I>
struct iterator_traits <I*>{
   typedef T value_type;
};

3. 萃取!

//这个函数无论I是class type还是原生指针类型都能用
template <class I>
typename iterator_traits<I>::value_type
func(I ite)
{
	return *ite;
}