SGI STLの実装では、ベクトルのpush_back関数はデフォルトパラメータを使用しません

Question

最近、私はSGI STLソースを読み、fallowed質問に答えます。は、デフォルトパラメータではなくベクトルの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()); 
} 

しかし、デフォルトパラメータをfallowとして使用しない理由はわかりません。

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関数もfallowedという関数をオーバーロードしています。 * __ 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を使用するようになるだろう、既定のコンストラクタを持っていない場合、デフォルトのパラメータを持つバージョンでは動作しません。テンプレートに置換エラーが発生します。 2つの関数を使用すると、置換の失敗を関数の1つに分離することができます。