33

考虑这段代码：

#include <iostream>
using namespace std;

void Func(int&& i) {
    ++i;
}

int main() {
    int num = 1234;
    cout << "Before: " << num << endl;
    Func(std::move(num));
    cout << "After: " << num << endl;
}

它的输出是：

Before: 1234
After: 1235

显然，i在内部被修改Func，因为它i在被“转换”为 r 值引用后绑定到参数std::move。

好吧，我的观点：

移动对象意味着将资源的所有权从一个对象转移到另一个对象。但是，内置类型不包含资源，因为它们本身就是资源。转移他们持有的资源是没有意义的。如示例所示，num的值被修改。它的资源，它的自身，是被修改的那个。

内置类型是否具有移动语义？

另外，移动后的内置类型对象（如果是的话）是明确定义的行为吗？

4

1 回答 1

57

那么，示例中显示的行为是否定义明确？

是的，示例中显示的行为是标准允许的唯一行为。那是因为std::move不动。移动的东西是移动构造函数和移动赋值运算符。

所做的只是将左值更改为xvalue std::move，以便它可以绑定到右值引用。它不调用任何构造函数或其他任何东西。更改值类别发生在类型级别。运行时没有任何反应。

右值引用仍然是引用：它们引用原始对象。该函数通过给定的引用递增原始整数。

如果函数通过引用获取参数，则不会发生复制或移动：原始对象绑定到引用。

如果一个函数按值接受参数，那么我们可能会采取行动。

但是，基本类型没有移动构造函数。在这种情况下，移动会降级到副本。

于 2013-02-04T03:03:53.203 回答