关于c ++：move语义 – 它的全部意义何在？

Move semantics - what it's all about?

本问题已经有最佳答案，请猛点这里访问。

Possible Duplicate:
Can someone please explain move semantics to me?

号

有人能给我指出一个好的来源或者解释一下这里的移动语义是什么？

相关讨论

暂时忘记C++0X。移动语义是语言无关的东西——C++0X仅仅提供了一种用移动语义执行操作的标准方法。

定义

移动语义定义特定操作的行为。大多数时候，它们与复制语义形成了对比，因此首先定义它们是很有用的。

具有复制语义的赋值具有以下行为：

1
2
3
4

// Copy semantics
assert(b == c);
a = b;
assert(a == b && b == c);

也就是说，a最终等于b，我们保持b不变。

带有移动语义的赋值具有较弱的后置条件：

1
2
3
4

// Move semantics
assert(b == c);
move(a, b); // not C++0x
assert(a == c);

注意，在使用移动语义的赋值之后，不再保证b保持不变。这是至关重要的区别。

使用

移动语义的一个好处是它允许在某些情况下进行优化。考虑以下常规值类型：

1	struct A { T* x; };

假设我们定义两个a类型的对象是相等的，如果它们的x成员指向相等的值。

1	bool operator==(const A& lhs, const A& rhs) { return lhs.x == rhs.x; }

最后假设我们定义一个对象a对其x成员的指针拥有唯一所有权。

1
2
3

A::~A() { delete x; }
A::A(const A& rhs) : x(new T(rhs.x)) {}
A& A::operator=(const A& rhs) { if (this != &rhs) *x = *rhs.x; }

现在假设我们要定义一个函数来交换两个a对象。

我们可以用复制语义的正常方式来实现它。

1
2
3
4
5
6

void swap(A& a, A& b)
{
A t = a;
a = b;
b = t;
}

然而，这是不必要的效率低下。我们在做什么？

我们创建了一个a到t的拷贝。
然后我们把b复制到a中。
然后将t复制到b中。
最后，摧毁t。

如果t对象的复制成本很高，那么这是浪费。如果我要求您交换计算机上的两个文件，您不会创建第三个文件，然后在销毁临时文件之前复制并粘贴文件内容，是吗？不，您将移动一个文件，将第二个文件移到第一个位置，然后最后将第一个文件移回第二个位置。无需复制数据。

在我们的例子中，很容易在a类型的对象周围移动：

1
2
3
4
5
6

// Not C++0x
void move(A& lhs, A& rhs)
{
lhs.x = rhs.x;
rhs.x = nullptr;
}

我们只需将rhs的指针移动到lhs中，然后放弃该指针的rhs所有权(通过将其设置为空)。这应该解释为什么较弱的后移语义条件允许优化。

定义了这个新的移动操作后，我们可以定义一个优化的交换：

1
2
3
4
5
6
7

void swap(A& a, A& b)
{
A t;
move(t, a);
move(a, b);
move(b, t);
}

移动语义的另一个优点是它允许您在无法复制的对象周围移动。这方面的一个主要例子是std::auto_ptr。

C++0X

C++0x允许移动语义通过其值引用特征。具体来说，此类操作：

a = b;

当b是右值引用(拼写为T&&)时，具有移动语义，否则它们具有复制语义。当b不是右值引用时，可以使用std::move函数(不同于前面定义的move函数)强制移动语义：

1	a = std::move(b);

std::move是一个简单的函数，基本上将其参数强制转换为右值引用。请注意，表达式(如函数调用)的结果是自动右值引用，因此您可以在这些情况下利用移动语义而不更改代码。

要定义移动优化，需要定义移动构造函数和移动分配运算符：

1 2	T::T(T&&); T& operator=(T&&);

由于这些操作具有移动语义，因此可以自由修改传入的参数(前提是保持对象处于可破坏状态)。

结论

基本上就是这样。注意，rValk引用也用于允许在C++ 0x中完全转发(由于特定的类型系统在R值引用和其他类型之间的交互)，但这实际上与移动语义无关，所以我在这里没有讨论过。

型

基本上，右值引用允许您检测对象是临时的，而不必保留其内部状态。这允许使用更高效的代码，其中C++ 03一直都需要复制，在C++ 0x中，您可以继续使用相同的资源。此外，右值引用可以实现完美的转发。

看看这个答案。