std::replace, std::replace_if

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Algorithmenbibliothek

Beschränkte Algorithmen und Algorithmen für Bereiche (C++20)
Beschränkte Algorithmen, z.B. ranges::copy, ranges::sort, ...
Ausführungsrichtlinien (C++17)
is_execution_policy (C++17)   execution::seqexecution::parexecution::par_unseqexecution::unseq (C++17)    (C++17)(C++17)(C++20)	execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policyexecution::parallel_unsequenced (C++17)(C++17)(C++17)(C++20)
Nicht-modifizierende Sequenzoperationen Stapeloperationen for_each for_each_n (C++17) Suchoperationen all_ofany_ofnone_of (C++11)                (C++11)(C++11) countcount_if mismatch equal findfind_iffind_if_not (C++11) find_end find_first_of adjacent_find search search_n Modifizierende Sequenzoperationen Kopieroperationen copycopy_if (C++11) copy_backward copy_n (C++11) move (C++11) move_backward (C++11) Tauschoperationen swap iter_swap swap_ranges Transformationsoperationen replacereplace_if transform replace_copyreplace_copy_if Generierungsoperationen fill fill_n generate generate_n Entfernungsoperationen removeremove_if unique remove_copyremove_copy_if unique_copy Ordnungsändernde Operationen reverse reverse_copy rotate rotate_copy random_shuffleshuffle (bis C++17)(C++11) shift_leftshift_right (C++20)(C++20) Stichprobenoperationen sample (C++17)	Sortier- und verwandte Operationen Partitionierungsoperationen partition partition_copy (C++11)   stable_partition is_partitioned (C++11) partition_point (C++11) Sortieroperationen sort stable_sort partial_sort partial_sort_copy is_sorted (C++11) is_sorted_until (C++11) nth_element Binäre Suchoperationen (auf partitionierten Bereichen) lower_bound upper_bound equal_range binary_search Mengenoperationen (auf sortierten Bereichen) includes set_union set_intersection set_difference set_symmetric_difference Zusammenführungsoperationen (auf sortierten Bereichen) merge inplace_merge Heapoperationen push_heap pop_heap make_heap sort_heap is_heap (C++11) is_heap_until (C++11) Minimum/Maximum-Operationen max min minmax (C++11) clamp (C++17) max_element min_element minmax_element (C++11) Lexikographische Vergleichsoperationen lexicographical_compare lexicographical_compare_three_way (C++20) Permutationsoperationen next_permutation prev_permutation is_permutation (C++11) C-Bibliothek qsort bsearch
Numerische Operationen
iota (C++11) inner_product adjacent_difference    accumulate reduce (C++17) transform_reduce (C++17)	partial_sum inclusive_scan (C++17)    exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
Operationen auf uninitialisiertem Speicher
uninitialized_copy uninitialized_move (C++17)    uninitialized_fill uninitialized_copy_n (C++11) uninitialized_move_n (C++17) uninitialized_fill_n	destroy (C++17) destroy_n (C++17) destroy_at (C++17) construct_at (C++20)       uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17)

 

Definiert in Header <algorithm>
	(1)
template< class ForwardIt, class T > void replace( ForwardIt first, ForwardIt last,               const T& old_value, const T& new_value );			(constexpr seit C++20) (bis C++26)
template< class ForwardIt, class T = typename std::iterator_traits                                          <ForwardIt>::value_type > constexpr void replace( ForwardIt first, ForwardIt last,                         const T& old_value, const T& new_value );			(seit C++26)
		(2)
template< class ExecutionPolicy, class ForwardIt, class T > void replace( ExecutionPolicy&& policy,               ForwardIt first, ForwardIt last,               const T& old_value, const T& new_value );				(seit C++17) (bis C++26)
template< class ExecutionPolicy, class ForwardIt,           class T = typename std::iterator_traits                         <ForwardIt>::value_type > void replace( ExecutionPolicy&& policy,               ForwardIt first, ForwardIt last,               const T& old_value, const T& new_value );				(seit C++26)
			(3)
template< class ForwardIt, class UnaryPred, class T > void replace_if( ForwardIt first, ForwardIt last,                  UnaryPred p, const T& new_value );					(constexpr seit C++20) (bis C++26)
template< class ForwardIt, class UnaryPred,           class T = typename std::iterator_traits                         <ForwardIt>::value_type> > constexpr void replace_if( ForwardIt first, ForwardIt last,                            UnaryPred p, const T& new_value );					(seit C++26)
				(4)
template< class ExecutionPolicy,           class ForwardIt, class UnaryPred, class T > void replace_if( ExecutionPolicy&& policy,                  ForwardIt first, ForwardIt last,                  UnaryPred p, const T& new_value );						(seit C++17) (bis C++26)
template< class ExecutionPolicy,           class ForwardIt, class UnaryPred,           class T = typename std::iterator_traits                         <ForwardIt>::value_type> > void replace_if( ExecutionPolicy&& policy,                  ForwardIt first, ForwardIt last,                  UnaryPred p, const T& new_value );						(seit C++26)

Ersetzt alle Elemente im Bereich [first, last) durch new_value, falls sie bestimmte Kriterien erfüllen.

