std::remove_copy, std::remove_copy_if
| Definiert in Header <algorithm>
|
||
template< class InputIt, class OutputIt, class T >
OutputIt remove_copy( InputIt first, InputIt last,
OutputIt d_first, const T& value );
|
(1) | (bis C++26) |
template< class InputIt, class OutputIt,
class T = typename std::iterator_traits
<InputIt>::value_type >
constexpr OutputIt remove_copy( InputIt first, InputIt last,
OutputIt d_first, const T& value );
|
(seit C++26) | |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
|
(2) | (seit C++17) (bis C++26) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2,
class T = typename std::iterator_traits
<ForwardIt1>::value_type >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
|
(seit C++26) | |
template< class InputIt, class OutputIt, class UnaryPred >
OutputIt remove_copy_if( InputIt first, InputIt last,
OutputIt d_first, UnaryPred p );
|
(3) | (constexpr seit C++20) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class UnaryPred >
ForwardIt2 remove_copy_if( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, UnaryPred p );
|
(4) | (seit C++17) |
Kopiert Elemente aus dem Bereich [first, last), in einen anderen Bereich, der bei d_first beginnt, wobei die Elemente weggelassen werden, die bestimmte Kriterien erfüllen.
value sind (unter Verwendung von operator==).p true zurückgibt.policy ausgeführt.true ist:
|
|
(bis C++20) |
|
|
(seit C++20) |
Falls *d_first = *first ist ungültig(bis C++20)*first ist nicht schreibbar in d_first(seit C++20), ist das Programm fehlerhaft.
Wenn sich Quell- und Zielbereich überschneiden, ist das Verhalten undefiniert.
Parameter
| first, last | - | das Iteratorpaar, das den Quell- Bereich der zu kopierenden Elemente definiert |
| d_first | - | der Anfang des Zielbereichs |
| value | - | der Wert der nicht zu kopierenden Elemente |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| 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
Iterator auf das Element nach dem letzten kopierten Element.
Komplexität
Gegeben N als std:: distance ( first, last ) :
Für die Überladungen mit einer ExecutionPolicy kann es zu Leistungseinbußen kommen, wenn
ForwardIt1
's
value_type
nicht
MoveConstructible
ist.
Exceptions
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 allokieren kann, wird std::bad_alloc geworfen.
Mögliche Implementierung
| remove_copy (1) |
|---|
template<class InputIt, class OutputIt, class T = typename std::iterator_traits<InputIt>::value_type> constexpr OutputIt remove_copy(InputIt first, InputIt last, OutputIt d_first, const T& value) { for (; first != last; ++first) if (!(*first == value)) *d_first++ = *first; return d_first; } |
| remove_copy_if (3) |
template<class InputIt, class OutputIt, class UnaryPred> constexpr OutputIt remove_copy_if(InputIt first, InputIt last, OutputIt d_first, UnaryPred p) { for (; first != last; ++first) if (!p(*first)) *d_first++ = *first; return d_first; } |
`-Tags C++-Code enthält und gemäß den Anweisungen nicht übersetzt werden soll, sowie HTML-Tags und Attribute unverändert bleiben müssen, wurde nur der strukturelle Rahmen der Tabelle beibehalten. Die Funktionsnamen und Code-Elemente bleiben auf Englisch, wie in den C++-Standards üblich.
Hinweise
| Feature-Test Makro | Wert | Std | Feature |
|---|---|---|---|
__cpp_lib_algorithm_default_value_type
|
202403
|
(C++26) | Listeninitialisierung für Algorithmen ( 1,2 ) |
Beispiel
#include <algorithm> #include <complex> #include <iomanip> #include <iostream> #include <iterator> #include <string> #include <vector> int main() { // Lösche die Raute-Zeichen '#' im Flug. std::string str = "#Return #Value #Optimization"; std::cout << "before: " << std::quoted(str) << '\n'; std::cout << "after: \""; std::remove_copy(str.begin(), str.end(), std::ostream_iterator<char>(std::cout), '#'); std::cout << "\"\n"; // Lösche {1, 3} Werte im Flug. std::vector<std::complex<double>> nums{{2, 2}, {1, 3}, {4, 8}, {1, 3}}; std::remove_copy(nums.begin(), nums.end(), std::ostream_iterator<std::complex<double>>(std::cout), #ifdef __cpp_lib_algorithm_default_value_type {1, 3}); // T wird abgeleitet #else std::complex<double>{1, 3}); #endif }
Ausgabe:
before: "#Return #Value #Optimization" after: "Return Value Optimization" (2,2)(4,8)
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 779 | C++98 |
T
musste
EqualityComparable
sein, aber
der Werttyp von
ForwardIt
ist nicht immer
T
|
forderte stattdessen, dass
*
d_first
=
*
first
gültig ist |
Siehe auch
| entfernt Elemente, die bestimmte Kriterien erfüllen (Funktionsschablone & Algorithmus-Funktionsobjekt) | |
(C++20)(C++20) |
|
(C++11) |
kopiert einen Bereich von Elementen an einen neuen Ort (Funktionsschablone & Algorithmus-Funktionsobjekt) |
(C++20)(C++20) |
|
(C++11) |
kopiert einen Bereich und teilt die Elemente in zwei Gruppen (Funktionsschablone & Algorithmus-Funktionsobjekt) |
(C++20) |
|
(C++20)(C++20) |
kopiert einen Bereich von Elementen und lässt diejenigen aus, die bestimmte Kriterien erfüllen (Algorithmus-Funktionsobjekt) |