Неэффективность идиомы копирования и обмена?

Я тестировал некоторый код, где есть std::vector член данных внутри класса. Класс это оба копируемого а также движимое, и operator= реализован как описано Вот с использованием идиома копирования и обмена.

Если есть два vectorскажи v1 с большой емкостью и v2 с небольшой емкостью, и v2 копируется в v1 (v1 = v2), большая емкость в v1 хранится после назначения; это имеет смысл, так как следующий v1.push_back() вызовы не должны вызывать новые перераспределения (другими словами: освобождение уже доступной памяти, а затем перераспределение ее для увеличения вектора не имеет большого смысла).

Но, если то же самое назначение сделано с учебный класс имея vector как член данных, поведение отличается, и после назначения большая емкость не сохраняется.

Если идиома копирования и обмена не использовать и скопировать operator= и двигаться operator= реализованы по отдельности, тогда поведение такое, как и ожидалось (как для обычного не члена vectorс).

Это почему? Разве мы не должны следовать идиому копирования и замены и вместо этого реализовать operator=(const X& other) (копия op=) а также operator=(X&& other) (переехать op=) отдельно для оптимальной производительности?

Это результат воспроизводимого теста с идиом копирования и замены (обратите внимание, как в этом случае после x1 = x2, x1.GetV().capacity() 1 000, а не 1 000 000):

C:\TEMP\CppTests>cl /EHsc /W4 /nologo /DTEST_COPY_AND_SWAP test.cpp
test.cpp

C:\TEMP\CppTests>test.exe
v1.capacity() = 1000000
v2.capacity() = 1000

After copy v1 = v2:
v1.capacity() = 1000000
v2.capacity() = 1000

[Copy-and-swap]

x1.GetV().capacity() = 1000000
x2.GetV().capacity() = 1000

After x1 = x2:
x1.GetV().capacity() = 1000
x2.GetV().capacity() = 1000

Это выход без идиомы копирования и замены (обратите внимание, как в этом случае x1.GetV().capacity() = 1000000, как и ожидалось):

C:\TEMP\CppTests>cl /EHsc /W4 /nologo test.cpp
test.cpp

C:\TEMP\CppTests>test.exe
v1.capacity() = 1000000
v2.capacity() = 1000

After copy v1 = v2:
v1.capacity() = 1000000
v2.capacity() = 1000

[Copy-op= and move-op=]

x1.GetV().capacity() = 1000000
x2.GetV().capacity() = 1000

After x1 = x2:
x1.GetV().capacity() = 1000000
x2.GetV().capacity() = 1000

Ниже приводится скомпилированный пример кода (протестирован с VS2010 SP1 / VC10):

#include <algorithm>
#include <iostream>
#include <vector>
using namespace std;

class X
{
public:
X()
{
}

explicit X(const size_t initialCapacity)
{
m_v.reserve(initialCapacity);
}

X(const X& other)
: m_v(other.m_v)
{
}

X(X&& other)
: m_v(move(other.m_v))
{
}

void SetV(const vector<double>& v)
{
m_v = v;
}

const vector<double>& GetV() const
{
return m_v;
}

#ifdef TEST_COPY_AND_SWAP
//
// Implement a unified op= with copy-and-swap idiom.
//

X& operator=(X other)
{
swap(*this, other);
return *this;
}

friend void swap(X& lhs, X& rhs)
{
using std::swap;

swap(lhs.m_v, rhs.m_v);
}
#else
//
// Implement copy op= and move op= separately.
//

X& operator=(const X& other)
{
if (this != &other)
{
m_v = other.m_v;
}
return *this;
}

X& operator=(X&& other)
{
if (this != &other)
{
m_v = move(other.m_v);
}
return *this;
}
#endif

private:
vector<double> m_v;
};

// Test vector assignment from a small vector to a vector with big capacity.
void Test1()
{
vector<double> v1;
v1.reserve(1000*1000);

vector<double> v2(1000);

cout << "v1.capacity() = " << v1.capacity() << '\n';
cout << "v2.capacity() = " << v2.capacity() << '\n';

v1 = v2;
cout << "\nAfter copy v1 = v2:\n";
cout << "v1.capacity() = " << v1.capacity() << '\n';
cout << "v2.capacity() = " << v2.capacity() << '\n';
}

// Similar to Test1, but now vector is a data member inside a class.
void Test2()
{
#ifdef TEST_COPY_AND_SWAP
cout << "[Copy-and-swap]\n\n";
#else
cout << "[Copy-op= and move-op=]\n\n";
#endif

X x1(1000*1000);

vector<double> v2(1000);
X x2;
x2.SetV(v2);

cout << "x1.GetV().capacity() = " << x1.GetV().capacity() << '\n';
cout << "x2.GetV().capacity() = " << x2.GetV().capacity() << '\n';

x1 = x2;
cout << "\nAfter x1 = x2:\n";
cout << "x1.GetV().capacity() = " << x1.GetV().capacity() << '\n';
cout << "x2.GetV().capacity() = " << x2.GetV().capacity() << '\n';
}

int main()
{
Test1();
cout << '\n';
Test2();
}