内置类型有移动语义吗?

时间:2013-02-04 02:21:39

标签: c++ c++11 move-semantics built-in-types

考虑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的值被修改。它的资源,即自我,是被修改的资源。

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

此外,内置类型对象移动后是否(如果是)定义明确的行为?

1 个答案:

答案 0 :(得分:46)

  

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

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

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

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

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

如果函数按值获取参数,那么我们可能会移动。

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