《STL源码剖析》学习之traits编程

       侯捷老师在《STL源码剖析》中说到：了解traits编程技术，就像获得“芝麻开门”的口诀一样，从此得以一窥STL源码的奥秘。如此一说，其重要性就不言而喻了。
       之前已经介绍过迭代器，知道了不同的数据结构都有自己专属的迭代器，不同的迭代器也有不同的特性，由于算法的接口是统一的，通过迭代器的不同属性，算法自动选择正确的执行流程，在完全任务的同时，也尽可能提高算法的执行效率。那算法如何获知迭代器的属性呢？这一光荣的任务就是traits完成的。在STL实现中，traits编程技术得到大量的运用，它利用了“内嵌类型”的编程技巧与C++的template参数推导功能，弥补了C++类型识别方面的不足。通过traits，算法可以原汁原味的将迭代器的属性萃取出来，帮助算法正确高效的运行。

一、为什么需要traits编程技术

       前面说了很多关于traits的光荣事迹，但是却一直没有介绍traits究竟是个什么东西，究竟是用来干什么的？traits在英文解释中就是特性，下面将会引入traits技术的作用，一步一步地揭开其神秘的面纱。

1.1 内嵌类型声明

1.1.1 以迭代器所指对象的类型声明局部变量

       下面是一个以迭代器为模板形参的函数模板：

template<typename Iterator>
void func(Iterator iter)
{
    //函数体
}

       假如现在算法中需要声明一个变量，而变量的类型是迭代器所指对象的类型，应该怎么处理呢？

template<typename Iterator>
void func(Iterator iter)
{
    *Iterator var;//这样定义变量可以吗？
}

       上面的代码是不可以通过编译的，虽然C++支持sizeof()，但是并不支持typeof()，就算是用到RTTI性质中的typeid()，获取到的也仅仅是类型的名字，因此不能直接用来声明变量。此时可以利用函数模板的参数类型推导机制解决问题，例如：

template<typename Iterator, typename T>
void func_impl(Iterator iter, T t)
{
    T temp;//这里就解决了问题
    //这里做原本func()的工作
}

template<typename Iterator>
void func(Iterator iter)
{
    func_impl(iter, *iter);//func的工作全部都移到func_impl里面了
}

int main(int argc, const char *argv[])
{
    int i;
    func(&i);
}

       函数func作为对外接口，实际的操作却由函数func_impl执行，通过函数func_impl的参数类型推导，获取到Iterator指向对象的类型T，从而解决了问题。

1.1.2 以迭代器所指对象的类型声明返回类型