В реализации SGI STL функция push_back вектора не использует параметр по умолчанию

Недавно я прочитал источник SGI STL и встретил неверный вопрос. Почему sgi stl использовать перегруженную функцию для push_back вектора вместо параметра по умолчанию.Это источник SGI STL о push_back.

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;
}
}

0

Решение

Версия с параметром по умолчанию не будет работать, если тип не имеет конструктора по умолчанию, что делает невозможным использование push_back с такими типами. Шаблон будет иметь ошибку замещения. Использование двух функций позволяет изолировать ошибку замены одной из функций.

1

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]