因上述函數全都是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;

　　……

　　};