STL——萃取机制（Traits）

#include <iostream>
using namespace std;
 
//类似迭代器模板类
template<class T>
struct MyIter {
    typedef T value_type;
    T* ptr;
    MyIter(T* p = 0) : ptr(p) {    }
    T& operator*() const { return *ptr; }
};

//萃取用的结构体iter_traits
template<class I>
struct iter_traits {
    typedef typename I::value_type value_type;
};
//对于指针的范围偏特化
template<class I>
struct iter_traits<I*> {
    typedef I value_type;
};

//利用偏特化的萃取, MyType 萃取出了int
template<class O>
void func_trait(O ite)
{
    typedef iter_traits<O::value_type>::value_type MyType;
    MyType a = **ite;
    cout << a;
}

//普通版本的萃取，MyType萃取出了int*
template<class O>
void func(O ite)
{
    typedef iter_traits<O>::value_type MyType;
    MyType a = reinterpret_cast<MyType>(**ite);
    cout << *ite << endl;
    cout << **ite << endl;
}

int main()
{
    int *a = new int(2);
    MyIter<int*> ite(&a);
    func(ite);

        func_trait(ite);
    return 0;
}