Do内置类型具有移动语义

Do built-in types have move semantics?

本文关键字：移动 语义 内置 置类型 Do      更新时间：2023-10-16

考虑以下代码：

#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的值被修改。它的资源，它自己，就是被修改的那个。

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

此外，内置类型对象在移动后（如果是）是否是定义良好的行为？

那么，这个例子所显示的行为是一个定义良好的行为吗？

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

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

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

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

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

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

相关文章：