É seguro porque nada é criado durante a operação de troca. Somente membros de dados da classe std::vector
são trocados.
Considere o seguinte programa demonstrativo que deixa claro como os objetos da classe std::vector
são trocados.
#include <iostream>
#include <utility>
#include <iterator>
#include <algorithm>
#include <numeric>
class A
{
public:
explicit A( size_t n ) : ptr( new int[n]() ), n( n )
{
std::iota( ptr, ptr + n, 0 );
}
~A()
{
delete []ptr;
}
void swap( A & a ) noexcept
{
std::swap( ptr, a.ptr );
std::swap( n, a.n );
}
friend std::ostream & operator <<( std::ostream &os, const A &a )
{
std::copy( a.ptr, a.ptr + a.n, std::ostream_iterator<int>( os, " " ) );
return os;
}
private:
int *ptr;
size_t n;
};
int main()
{
A a1( 10 );
A a2( 5 );
std::cout << a1 << '\n';
std::cout << a2 << '\n';
std::cout << '\n';
a1.swap( a2 );
std::cout << a1 << '\n';
std::cout << a2 << '\n';
std::cout << '\n';
return 0;
}
A saída do programa é
0 1 2 3 4 5 6 7 8 9
0 1 2 3 4
0 1 2 3 4
0 1 2 3 4 5 6 7 8 9
Como você vê apenas membros de dados ptr
e n
é trocado na troca de função de membro. Nenhum recurso adicional é usado.
Uma abordagem semelhante é usada na classe std::vector
.
Quanto a este exemplo
std::vector<Widget> WidgetVector;
std::vector<Widget2> Widget2Vector;
depois, existem objetos de diferentes classes. A troca da função de membro é aplicada a vetores do mesmo tipo.