为什么矢量模板函数赋值有两个版本来区分

Question

我正在阅读SGI STL的源代码.当我读取assign实现的源代码时,我发现有两个版本,一个用于输入迭代,另一个用于转发迭代器.我知道输入迭代器支持read和++,转发迭代器支持读写和++,为什么它有两个版本用于输入和转发迭代器？

template <class _Tp, class _Alloc> template <class _InputIter>
void vector<_Tp, _Alloc>::_M_assign_aux(_InputIter __first, _InputIter __last,
                                    input_iterator_tag) {
  iterator __cur = begin();
  for ( ; __first != __last && __cur != end(); ++__cur, ++__first)
    *__cur = *__first;
  if (__first == __last)
    erase(__cur, end());
  else
    insert(end(), __first, __last);
}

template <class _Tp, class _Alloc> template <class _ForwardIter>
void
vector<_Tp, _Alloc>::_M_assign_aux(_ForwardIter __first, _ForwardIter __last,
                               forward_iterator_tag) {
  size_type __len = 0;
  distance(__first, __last, __len);

  if (__len > capacity()) {
    iterator __tmp = _M_allocate_and_copy(__len, __first, __last);
    destroy(_M_start, _M_finish);
    _M_deallocate(_M_start, _M_end_of_storage - _M_start);
    _M_start = __tmp;
    _M_end_of_storage = _M_finish = _M_start + __len;
  }
  else if (size() >= __len) {
    iterator __new_finish = copy(__first, __last, _M_start);
    destroy(__new_finish, _M_finish);
    _M_finish = __new_finish;
  }
  else {
    _ForwardIter __mid = __first;
    advance(__mid, size());
    copy(__first, __mid, _M_start);
    _M_finish = uninitialized_copy(__mid, __last, _M_finish);
  }
}

Answer 1

我知道输入迭代器支持read和++,转发迭代器支持读写和++

不完全的.这里的关键点是前向迭代器是多遍的.您只能迭代(非正向)输入迭代器一次,而您可以多次迭代前向迭代器.

这意味着使用正向迭代器,可以使用distance()预先获得新范围内的元素数量,如果需要,分配必要的内存量,然后再次遍历该范围并复制元素.这可以保证您最多重新分配一次.

使用输入迭代器,您无法执行此操作,因为distance()调用将在范围内迭代,并且您无法再次迭代它以实际读取元素.