【STL源码剖析】__type_traits技法

上篇介绍了__iterator_traits编程技法，SGI 将这种技法进一步扩大到迭代器以外，于是有了所谓的__type_traits。

iterator_traits负责萃取迭代器的特性，__type_traits则负责萃取型别的特性。

而这里我们关注的型别特性是指：这个型别是否具备non-trivial default ctor\non-trivial copy ctor\ non-trivial assignment\non-trivial dtor？根据型别我们就可以进行构造、析构、拷贝、赋值最有效率的措施，例如根本不调用那些身居高位、不谋其事的那些ctor、dtor，而采用内存直接处理操作如malloc()、memcpy()等等，获得最高效率，在大规模而操作频繁的容器有着显著的效率提升。

关于怎样是trivial（没用的）\non-trivial（有用的），可以看《深入探索C++对象模型》。

SGI STL内部有定义：

template<class type>
struct __type_traits
{
	typedef __true_type  this_dummy_member_must_be_first;
	
	typedef __false_type has_trivial_default_constructor;
	typedef __false_type has_trivial_copy_constructor;
	typedef __false_type has_trivial_assignment_operator;
	typedef __false_type has_trivial_destructor;
	typedef __false_type is_POD_type;
};
struct __false_type{};
struct __true_type{};

还有一些对内置类型的特例化版本，上面是保守的定义，设计了自己的类后，要特例化自己的版本：

class MyClass
{};

template<>
struct __type_traits<MyClass>
{
	typedef __true_type has_trivial_default_constructor;
	typedef __false_type has_trivial_copy_constructor;
	typedef __false_type has_trivial_assignment_operator;
	typedef __false_type has_trivial_destructor;
	typedef __false_type is_POD_type;
};

通过__false_type/__true_type来判别是否具备有用的构造、析构、赋值、复制函数。

那么,SGI STL是如何在算法中应用的呢？看下面，以算法函数uninitialized_fill_n为例：

template<class ForwardIterator, class Size, class T>
inline ForwardIterator uninitialized_fill_n(ForwardIterator first, Size n, const T& x)
{
    return __uninitialized_fill_n(first, n, x, value_type(first));
}

template<class ForwardIterator, class Size, class T, class T1>
inline ForwardIterator __uninitialized_fill_n(ForwardIterator first, Size n, const T& x, T1*)
{
    typedef typename __type_traits<T1>::is_POD_type is_POD;
    return __uninitialized_fill_n(first, n, x, is_POD());
}

template<class ForwardIterator, class Size, class T>
inline ForwardIterator __uninitialized_fill_n_aux(ForwardIterator first, Size n, const T& x, __false_type)
{
    for (;n > 0; --n,++cur)
        construct(&*cur, x);
    return cur;
}

template<class ForwardIterator, class Size, class T>
inline ForwardIterator __uninitialized_fill_n_aux(ForwardIterator first, Size n, const T& x, __true_type)
{
    return fill_n(first, n, x);
}

template<class OutputIterator, class Size, class T>
OutputIterator fill_n(OuputIterator first, Size n, const T& value)
{
    for (;n > 0;--n)
        *first = value;
    return first;
}

value_type是萃取元素类型的函数，也是模板实现,

construct底层高效率调用，不是使用构造函数

上面就是__type_traits了。