std:: set_symmetric_difference
|
Definiert in Header
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt
>
OutputIt set_symmetric_difference
|
(1) | (constexpr seit C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3
>
|
(2) | (seit C++17) |
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt,
class
Compare
>
|
(3) | (constexpr seit C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (seit C++17) |
Berechnet die symmetrische Differenz von zwei sortierten Bereichen: Die Elemente, die in einem der Bereiche gefunden werden, aber nicht in beiden, werden in den Bereich kopiert, der bei d_first beginnt. Der Ausgabebereich ist ebenfalls sortiert.
Wenn
[
first1
,
last1
)
m
Elemente enthält, die zueinander äquivalent sind, und
[
first2
,
last2
)
n
Elemente enthält, die zu diesen äquivalent sind, dann werden
std
::
abs
(
m
-
n
)
dieser Elemente in den Ausgabebereich kopiert, wobei die Reihenfolge erhalten bleibt:
-
Wenn
m
>
n
, die letzten
m
-
n
dieser Elemente aus
[first1,last1). -
Wenn
m
<
n
, die letzten
n
-
m
dieser Elemente aus
[first2,last2).
[
first1
,
last1
)
oder
[
first2
,
last2
)
nicht
sortiert
ist bezüglich
operator
<
(bis C++20)
std::
less
{
}
(seit C++20)
, ist das Verhalten undefiniert.
[
first1
,
last1
)
oder
[
first2
,
last2
)
nicht bezüglich
comp
sortiert ist, ist das Verhalten undefiniert.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> ist true . |
(until C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> ist true . |
(since C++20) |
Wenn der Ausgabebereich sich mit
[
first1
,
last1
)
oder
[
first2
,
last2
)
überschneidet, ist das Verhalten undefiniert.
Inhaltsverzeichnis |
Parameter
| first1, last1 | - | das Paar von Iteratoren, das den ersten sortierten Bereich von Elementen definiert |
| first2, last2 | - | das Paar von Iteratoren, das den zweiten sortierten Bereich von Elementen definiert |
| d_first | - | der Anfang des Ausgabebereichs |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| comp | - |
Vergleichsfunktionsobjekt (d.h. ein Objekt, das die Anforderungen von
Compare
erfüllt), das
true
zurückgibt, wenn das erste Argument
kleiner
als (d.h. vor dem zweiten angeordnet ist) das zweite ist.
Die Signatur der Vergleichsfunktion sollte äquivalent zu Folgendem sein: bool cmp ( const Type1 & a, const Type2 & b ) ;
Obwohl die Signatur nicht
const
&
benötigt, darf die Funktion die übergebenen Objekte nicht modifizieren und muss alle Werte des Typs (möglicherweise const)
|
| Typanforderungen | ||
-
InputIt1, InputIt2
müssen die Anforderungen von
LegacyInputIterator
erfüllen.
|
||
-
OutputIt
müssen die Anforderungen von
LegacyOutputIterator
erfüllen.
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
müssen die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
-
Compare
müssen die Anforderungen von
Compare
erfüllen.
|
||
Rückgabewert
Iterator hinter das Ende des konstruierten Bereichs.
Komplexität
Gegeben N 1 als std:: distance ( first1, last1 ) und N 2 als std:: distance ( first2, last2 ) :
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 allokieren kann, wird std::bad_alloc geworfen.
Mögliche Implementierung
| set_symmetric_difference (1) |
|---|
template<class InputIt1, class InputIt2, class OutputIt> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (*first1 < *first2) *d_first++ = *first1++; else { if (*first2 < *first1) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
| set_symmetric_difference (3) |
template<class InputIt1, class InputIt2, class OutputIt, class Compare> OutputIt set_symmetric_difference(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, OutputIt d_first, Compare comp) { while (first1 != last1) { if (first2 == last2) return std::copy(first1, last1, d_first); if (comp(*first1, *first2)) *d_first++ = *first1++; else { if (comp(*first2, *first1)) *d_first++ = *first2; else ++first1; ++first2; } } return std::copy(first2, last2, d_first); } |
Beispiel
#include <algorithm> #include <iostream> #include <iterator> #include <vector> int main() { std::vector<int> v1{1, 2, 3, 4, 5, 6, 7, 8}; std::vector<int> v2{5, 7, 9, 10}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector<int> v_symDifference; std::set_symmetric_difference(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v_symDifference)); for (int n : v_symDifference) std::cout << n << ' '; std::cout << '\n'; }
Ausgabe:
1 2 3 4 6 8 9 10
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 291 | C++98 | es war nicht spezifiziert, wie äquivalente Elemente in den Eingabebereichen zu behandeln sind | spezifiziert |
Siehe auch
|
gibt
true
zurück, falls eine Sequenz eine Teilsequenz einer anderen ist
(Funktions-Template) |
|
|
berechnet die Differenz zwischen zwei Mengen
(Funktions-Template) |
|
|
berechnet die Vereinigung von zwei Mengen
(Funktions-Template) |
|
|
berechnet den Schnitt von zwei Mengen
(Funktions-Template) |
|
|
(C++20)
|
berechnet die symmetrische Differenz zwischen zwei Mengen
(Algorithmus-Funktionsobjekt) |