Dlaczego basic_string :: append (iter, iter) wywołanie std :: copy?

Question

Właśnie zorientowałem się, że w Visual Studio C++ 2010, basic_string::append (iter, iter), oczywiście, nie jest implementowane przez użycie std::copy.

Pierwsze pytanie:

Załóżmy teraz zaimplementować własny typ iteracyjnej, wraz ze zoptymalizowanym przeciążenia std::copy dla mojego typu iteracyjnej w celu zapewnienia bardziej efektywnego kopiowanie blokowej. Czy istnieje sposób, aby uzyskać basic_string::append, aby skorzystać z tej optymalizacji, oprócz przeciążania append również?

Czy jest jakaś szansa, że ​​basic_string::append (iter, iter) nie kopiuje znaków?

Drugie pytanie (jako punkt wyjścia dla własnej implementacji):

jest następująca gwarancją ważna?

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

czy powinienem lepiej użyć back_inserter? Jeśli używam numeru back_inserter - w jaki sposób mogę uniknąć kopiowania według znaków?

Answer 1

Definicja std::basic_string<cT, ...>::append() utrzymuje delegowania kilka czasu, zanim w końcu dochodzi do przeciążenia (21.4.6.2 [ciąg :: dopisywania] pkt 7):

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

W tym momencie najwyraźniej nie ma już oryginalnych iteratorów. W przypadku, gdy zastanawiasz się, co dzieje się z iterator wejściowy może być przekazany do append(), GOT usuwane przez przeciążenie w pkt 17 tego samego paragrafu, który stwierdza:

Efekty: Odpowiednik append(basic_string(first, last)).

w pewnym stanie pośrednim. Jeśli biblioteka standardowa jest zaimplementowana tak, jak jest dosłownie określona przez standard, nie ma wyraźnie połączenia z std::copy().

Mimo to, tak naprawdę nie można zobaczyć swojej przeładowanej wersji std::copy(). Co może zrobić biblioteka jest moralnym odpowiednikiem

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

Teraz jest nieco inny interesujący: Nawet jeśli tak to realizowane, to nie naprawdę pomóc w odniesieniu do std::copy()! Nie możesz częściowo wyspecjalizować std::copy() (cóż, nie możesz częściowo wyspecjalizować żadnego szablonu funkcji) i typ iteratora celu nie jest zdefiniowany (w powyższej implementacji byłby to wariant sprawdzania braku zdolności std::back_inserter(), jeśli InIt jest iteratorem do przodu i w przeciwnym razie byłby on taki sam jak std::back_inserter().

Answer 2

Klasa ciągów ma własną klasę cech, która definiuje operacje, które może wykonywać na znakach, które zawiera.

Do skopiowania char s, basic_string<char> użyje std::char_traits<char>::copy (zamiast bardziej ogólnego std::copy). Prawdopodobnie mapuje się do funkcji memcpy w standardowej bibliotece C.