[原創文章歡迎轉載，但請保留作者信息]
Justin 于 2010－05-11
看到題目我笑了，原來traits也被大師歸為55式不外傳神功之一。看來當初花的時間還是值得的啊@#￥%
貌似談到traits都要扯上STL、Boost，大師這回也未能免俗。開課就先介紹5種迭代器，input_iterator, output_iterator, forward_interator, bidirectional_iterator 和random_access_iterator。不過我不想再走老路了，還是自己杜撰些東東來比較好玩。
大師說：traits首先應該是個結構體(struct)，然后是個被當作類來用的結構體，因為用了公有繼承來表示以上5種迭代器的關系(@#$%)
Traits 也叫“Baggage Class”(Nathan C. Myers, C++ Report, June 1995)。在我看來，traits可以理解為類型信息榨取機，制造它的過程大致分以下幾步，這里來個簡單的例子，我們以不同食物的好吃/不好吃作為食物的類型：
1、既然和類型信息有關，首先需要知道所有可能的類型（如果是void，int之類的已經類型，就可以忽略此步驟），我們的食物有一下兩種類型：
struct?yummy?{};
struct?yucky?{};
2、用一個模板化的traits結構體來構造用于榨取類型信息的“吸管”：
template?<typename?T>
struct?food_traits
{
????typedef?typename?T::Taste?taste;
};
上面的“吸管”用來得到某種食物的好吃/不好吃屬性。“吸管”能工作的前提是：某食物類一定要有這一屬性，要么好吃(yummy)要么不好吃(yucky)。
3、然后根據不同的食物制定不同的模板函數的重載：
template?<typename?T>
string?doTry?()
{
????return?"well,?i?don't?know?what?this?is?but?i?will?till?take?a?try..";
}
template?<typename?T>
string?doTry(T&,?yummy)
{
????return?"of?course?i?like?this!";
}
template?<typename?T>
string?doTry?(T&,?yucky)
{
????return?"no,keep?it?away?from?me..";
}
4、當然，每個“食物”在制作的過程中也要加入好吃/不好吃的元素：
class?Cheeseburg
{
????public:
????????typedef?yummy?Taste;
????//..
};
class?Wasabi
{
????public:
????????typedef?yucky?Taste;
????//..
};
5、最后……當然就是品嘗食物咯～～
int?main()
{
????Cheeseburg?C;
????Wasabi?W;
????cout?<<?"Cheeseburg??:"?<<?doTry(C,?food_traits<Cheeseburg>::taste())?<<?endl;
????cout?<<?"Wasabi??????????:"?<<?doTry(W,?food_traits<Wasabi>::taste())?<<?endl;
????return?0;
}
這個例子比較STL或是其他的真實例程來說比較簡單明了，而且有我愛吃的芝士堡，希望你也喜歡:)
不過在大師的課堂里，其實還有一步。為了使調用第3步中的重載模板函數更簡單，隱藏不必要的細節，我們可以再加上一層wrapper函數：
template?<typename?T>
string?Try(T&?food)
{
????return?doTry(food,?typename?food_traits<T>::taste());
}
然后上面的調用就簡化為：
//..
cout?<<?"Cheeseburg??:"?<<?Try(W)?<<?endl;
cout?<<?"Wasabi??????????:"?<<?Try(C)?<<?endl;
//..