C++ STL : Traits

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& operator*() const
      {