std:: set_symmetric_difference
|
Definido en el encabezado
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt
>
OutputIt set_symmetric_difference
|
(1) | (constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
ForwardIt3
>
|
(2) | (desde C++17) |
|
template
<
class
InputIt1,
class
InputIt2,
class
OutputIt,
class
Compare
>
|
(3) | (constexpr desde C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(4) | (desde C++17) |
Calcula la diferencia simétrica de dos rangos ordenados: los elementos que se encuentran en cualquiera de los rangos, pero no en ambos, se copian al rango que comienza en d_first . El rango de salida también está ordenado.
Si
[
first1
,
last1
)
contiene
m
elementos que son equivalentes entre sí y
[
first2
,
last2
)
contiene
n
elementos que son equivalentes a ellos, entonces
std
::
abs
(
m
-
n
)
de esos elementos serán copiados al rango de salida, preservando el orden:
-
si
m
>
n
, los últimos
m
-
n
elementos de
[first1,last1). -
si
m
<
n
, los últimos
n
-
m
elementos de
[first2,last2).
[
first1
,
last1
)
o
[
first2
,
last2
)
no está
ordenado
con respecto a
operator
<
(hasta C++20)
std::
less
{
}
(desde C++20)
, el comportamiento es indefinido.
[
first1
,
last1
)
o
[
first2
,
last2
)
no está ordenado con respecto a
comp
, el comportamiento es indefinido.
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> es true . |
(hasta C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> es true . |
(desde C++20) |
Si el rango de salida se superpone con
[
first1
,
last1
)
o
[
first2
,
last2
)
, el comportamiento es indefinido.
Contenidos |
Parámetros
| first1, last1 | - | el par de iteradores que define el primer rango ordenado de elementos |
| first2, last2 | - | el par de iteradores que define el segundo rango ordenado de elementos |
| d_first | - | el inicio del rango de salida |
| policy | - | la política de ejecución a utilizar |
| comp | - |
objeto función de comparación (es decir, un objeto que satisface los requisitos de
Compare
) que devuelve
true
si el primer argumento es
menor
que (es decir, está ordenado
antes
que) el segundo.
La firma de la función de comparación debe ser equivalente a la siguiente: bool cmp ( const Type1 & a, const Type2 & b ) ;
Aunque la firma no necesita tener
const
&
, la función no debe modificar los objetos pasados a ella y debe poder aceptar todos los valores de tipo (posiblemente const)
|
| Requisitos de tipo | ||
-
InputIt1, InputIt2
deben cumplir con los requisitos de
LegacyInputIterator
.
|
||
-
OutputIt
deben cumplir con los requisitos de
LegacyOutputIterator
.
|
||
-
ForwardIt1, ForwardIt2, ForwardIt3
deben cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
Compare
deben cumplir con los requisitos de
Compare
.
|
||
Valor de retorno
Iterador más allá del final del rango construido.
Complejidad
Dado N 1 como std:: distance ( first1, last1 ) y N 2 como std:: distance ( first2, last2 ) :
Excepciones
Las sobrecargas con un parámetro de plantilla llamado
ExecutionPolicy
reportan errores de la siguiente manera:
-
Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y
ExecutionPolicyes uno de los standard policies , std::terminate es llamado. Para cualquier otroExecutionPolicy, el comportamiento está definido por la implementación. - Si el algoritmo falla al asignar memoria, std::bad_alloc es lanzado.
Implementación posible
| 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); } |
Ejemplo
#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'; }
Salida:
1 2 3 4 6 8 9 10
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 291 | C++98 | no estaba especificado cómo manejar elementos equivalentes en los rangos de entrada | especificado |
Véase también
|
devuelve
true
si una secuencia es una subsecuencia de otra
(plantilla de función) |
|
|
calcula la diferencia entre dos conjuntos
(plantilla de función) |
|
|
calcula la unión de dos conjuntos
(plantilla de función) |
|
|
calcula la intersección de dos conjuntos
(plantilla de función) |
|
|
(C++20)
|
calcula la diferencia simétrica entre dos conjuntos
(objeto función de algoritmo) |