考虑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
正在被修改,因为它被i
“转换”为r值引用后绑定到参数std::move
。 / p>
嗯,我的观点:
移动对象意味着将资源的所有权从一个对象转移到另一个对象。但是,内置类型不包含资源,因为它们本身就是资源。转移他们持有的资源毫无意义。如示例所示,num
的值被修改。它的资源,即自我,是被修改的资源。
内置类型是否具有移动语义?
此外,内置类型对象移动后是否(如果是)定义明确的行为?
答案 0 :(得分:46)
那么,示例中显示的是一个明确定义的行为吗?
是的,示例中显示的行为是标准允许的唯一行为。那是因为std::move
无法移动。移动的东西是移动构造函数和移动赋值运算符。
所有std::move
都将左值更改为x值,以便它可以绑定到右值引用。它不会调用任何构造函数或其他任何东西。更改值类别发生在类型级别。 在运行时没有。
Rvalue引用仍然是引用:它们引用原始对象。该函数通过给定的引用递增原始整数。
如果函数通过引用接受参数,则不会发生副本或移动:原始对象绑定到引用。
如果函数按值获取参数,那么我们可能会移动。
然而,基本类型没有移动构造函数。在这种情况下,移动会降级为副本。