STL源码分析之__type_traits型别

前言

上一篇探讨的是traits是为了将迭代器没能完善的原生指针, traits用特化和偏特化编程来完善. 这一篇准备探讨__type_traits, 为了将我们在空间配置器里面的提过的__true_type和false_type进行解答. 而type_traits型别对我们STL的效率又有什么影响, 有什么好处?

__type_traits介绍

前面介绍的Traits技术在STL中弥补了C++模板的不足，但是Traits技术只是用来规范迭代器，对于迭代器之外的东西没有加以规范。因此，SGI将该技术扩展到迭代器之外，称为__type_traits。iterator_traits是萃取迭代器的特性，而__type_traits是萃取型别的特性。萃取的型别如下：

• 是否具备non-trivial default ctor?
• 是否具备non-trivial copy ctor?
• 是否具备non-trivial assignment operator?
• 是否具备non-trivial dtor?
• 是否为POD（plain old data）型别？

其中non-trivial意指非默认的相应函数，编译器会为每个类构造以上四种默认的函数，如果没有定义自己的，就会用编译器默认函数，如果使用默认的函数，我们可以使用memcpy(),memmove(),malloc()等函数来加快速度，提高效率.

且__iterator_traits允许针对不同的型别属性在编译期间决定执行哪个重载函数而不是在运行时才处理, 这大大提升了运行效率. 这就需要STL提前做好选择的准备. 是否为POD, non-trivial型别用__true_type和__false_type 来区分.

空间配置器的例子

关于__false_type也在空间配置器提过. 现在再来看一看.

// 接受两个迭代器, 以__type_trais<> 判断是否有traival destructor 
template <class ForwardIterator, class T>
inline void __destroy(ForwardIterator first, ForwardIterator last, T*) 
{
   
  typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
  __destroy_aux(first, last, trivial_destructor());
}
/