计算机等级考试二级C++复习指导：深入new

　　因上述函数全都是inline的，所以多层的函数调用并不会对性能造成影响，最终编译 的结果根据具体的类型就只是一个for循环或者什么都没有。这里的关键在于__type_traits这个模板类上，它根据不同的T类 型定义出不同的has_trivial_destructor的结果，如果T是简单类型，就定义为__true_type类型，否则就定义为 __false_type类型。其中__true_type、__false_type只不过是两个没有任何内容的类，对程序的执行结果没有什么意义，但 在编译器看来它对模板如何特化就具有非常重要的指导意义了，正如上面代码所示的那样。__type_traits也是特化了的一系列模 板类：

　　struct __true_type {};

　　struct __false_type {};

　　template

　　struct __type_traits

　　{

　　public:

　　typedef __false _type has_trivial_destructor;

　　……

　　};

　　template<> //模板特化

　　struct __type_traits //int的特化版本

　　{

　　public:

　　typedef __true_type has_trivial_destructor;

　　……

　　};

　　…… //其他简单类型的特化版本

　　如果要把一个自定义的类型MyClass也定义为不调用析构函数，只需要相应的定义__type_traits的一个特化版本即可：

　　template<>

　　struct __type_traits

　　{

　　public:

　　typedef __true_type has_trivial_destructor;

　　……

　　};