STL原始碼（2）迭代器 trait

const_iterator:不可通過迭代器改變所指的物件

一、iterator_traits:

演算法在使用iterator的時候需要知道迭代器指向物件的屬性，如果這裡的迭代器是乙個物件，則可以通過：：直接獲取，但是如果迭代器是乙個指標，不能直接獲取。因此需要traits來獲取迭代器指向物件的屬性。

二、_type_trait:

如果物件是乙個內建型別（int,double），或者物件的成員變數是內建型別，編譯器會自動呼叫析構函式，我們顯示呼叫析構函式會造成效率下降，因此對於無意義的析構函式的物件不需要呼叫析構函式。因此使用_type_trait來獲取物件的構造、析構等函式是否有意義，構造兩個物件來表示是否有意義。

struct _true_type
;//無意義的函式
struct _false_type
;//有意義的函式

對於乙個物件來說：

1）如果是內建型別或者c struct(只有成員沒有函式)，ctor、dtor、assigmnet、copy都是trivial(無意義)

2）有任何一種函式的顯示宣告，是乙個繼承類，有非靜態成員指標並且使用了動態分配，即是non-trivial

template
<
typename t>
struct type_traits
;

因為內建型別和原生指標均為_true_type，因此出現了對內建型別和原生指標的偏特化版本

struct type_traits <
char
>
;

可能先根據用iterator_trait獲取迭代器指向物件的型別，再根據type_trait獲取物件的ctor、dtor是否有意義，沒有意義的話直接在記憶體操作，否則呼叫相關的函式。可以直接獲取變數的type_trait：

1）去除cv關鍵字：

就是為const,volite設計偏特化的版本，其他的為泛化的版本

2）進行查詢：

為所有的可能實現乙個偏特化繼承自true_type{},其餘的為泛化（false_type）

STL原始碼（2） 迭代器 trait