【STL】类型萃取（TypeTraits）

最新推荐文章于 2024-09-12 00:00:13 发布

原创

最新推荐文章于 2024-09-12 00:00:13 发布 · 3.6k 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#stl #类型萃取 #迭代器

本文探讨了在使用STL容器时如何获取迭代器的value type，介绍了通过模板特化和内嵌类型的方式，同时也指出这种方式在处理原生指针时的局限性。类型萃取作为解决方案，能够提高代码的复用性和性能，特别是在处理不同类型的迭代器时调用相应的函数。

为什么需要类型萃取

前面我们提到了迭代器，它是一个行为类似于smart pointer之类的东西，主要用于对STL容器中的对象进行访问，而且不暴露容器中的内部结构，而迭代器所指对象的型别称为该迭代器的value type;如果在实际的工程当中我们应该怎么获取STL容器中对象的value type 呢，这里面就需要用到C++中模板的特化了，我们先来看看下面的代码：

template <class T>
void Func()
{
    cout << "非内置类型" << endl;
}

template <>
void Func<int>() 
{
    cout << "内置的int类型" << endl;
}

我们可以通过特化来推导参数，如果我们自定义了多个类型，除非我们把这些自定义类型的特化版本写出来，否则我们只能判断他们是内置类型，并不能判断他们具体属于是个类型。

这时候，我们引入了内嵌型别，在类中将迭代器所指向的类型定义成value type，还定义些其他的型别，具体的见前面博客中所提到的迭代器的内嵌型别，迭代器：http://blog.youkuaiyun.com/bit_clearoff/article/details/53726462


  typedef bidirectional_iterator_tag    iterator_category;
  typedef T value_type;
  typedef Ptr pointer;
  typedef Ref reference;
  typedef __list_node<T>* link_type;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;

但是这种情况还是有缺口的，例如下面的代码：

template <class T>
struct MyIter
{
    typedef T ValueType;
    T* _ptr;
    MyIter(T* p = 0)
        :_ptr(p)
    {}

    T& operator*()
    {
        return *_ptr;
    }
};

template<class Iterator>
typename Iterator::ValueType
Func(Iterator it)
{
    return *it;
}