C++traits——STL源码剖析

有时候我们希望知道迭代器所指的元素类型。

以迭代器所指声明对象：

template<typename Iterator, typename T>  
void func_impl(Iterator iter, T t)  
{  
    T temp;//这里就解决了问题  
    //这里做原本func()的工作  
}  
  
template<typename Iterator>  
void func(Iterator iter)  
{  
    func_impl(iter, *iter);//func的工作全部都移到func_impl里面了  
}  

可以通过func_impl的参数类型推导

---

但是推导机制只适用于参数，无法推导返回类型

声明内嵌型

template<typename T>  
class Iterator  
{  
public:  
    typedef T value_type;//内嵌类型声明  
    Iterator(T *p = 0) : m_ptr(p) {}  
    T& operator*() const { return *m_ptr;}  
    //...  
  
private:  
    T *m_ptr;  
};  

---

特例化实现

如果T不是一个迭代器对象,而是一个原生指针，那么内置类型不适合
可以考虑指针特例化实现

template<typename T>  
class C<T*>   
{  
    //...   
};  

---

traits萃取机

tempalte<typename I>  
struct iterator_traits  
{  
    typedef typename I::iterator_category iterator_category;  
    typedef typename I::value_type value_type;  
    typedef typeanme I:difference_type difference_type;  
    typedef typename I::pointer pointer;  
    typedef typename I::reference reference;  
};  

//通过iterator_traits作用后的版本  
template<typename Iterator>  
typename iterator_traits<Iterator>::value_type  //这行是返回类型  
func(Iterator iter)  
{   
    return *iter;  
}