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

Question

考虑以下代码：

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

好吧，我的意思是：

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

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

另外，内置类型对象在移动后（如果确实存在）是否定义良好？

Answer 1

因此，该示例所示的行为是否定义明确？

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

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

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

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

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

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