1) Ersetzt alle Elemente, die gleich old_value sind (unter Verwendung von operator==).

3) Ersetzt alle Elemente, für die der Prädikat p true zurückgibt.

2,4) Dasselbe wie (1,3), aber ausgeführt gemäß policy.

Diese Überladungen nehmen an der Auflösungsauflösung teil, nur wenn alle folgenden Bedingungen erfüllt sind

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)

Wenn *first = new_value ungültig ist(bis C++20)new_value nicht in first schreibbar ist(seit C++20), ist das Programm schlecht geformt.

Parameter

first, last	-	das Iteratorenpaar, das den Bereich der zu verarbeitenden Elemente definiert
old_value	-	der Wert der zu ersetzenden Elemente
policy	-	die Ausführungsrichtlinie, die verwendet werden soll
p	-	unäres Prädikat, das ​true zurückgibt, wenn der Elementwert ersetzt werden soll. Der Ausdruck p(v) muss für jedes Argument v vom Typ (möglicherweise const) VT, wobei VT der Werttyp von ForwardIt ist, unabhängig von der Wertkategorie, in bool konvertierbar sein und darf v nicht modifizieren. Daher ist ein Parametertyp von VT& nicht erlaubt, ebenso wenig wie VT, es sei denn, für VT ist eine Verschiebung äquivalent zu einer Kopie(seit C++11). ​
new_value	-	der als Ersatz zu verwendende Wert
Typanforderungen
- ForwardIt muss die Anforderungen von LegacyForwardIterator erfüllen.
- UnaryPred muss die Anforderungen von Predicate erfüllen.

Komplexität

Gegeben sei \(\scriptsize N\)N als std::distance(first, last).

1,2) Genau \(\scriptsize N\)N Vergleiche unter Verwendung von operator==.

3,4) Genau \(\scriptsize N\)N Anwendungen des Prädikats p.

Ausnahmen

Die Überladungen mit einem Template-Parameter namens ExecutionPolicy berichten Fehler wie folgt

• Wenn die Ausführung einer Funktion, die als Teil des Algorithmus aufgerufen wird, eine Ausnahme auslöst und ExecutionPolicy eine der Standardrichtlinien ist, wird std::terminate aufgerufen. Für jede andere ExecutionPolicy ist das Verhalten implementierungsabhängig.
• Wenn dem Algorithmus der Speicher zur Neuzuweisung fehlt, wird std::bad_alloc ausgelöst.

Hinweise

Da der Algorithmus old_value und new_value als Referenz übergibt, kann dies zu unerwartetem Verhalten führen, wenn eine davon eine Referenz auf ein Element des Bereichs [first, last) ist.

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_algorithm_default_value_type	202403	(C++26)	List-Initialisierung für Algorithmen (1-4)

Mögliche Implementierung

replace (1)
template<class ForwardIt, class T = typename std::iterator_traits<ForwardIt>::value_type> void replace(ForwardIt first, ForwardIt last, const T& old_value, const T& new_value) { for (; first != last; ++first) if (*first == old_value) *first = new_value; }
replace_if (3)
template<class ForwardIt, class UnaryPred, class T = typename std::iterator_traits<ForwardIt>::value_type> void replace_if(ForwardIt first, ForwardIt last, UnaryPred p, const T& new_value) { for (; first != last; ++first) if (p(*first)) *first = new_value; }

Beispiel

Führen Sie diesen Code aus

#include <algorithm>
#include <array>
#include <complex>
#include <functional>
#include <iostream>
 
void println(const auto& seq)
{
    for (const auto& e : seq)
        std::cout << e << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::array<int, 10> s{5, 7, 4, 2, 8, 6, 1, 9, 0, 3};
 
    // Replace all occurrences of 8 with 88.
    std::replace(s.begin(), s.end(), 8, 88);
    println(s);
 
    // Replace all values less than 5 with 55.
    std::replace_if(s.begin(), s.end(), 
                    std::bind(std::less<int>(), std::placeholders::_1, 5), 55);
    println(s);
 
    std::array<std::complex<double>, 2> nums{{{1, 3}, {1, 3}}};
    #ifdef __cpp_lib_algorithm_default_value_type
        std::replace(nums.begin(), nums.end(), {1, 3}, {4, 2});
    #else
        std::replace(nums.begin(), nums.end(), std::complex<double>{1, 3},
                                               std::complex<double>{4, 2});
    #endif
    println(nums);
}

Ausgabe

5 7 4 2 88 6 1 9 0 3
5 7 55 55 88 6 55 9 55 55
(4,2), (4,2)

Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
LWG 283	C++98	T musste CopyAssignable sein (und EqualityComparable für replace), aber der Werttyp von ForwardIt ist nicht immer T und T ist nicht immer nach ForwardIt schreibbar	erforderlich *first = new_value anstatt

Siehe auch

replace_copyreplace_copy_if	Kopiert einen Bereich und ersetzt Elemente, die bestimmte Kriterien erfüllen, durch einen anderen Wert (Funktionstempelat)
ranges::replaceranges::replace_if (C++20)(C++20)	Ersetzt alle Werte, die bestimmte Kriterien erfüllen, durch einen anderen Wert (Algorithmus-Funktionsobjekt)