c++ - 内置类型是否具有 move 语义？

Question

考虑 this代码:

#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 内部进行修改，因为它在“转换”为 r 值后绑定(bind)到参数 i std::move 引用。

好吧，我的意思是:

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

内置类型有 move 语义吗？

另外， move 后的内置类型对象(如果是的话)是否是明确定义的行为？

Answer 1

And so, is the one shown by the example a well-defined behavior?

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

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

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

如果函数通过引用获取参数，则不会发生复制或 move :原始对象绑定(bind)到引用。

如果一个函数按值接受参数，那么我们可能会有所 Action 。

但是，基本类型没有 move 构造函数。在这种情况下， move 会降级为拷贝。