STL源码剖析之traits技巧（下）

{

Return ite; //操作会被重载

}

利用traits技法，可以在iterator上封装多一个iterator_trait，将类型信息作为其数据成员，这样一来就可以方便的获取一个模板迭代器的实际类型了

我们可以通过一个模板的形式，并利用traits萃取出迭代器的种类，利用这个迭代器相应型别作为advance的第三个参数。

首先定义5个类型

Struct input_iterator_tag{};

Struct output_iterator_tag{};

Struct forward_iterator_tag : public input_iterator_tag{};

Struct bidirectional_iterator_tag: public forward_iterator_tag{};

Struct random_access_iterator_tag : public bidirectional_iterator_tag{};

接下来就可以为advanced函数定义重载函数，每个函数都有一个相应上面类型的参数。

Template

Inline void advance(input_iterator &I, distance n, input_iterator_tag)

{

While (n--) ++i;

}

Template

Inline void advance(RandomAccessIterator& I, distance n,random_access_iterator_tag){};

上面是两个重载的函数，和以前不同的是加入了tag类型

接下来就是一个接口来在编译期判定执行那个函数

Template

Inline void advance(InputIterator& I, distance n)

{

Advance(I, n, iterator_traits::iterator_category() );

精华就在这里，通过traits的技法，将InputIterator的实际相关信息萃取出来，作为参数处理，这样可以很好的利用上重载的好处。而且 traits还支持偏特化性质。

}

24如果模板中有一个模板参数是基类，然后没有一个模板参数是子类的重载，那么使用子类传入时，会调用基类的模板

Template

Inline iterator_traits::difference_type __distance(InputIterator first, InputIterator last, input_iterator_tag){}

Template

Inline iterator_traits::difference_type __distance(RandomAI first, RandomAI last, random_access_iterator_tag){}

Template

Inline iterator_traits::difference_type distance(InputIterator first, InputIterator last)

{

Typedef typename iterator_traits::iterator_category;

Return __distance(first, last, category() );

}

这个distance可以接收任何类型的迭代器，这里的inpputIterator是按照STL算法的命名规则，按所能接受的最初级别来命名。而如果这些迭代器有继承关系，那么在使用Out，For，Bid这3个迭代器的话会默认调用input那个类型的迭代器，这和一开始的【如果模板中有一个模板参数是基类，然后没有一个模板参数是子类的重载，那么使用子类传入时，会调用基类的模板】的说法一致

关于能提供traits的迭代器，STL提供了一个基类，让我们实现自己的迭代器。

25【24】

迭代器 需要设计适当的 associated type

容器 需要 设计适当的 迭代器

（因为只有容器才能知道如果利用迭代器来遍历自己，并执行迭代器所应该有的各种行为-如前进等）

算法 可以独立于 容器 和 迭代器 ，以迭代器为对外接口就可以

Traits技巧！ 利用“内嵌类型和template参数推导(Typedef typename I::value_type value_type;)”使得C++可以执行编译期类型识别（因为C++本身不是一门强类型的语言），这是一项很强大的技术

。

26STL仅仅使用traits对迭代器加以规范，制定出iterator_traits(STL)，而SGI则拓展了它，实现了__type_traits 用来萃取类型（type）(SGI)的特性，如果我们可以获得某个类型的特性，例如 是有由non-trivial default constructor等等，那么我们就可以在构造，析构等操作时，选择最有效率的措施，而采用直接操作提供效率。

struct __true_type{};

struct __false_type{};

template

struct __type_traits

{

typedef typename T::has_trivial_default_constructor;

};

template

struct Iterator

{

typedef __true_type has_trivial_default_constructor;

};

template

typename __type_traits::has_trivial_default_constructor hasTrivialDefaultConstructor()

{}
原文链接: https://www.cnblogs.com/aga-j/archive/2011/06/05/2073041.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