C++ insert_iterator实现的学习(Boolan学习笔记第10周)

本文链接：https://blog.youkuaiyun.com/roufoo/article/details/67638104

本文详细介绍了C++ STL中的inserter函数如何通过copy和insert_iterator实现元素的插入操作。通过对inserter内部机制的剖析，揭示了其如何在不破坏原有容器结构的情况下完成元素的插入。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++的inserter可以把一些数值插入到现有容器的已存在的数值里面，举例如下:

    int myints[]={10,20,30,40,50,60,70};
    vector<int> myvec(7);
    copy(myints, myints+7, myvec.begin());

    list<int> foo, bar;
    for (int i=1; i<5; i++)
    {
        foo.push_back(i);
        bar.push_back(i*10);
    }

    list<int>::iterator it=foo.begin();
    advance(it,3);

    copy(bar.begin(), bar.end(), inserter(foo, it));

其实现效果为

这里写图片描述

看起来好像很简单，但是如果深入一下好像并不简单。首先我们来看copy()这个函数。stl里面copy的代码实现可以简化为

template<class InputIterator, class OutputIterator>
OutputIterator copy(InputIterator first, InputIterator last, OutputIterator result)
{
    while(first!=last){
      *result = *first;
      ++result;
      ++first;
    }

    return result;
}

我们可以看出，copy就是将result的内容逐一拷贝到目标地址(从first开始)而已，这是覆盖，根本就不是插入嘛。那么insert功能是怎么实现的呢？

继续深入， inserter其实就是insert_iterator的一个wrapper函数而已，其实现代码如下：

template<class Container, class Iterator>
inline insert_iterator<Container> inserter(Container &x, Iterator i)
{
   typedef typename Container::iterator iter;
   return insert_iterator<Container>(x,iter(i));
}

继续深入，看看class insert_iterator长什么样。其实现代码可以简化如下：

template<class Container>
class insert_iterator {
    protected: 
       Container* container;
       typename Container::iterator iter;
    public:
       typedef output_iterator_tag iterator_category;

    insert_iterator(Container& x, typename Container::iterator i): container(&x), iter(i) {}

    insert_iterator<Container> & operator=(const typename Container::value_type& value)
    {
       iter=container->insert(iter, value);
       ++iter;
       return *this;
    }   
};