type traits

在經過一年之後!?!? 今日再翻 "STL源碼剖析" (應該七八次了)，終於對type traits有所感覺，於是寫了測試碼如下。

template<class T> class Node;
template<class T> class LinkList;
template<class T> class iterator_traits;

template<class T>
class Node{
    friend class LinkList<T>;
    typedef T value_type;
};

template<class T>
class LinkList{
    typedef typename Node<T>::value_type value_type;
};

template<class I>
class iterator_traits{
    typedef typename I::value_type value_type;
};

簡而言之，type traits 就是一種type 截取機XD，一個type 可能經過class template的層層包裝，導致我們原本所想要處理的type得知變成隱性，這時候就需要type traits來追蹤出原本的type，相當有趣，當然，在STL中，並不是所有的iterator都是class type，而原生指標(ex: int*) ，可以用template partial specialization 來解決

(ref: STL源碼剖析 chapter 3.4 p.85~p.92)

---
一年前覺得不怎麼有趣XD