std:: copy, std:: copy_if
|
Definiert in Header
<algorithm>
|
||
|
template
<
class
InputIt,
class
OutputIt
>
OutputIt copy
(
InputIt first, InputIt last,
|
(1) | (constexpr seit C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
|
(2) | (seit C++17) |
|
template
<
class
InputIt,
class
OutputIt,
class
UnaryPred
>
OutputIt copy_if
(
InputIt first, InputIt last,
|
(3) |
(seit C++11)
(constexpr seit C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
UnaryPred
>
|
(4) | (seit C++17) |
Kopiert die Elemente im Bereich, definiert durch
[
first
,
last
)
, in einen anderen Bereich beginnend bei
d_first
(Zielbereich für die Kopie).
[
first
,
last
)
beginnend bei
first
und fortfahrend bis
last
.
[
first
,
last
)
liegt, ist das Verhalten undefiniert. In diesem Fall kann stattdessen
std::copy_backward
verwendet werden.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> ist true . |
(bis C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> ist true . |
(seit C++20) |
[
first
,
last
)
und der Zielbereich überlappen, ist das Verhalten undefiniert.
[
first
,
last
)
und der Zielbereich überlappen, ist das Verhalten undefiniert.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> ist true . |
(bis C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> ist true . |
(seit C++20) |
Inhaltsverzeichnis |
Parameter
| first, last | - | das Iteratorpaar, das den Quell- Bereich der zu kopierenden Elemente definiert |
| d_first | - | der Anfang des Zielbereichs |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| pred | - |
unäres Prädikat, das
true
für die erforderlichen Elemente zurückgibt.
Der Ausdruck
pred
(
v
)
muss für jedes Argument
|
| Typanforderungen | ||
-
InputIt
muss die Anforderungen von
LegacyInputIterator
erfüllen.
|
||
-
OutputIt
muss die Anforderungen von
LegacyOutputIterator
erfüllen.
|
||
-
ForwardIt1, ForwardIt2
muss die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
-
UnaryPred
muss die Anforderungen von
Predicate
erfüllen.
|
||
Rückgabewert
Ausgabeiterator auf das Element im Zielbereich, eines hinter dem zuletzt kopierten Element.
Komplexität
Gegeben N als std:: distance ( first, last ) :
Für die Überladungen mit einer
ExecutionPolicy
kann es Leistungseinbußen geben, wenn der Werttyp von
ForwardIt1
nicht
MoveConstructible
ist.
Ausnahmen
Die Überladungen mit einem Template-Parameter namens
ExecutionPolicy
melden Fehler wie folgt:
-
Wenn die Ausführung einer als Teil des Algorithmus aufgerufenen Funktion eine Exception wirft und
ExecutionPolicyeiner der Standard-Policies ist, wird std::terminate aufgerufen. Für jede andereExecutionPolicyist das Verhalten implementierungsdefiniert. - Wenn der Algorithmus keinen Speicher allozieren kann, wird std::bad_alloc geworfen.
Mögliche Implementierung
| copy (1) |
|---|
template<class InputIt, class OutputIt> OutputIt copy(InputIt first, InputIt last, OutputIt d_first) { for (; first != last; (void)++first, (void)++d_first) *d_first = *first; return d_first; } |
| copy_if (3) |
template<class InputIt, class OutputIt, class UnaryPred> OutputIt copy_if(InputIt first, InputIt last, OutputIt d_first, UnaryPred pred) { for (; first != last; ++first) if (pred(*first)) { *d_first = *first; ++d_first; } return d_first; } |
Hinweise
In der Praxis vermeiden Implementierungen von
std::copy
mehrfache Zuweisungen und verwenden Massenkopierfunktionen wie
std::memmove
, wenn der Werttyp
TriviallyCopyable
ist und die Iteratortypen
LegacyContiguousIterator
erfüllen.
Beim Kopieren überlappender Bereiche ist
std::copy
geeignet, wenn nach links kopiert wird (der Anfang des Zielbereichs liegt außerhalb des Quellbereichs), während
std::copy_backward
geeignet ist, wenn nach rechts kopiert wird (das Ende des Zielbereichs liegt außerhalb des Quellbereichs).
Beispiel
Der folgende Code verwendet
std::copy
sowohl zum Kopieren der Inhalte eines
std::vector
in einen anderen als auch zum Anzeigen des resultierenden
std::vector
.
#include <algorithm> #include <iostream> #include <iterator> #include <numeric> #include <vector> int main() { std::vector<int> from_vector(10); std::iota(from_vector.begin(), from_vector.end(), 0); std::vector<int> to_vector; std::copy(from_vector.begin(), from_vector.end(), std::back_inserter(to_vector)); // or, alternatively, // std::vector<int> to_vector(from_vector.size()); // std::copy(from_vector.begin(), from_vector.end(), to_vector.begin()); // either way is equivalent to // std::vector<int> to_vector = from_vector; std::cout << "to_vector contains: "; std::copy(to_vector.begin(), to_vector.end(), std::ostream_iterator<int>(std::cout, " ")); std::cout << '\n'; std::cout << "odd numbers in to_vector are: "; std::copy_if(to_vector.begin(), to_vector.end(), std::ostream_iterator<int>(std::cout, " "), [](int x) { return x % 2 != 0; }); std::cout << '\n'; std::cout << "to_vector contains these multiples of 3: "; to_vector.clear(); std::copy_if(from_vector.begin(), from_vector.end(), std::back_inserter(to_vector), [](int x) { return x % 3 == 0; }); for (const int x : to_vector) std::cout << x << ' '; std::cout << '\n'; }
Mögliche Ausgabe:
to_vector contains: 0 1 2 3 4 5 6 7 8 9 odd numbers in to_vector are: 1 3 5 7 9 to_vector contains these multiples of 3: 0 3 6 9
Fehlerberichte
Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | Angewendet auf | Verhalten wie veröffentlicht | Korrektes Verhalten |
|---|---|---|---|
| LWG 2039 | C++11 |
der Rückgabewert von
std::copy_if
war nicht spezifiziert
|
spezifiziert |
| LWG 2044 | C++11 |
die Stabilität von
std::copy_if
war nicht definiert
|
definiert |
Siehe auch
|
kopiert eine Reihe von Elementen in umgekehrter Reihenfolge
(Funktions-Template) |
|
|
erstellt eine Kopie eines Bereichs, der umgekehrt ist
(Funktions-Template) |
|
|
(C++11)
|
kopiert eine Anzahl von Elementen an einen neuen Speicherort
(Funktions-Template) |
|
weist jedem Element in einem Bereich den gegebenen Wert zu
(Funktions-Template) |
|
|
kopiert eine Reihe von Elementen unter Auslassung derjenigen, die bestimmte Kriterien erfüllen
(Funktions-Template) |
|
|
(C++20)
(C++20)
|
kopiert eine Reihe von Elementen an einen neuen Speicherort
(Algorithmus-Funktionsobjekt) |