文章目录
一.traits(萃取机)
traits分为俩种:
1.iterator_traits负责萃取迭代器的性质(迭代器的特性->相应性别)。
- 迭代器相应的型别分为五种:value type,difference type,pointer,reference,iterator_catagaly。
-
value type--------------迭代器所指对象的型别。
-
difference type-------表示俩个迭代器之间的距离,因此可以表示容器的最大容量。对于连续的空间来说,头尾之间的距离就是其中的 最大容量,例如STL当中的count(),其传回值就必须使用这种迭代器。
-
reference type--------从迭代器所指之物的内容是否允许改变,所指对象内容不允许改变为 constant iterator. 例如const int * p(常量指针),允许所指对象内容改变的为mutable iterator.例如 int *p(普通指针)。
-
pointer type------------迭代器所指内容或者地址都可以。
-
iterator_catagaly-----根据移动特性将迭代器分为五种。
-
Input Iterator-------------只读,不能改变 (operator++)
-
Output Iterator-----------只写 (operator++)
-
Forward Iterator---------读写 (operator++)
-
Bidirectional Iterator----双向移动 (operator++,operator–)
-
Random Access Iterator-随机 (operator++,–,+n,-n,p1-p2,p1<p2 )
-
继承关系
- std::iterator的保证。为了符合规范,任何迭代器都应该提供五个内嵌相应型别,否则无法与其他STL组件顺利搭配。因此STL提供了一个iterator class如下,如果每个新设计 的迭代器都继承它,那么就可以保证符合STL所需规范:
template<class Category,class T,class Distance = ptrdifff_t,class Pointer = *T,class Reference = T&>
struct iterator{
typedef Category iterator_category;
typedef T value type;
typedef Distance difference_type;
typedef Pointer pointer;
typedef Reference referencec;
}
- iterator_traits总结: 它的作用就是在无法确定类型性别的时候,通过它可以来获得参数的类型型别,例如:在函数重载过程中,为了更加高效快速的确定使用哪个版本的重载,这时可以用traits来萃取出它的类型型别,来确定使用哪一个重载函数。
2.__type_traits负责萃取型别的特性。
- 型别的特性有:trivial ctor, copy ctor,assignment,dtor以及non-trivial ctor, copy ctor,assignment,dtor,如果答案是不重要的,那我们在对型别进行构造,析构,拷贝,赋值等操作时就可以采用最有效的措施(例如不需要调用constructor,destructor),而是采用内存直接处理操作如 malloc(),nencpy()等。
举个例子:uninitalized_fill_n
template <class ForwardIterator, class Size, class T>
inline ForwardIterator uninitialized_ fill_ n (ForwardIterator first,Size n, const T& х) {
return uninitialized_ fill_ n(first,n, x, value_ type(first)) ;
}
- 该函数以x为蓝本,自迭代器first 开始构造n个元素。为求取最大效率, 首先以value_ type() (3.6 节)萃取出迭代器first 的value type,再利用 type traits 判断该型别是否为POD型别:
template <class ForwardIterator, class Size, class T, class T1>
inline ForwardIterator uninitializeđ fill n (ForwardIterator first,Size n, const T&x, T1*)
{
typedef typename _ type_ traits<Tl>::is_ POD_ _type is_ POD;
return _uninitialized_ fill_ n_ aux(first, n, x, is_ _POD()) ;
}
- 如果不是POD型别,就会执行下面措施
template <class ForwardIterator, class Size, class T>
ForwardIterator
__uninitialized_ fill_ n (ForwardIterator first,Size n, const T& х,__false_type){
ForwardIterator cur = first;
for (; n> 0;--n, ++cur)
construct(&*cur, x);
return cur;
}
- 如果是POD型别,就会执行下面措施
template<class ForwardIterator, class Size, class T>
inline ForwardIterator
__uninitialized_fi11 n_ aux (ForwardIterator first, Size n,const T& X,一true_ type)
{
return fill_ n(first, n, x); //交由高阶函数执行, 如下所示
}
- 以下是定义fill_n()
OutputIterator £111 n(OutputIterator first, Size n, const T& value) {
for( ; n> 0; --n, ++first)
*first = value;
return first;
}