STL源码分析之__type_traits

之前我们对iterator_traits有了一些了解，现在我们要了解__type_traits。

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

 

对于型别的特性，我们关注的点可能在于对该型别是否需要复杂处理。如果答案是否定的，我们在对这些型别进行构造、析构、拷贝赋值等操作时，就可以采取最有效率的措施，比如不使用析构函数，直接free等。

 

__type_traits提供了一种机制，允许针对不同的型别属性，在编译时期完成函数派送决定。这对于撰写template很有帮助。例如当我们对一个型别未知的数组进行copy时，如果我们事先知道该元素型别的构造函数是否是不重要的，我们可能可以使用memcpy或是memmove等函数快速处理

 

根据之前对于iterator_traits的学习，我们想必是希望与其有相同的形式可以使用：

__type_traits<T>::has_trivial_default_constructor;
__type_traits<T>::has_trivial_copy_constructor;
__type_traits<T>::has_trivial_assignment_operator;
__type_traits<T>::has_trivial_destructor;
__type_traits<T>::is_POD_type;

且我们希望他