介紹traits的文章很多，但感覺大部分文章的說明都很晦澀難懂，把一個並不很複雜的C++模板的應用描述的過於複雜。忍不住想把自己的理解跟大家分享一下，或許我也只是掌握了一點traits的皮毛而已，但也希望這些皮毛能略微抓住你的眼球，帶給你一些啟發。

首先，介紹traits前，回味一下C++的模板及應用，如果你腦海裡浮現出的只是為實現一些函式或類的重用的簡單模板應用，那我要告訴你，你out了。最近在整理一些模板的應用方式，有時間的話會寫出來分享給大家，本文不會去詳細討論traits以外的模板的各種高階應用。
那麼，言歸正傳，什麼是traits？其實它並不是一個新的概念，上個世紀90年代中期就已經被提出，只是到了這個世紀才在各個C++庫中被廣泛使用，而我也是在這個概念誕生十多年後才接觸到它。

C++之父Bjarne Stroustrup對traits有如下的描述：
Think of a trait as a small object whose main purpose is to carry information used by another object or algorithm to determine "policy" or "implementation details".

我不知道官方或一些書上是如何去解釋traits的，我的理解是：
當函式，類或者一些封裝的通用演算法中的某些部分會因為資料型別不同而導致處理或邏輯不同（而我們又不希望因為資料型別的差異而修改演算法本身的封裝時），traits會是一種很好的解決方案。

本以為能很簡單的描述它，誰知道還是用瞭如此長的句子才說明清楚，相當的慚愧。大家只要有個大概的概念就ok了，甚至即使完全沒概念也沒關係，下面會通過實際程式碼來說明。

先看這樣一個例子。如果有一個模板類Test：

template <typename T>
class Test {
     ......
};

假設有這樣的需求，類Test中的某部分處理會隨著型別T的不同而會有所不同，比如希望判斷T是否為指標型別，當T為指標型別時的處理有別於非指標型別，怎麼做？
模板裡再加個引數，如下：

template <typename T, bool isPointer>
class Test {
     ......// can use isPointer to judge whether T is a pointer
};
 

然後使用者通過多傳一個模板型別來告訴Test類當前T是否為指標。(Test<int*, true>)
很抱歉，所有的正常點的使用者都會抱怨這樣的封裝，因為使用者不理解為什麼要讓他們去關心自己的模板型別是否為指標，既然是Test類本身的邏輯，為什麼麻煩使用者呢？
由於我們很難去限制使用者在使用模板類時是使用指標還是基本資料型別還是自定義型別，而用常規方法也沒有很好的方法去判斷當前的T的型別。traits怎麼做呢？
定義traits結構：

template <typename T>
struct TraitsHelper {
     static const bool isPointer = false;
};

template <typename T>
struct TraitsHelper<T *> {
     static const bool isPointer = true;
};

也許你會很困惑，結構體裡就一個靜態常量，沒有任何方法和成員變數，有什麼用呢？解釋一下，第一個結構體的功能是定義所有TraitsHelper中isPointer的預設值都是false，而第二個結構體的功能是當模板型別T為指標時，isPointer的值為true。也就是說我們可以如下來判斷當前型別：
TraitsHelper<int>::isPointer值為false， 可以得出當前型別int非指標型別
TraitsHelper<int*>::isPointer值為true， 可以得出當前型別int*為指標型別
也許看到這裡部分人會認為我簡直是在說廢話，請再自己品味下，這樣是否就可以在上面Test類的定義中直接使用TraitsHelper<T>::isPointer來判斷當前T的型別了。

if (TraitsHelper<T>::isPointer)
     ......
else
     ......

再看第二個例子：
還是一個模板類Test：

template <typename T>
class Test {
public:
     int Compute(int d);
private:
     T mData;
};

它有一個Compute方法來做一些計算，具有int型的引數並返回int型的值。
現在需求變了，需要在T為int型別時，Compute方法的引數為int，返回型別也為int，當T為float時，Compute方法的引數為float，返回型別為int，而當T為其他型別，Compute方法的引數為T，返回型別也為T，怎麼做呢？還是用traits的方式思考下。

template <typename T>
struct TraitsHelper {
     typedef T ret_type;
     typedef T par_type;
};

template <>
struct TraitsHelper<int> {
     typedef int ret_type;
     typedef int par_type;
};

template <>
struct TraitsHelper<float> {
     typedef float ret_type;
     typedef int par_type;
};

然後我們再把Test類也更新下：

template <typename T>
class Test {
public:
     TraitsHelper<T>::ret_type Compute(TraitsHelper<T>::par_type d);
private:
     T mData;
};

可見，我們把因型別不同而引起的變化隔離在了Test類以外，對使用者而言完全不需要去關心這些邏輯，他們甚至不需要知道我們是否使用了traits來解決了這個問題。
到這裡，再讓我們回過來取品味下開始我說的那句話：
當函式，類或者一些封裝的通用演算法中的某些部分會因為資料型別不同而導致處理或邏輯不同時，traits會是一種很好的解決方案。

是不是有點感覺了？如果還不明白的，麻煩你留言，我會再解釋再說明，直到你明白為止，呵呵。
最後，讓我們記住它吧，traits，一種模板的應用，非常有用的東東。