在SGI STL的实现中，push_back vector函数不使用默认参数

Question

最近，我阅读了 SGI STL 源代码并遇到了一个休闲的 question.Why sgi stl 在 vector push_back 上使用重载函数而不是默认参数 。这是关于 push_back.

的 SGI STL 源

void push_back(const _Tp& __x) {
if (_M_finish != _M_end_of_storage) {
    construct(_M_finish, __x);
    ++_M_finish;
}
else
    _M_insert_aux(end(), __x);
}
void push_back() {
    if (_M_finish != _M_end_of_storage) {
        construct(_M_finish);
        ++_M_finish;
    }
    else
        _M_insert_aux(end());
}

但是我不知道为什么不使用默认参数作为休闲。

void push_back(const _Tp& __x = _Tp()) {
if (_M_finish != _M_end_of_storage) {
  construct(_M_finish, __x);
  ++_M_finish;
}
else
  _M_insert_aux(end(), __x);
}

例外，_M_insert_aux 函数也有重载函数作为休闲。 *__position = _Tp() 使用默认构造函数。我不知道为什么不使用默认参数。

template <class _Tp, class _Alloc>
void
vector<_Tp, _Alloc>::_M_insert_aux(iterator __position)
{
  if (_M_finish != _M_end_of_storage) {
    construct(_M_finish, *(_M_finish - 1));
    ++_M_finish;
    copy_backward(__position, _M_finish - 2, _M_finish - 1);
    *__position = _Tp();
  }
  else {
    const size_type __old_size = size();
    const size_type __len = __old_size != 0 ? 2 * __old_size : 1;
    iterator __new_start = _M_allocate(__len);
    iterator __new_finish = __new_start;
    __STL_TRY {
      __new_finish = uninitialized_copy(_M_start, __position, __new_start);
      construct(__new_finish);
      ++__new_finish;
      __new_finish = uninitialized_copy(__position, _M_finish, __new_finish);
    }
    __STL_UNWIND((destroy(__new_start,__new_finish),
                  _M_deallocate(__new_start,__len)));
    destroy(begin(), end());
    _M_deallocate(_M_start, _M_end_of_storage - _M_start);
    _M_start = __new_start;
    _M_finish = __new_finish;
    _M_end_of_storage = __new_start + __len;
  }
}

Answer 1

如果类型没有默认构造函数，则带有默认参数的版本将无法工作，这将导致无法对此类类型使用 push_back。该模板将出现替换失败。使用两个函数可以将替换失败隔离到其中一个函数。

在SGI STL的实现中，push_back vector函数不使用默认参数

In the implement of SGI STL, push_back function of vector not use default parameter

c++

stl

sgi