Behandelt std :: copy überlappende Bereiche?

Question

Wenn Sie Daten von einem Bereich in einen anderen kopieren, müssen Sie vorsichtig sein, wenn sich der Quell- und der Zielbereich teilweise überschneiden. Wenn der Anfang des Zielbereichs mit dem Ende des Quellbereichs überlappt, werden die Daten bei einer einfachen sequenziellen Kopie unverfälscht. Die C-Laufzeitbibliothek hat memmove zusätzlich zu memcpy, um solche Überlappungsprobleme zu behandeln.

Ich gehe davon aus, std::copy funktioniert wie memcpy, in dem es keine Rücksicht auf die Überlappung zwischen den Quell-und Zielregionen zahlt. Wenn Sie versuchen, Objekte in einem std::vector mit std::copy "nach unten" zu verschieben, werden Sie die Daten beschädigen. Gibt es einen STL-Algorithmus analog zu memmove, um Situationen wie diese zu behandeln? Oder sollte ich selbst mit umgekehrten Iteratoren rollen?

Answer 1

Es behandelt nicht die Bereiche iff beginnend des Ausgangsbereichs überlappt mit dem Eingabebereich überlappt.

Glücklicherweise können Sie std::copy_backward stattdessen verwenden (was erfordert, dass Sie nicht des Ausgangsbereichs mit dem Eingangsbereich des Ende überlappen).

Answer 2

Voraussetzungen für std::copy verbietet eine Überlappung:

• Prototype

  template <class InputIterator, class OutputIterator> 
  OutputIterator copy(InputIterator first, InputIterator last, 
          OutputIterator result); 
  

• Voraussetzungen

  • [first, last) ist ein gültiger Bereich.
  • Ergebnis ist kein Iterator im Bereich [first, last).
  • Es ist genügend Platz vorhanden, um alle zu kopierenden Elemente aufzunehmen. Mehr formal ist die Anforderung, dass [result, result + (last - first)) ein gültigen Bereich ist. [1]

Answer 3

Es scheint, der direkteste Weg, um eine temporäre Vektor des Bereichs, den Sie kopieren möchten erstellen wäre:

std::vector copiedRange(srcVecIterBegin, srcVecIterEnd); 
std::copy(copiedRange.begin(), copiedRange.end(), srcVecIterCopyLocIter); 

Sie dies in einer Templat-Funktion wickeln können, die geschickt eine überlappte sein sollte zu tun mit beliebiger Container/Iterator-Typ