内置类型有移动语义吗？

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,因为它i在被"转换"为r值引用之后被绑定到参数std::move.

好吧,我的观点:

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

内置类型有移动语义吗？

另外,内置类型对象在移动后(如果是)是一个明确定义的行为吗？

Answer 1

那么,示例中显示的是一个明确定义的行为？

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

所有std::move这一切都是将左值更改为xvalue,以便它可以绑定到右值引用.它不会调用任何构造函数或其他任何东西.更改值类别发生在类型级别.运行时没有任何事情发生.

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

如果函数通过引用获取参数,则不会发生副本或移动:原始对象绑定到引用.

如果函数按值获取参数,那么我们可能会有一个移动.

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