1 traits 概念引入
迭代器所致对象的类型 : value_type
-
Promble : temeplate参数推导机制可以推导出函数参数,但是不能推导出函数返回值
-
使用声明内嵌的方法解决
template<class T> struct MyIter { typedef T value_type;//传进来T是value_type,用T*表示迭代器 T* ptr; MyIter(T* p = 0) : ptr(p){} T& operator*() const { return *ptr; } }; template<class I>// I == Myiter<int> typename I::value_type func(I iter)//类中的value_type类型 { return *iter; } MyIter<int> iter(new int (8));//调用Myiter(T* p) cout << func(iter);
-
Problem: 但是不是每一个迭代器都是class类型,原生指针就不行了(int *),但是STL应该可以接受原生指针做迭代器
-
使用template偏特化(partial specialization) 见template.md
template<class T> struct MyIter { typedef T value_type;//传进来T是value_type,用T*表示迭代器 T* ptr; MyIter(T* p = 0) : ptr(p){} T& ope