basic_string :: append（iter、iter）がstd :: copyを呼び出さないのはなぜですか？

Question

Visual Studio C++ 2010でbasic_string::append (iter, iter)が明らかにstd::copyを使用して実装されていないことがわかりました。

最初の質問：

は、今、私が一緒に、より効率的なブロック単位のコピーを提供するために、私のイテレータ型用std::copyの最適化されたオーバーロードして、自分のイテレータ型を実装するとします。 basic_string::appendにこのような最適化を利用する方法はありますか？appendのオーバーロードとは別に、

basic_string::append (iter, iter)が文字単位でコピーしない可能性はありますか？

（私自身の実装のための出発点として）2番目の質問：

は有効であると、次の保証されていますか？

std::string t ("JohnB"); 
std::string s; 
s.reserve (10); 
std::copy (t.begin(), t.end(), s.begin()); 
s.push_back ('\0'); 

back_inserterをよく使うべきですか？ back_inserterを使用している場合 - どのように文字のコピーを避けることができますか？

Answer 1

std::basic_string<cT, ...>::append()の定義は、それが最終的に過負荷（21.4.6.2 [文字列::追記]第7項）に到着する前に数時間を委任し続ける：この時点で

basic_string& append(const charT* s, size_type n);

元のイテレータが残っていないことは明らかです。

効果：append(basic_string(first, last))に相当するものは、あなたがappend()に渡されたかもしれない入力イテレータに何が起こるか疑問に思う場合は、述べて同項のパラグラフ17で過負荷によって除去してしまいました。

何らかの中間状態である。スタンダードライブラリが、標準で文字どおり指定されているように実装されている場合、明らかにstd::copy()への呼び出しはありません。

とにかく、あなたのオーバーロードされたバージョンはstd::copy()を実際に見ることはできません。どのようなライブラリーを行うことは今、他の興味深いビットは

template <typename InIt> 
std::basic_string<cT, ...>& std::basic_string<cT, ...>::append(InIt begin, InIt end) { 
    if (is_forward_iterator<begin>::value) { 
     this->reserve(this->size() + std::distance(begin, end)); 
    } 
    std::copy(begin, end, back_inserter_without_capacity_check<InIt>(*this); 
} 

の道徳的等価です。これは、それが実装する方法であっても、それは本当にstd::copy()に関してお手伝いをしません！ std::copy()を部分的に特化することはできません（任意の関数テンプレートを部分的に特殊化することはできません）。ターゲットイテレータのタイプは定義されていません（上記の実装では、の場合、それ以外の場合は、std::back_inserter()と同じになります。

Answer 2

文字列クラスには、それに含まれる文字に対して実行できる操作を定義する独自の特性クラスがあります。

charをコピーするには、basic_string<char>はstd::char_traits<char>::copy（より一般的なstd::copyの代わりに）を使用します。おそらく標準のCライブラリのmemcpy関数に対応しています。