`X::X(const X&&)` 常量移动构造函数？ [复制]

Question

可能重复：
Move constructor signature

struct X
{
    X(X&);         // (1)
    X(X&&);        // (2)
    X(const X&);   // (3)
    X(const X&&);  // (4)
};

在重载决议中是否会选择(4)？

Answer 1

是的。一种情况是当你有一个返回值const 的函数时：

const X f();

X x(f());

Answer 2

另一种情况是当您将std::move 应用于const 对象时，如下例所示：

#include <iostream>

using namespace std;

struct X
{
    X() { cout << "default" << endl; }
    X(X&) { cout << "non const copy" << endl; }    // (1)
    X(X&&) { cout << "non const move" << endl; }   // (2)
    X(const X&) { cout << "const copy" << endl; }  // (3)
    X(const X&&){ cout << "const move" << endl; }  // (4)
};

void f(X const x)
{
}

int main()
{
    X const x;
    f(std::move(x));

    return 0;
}

上一个答案（X const f()）中提到的情况可能不太常见，因为移动构造函数在执行 RVO 时大部分时间都被编译器省略（即使构造函数有副作用也可以这样做） .

将const 对象移动到另一个const 对象中作为逻辑操作 确实有意义，如果您没有定义const 移动构造函数，那么您将不能去做。搬家只是转移所有权，所以在我看来，作为一种合乎逻辑的操作，它应该得到支持。

虽然从高层的角度来看，您不应该修改const 对象，并且确实移动对象需要修改它（在大多数情况下），但众所周知的类似情况是可以的修改const 对象“在幕后”，以实现更高级别的概念操作。例如，需要锁定非常量成员互斥体的 const 成员函数：您可以将互斥体变量声明为 mutable 以将其视为非常量对象。

因此，即使在这种情况下，我也将其视为 const 移动构造函数中的合法操作（只要需要），以修改移动对象的 mutable 成员（可能需要一些布尔标志由对象的析构函数）。请注意，如果您从上面的代码中删除 const 构造函数 (3) 和 (4)，它将无法编译。如果只删除 (4)，将选择复制构造函数 (3) - 这意味着您将无法移动 const 对象。