c++ 为什么我不能用引用变量实现移动构造函数？

lymnna71 于 2023-06-25 发布在其他

关注(0)|答案(2)|浏览(168)

move构造函数的实现方式通常是这样的：

class Test {
public:
    int *ptr;
    Test() {
    }
    Test(Test&& t) {
        ptr = t.ptr;
        t.ptr = nullptr;
    }
};
int main() {
    Test t = Test(Test());
    return 0;
}

为什么我们不能像这样实现它们：

class Test {
public:
    int *ptr;
    Test() {
    }
    Test(Test& t) {
        ptr = t.ptr;
        t.ptr = nullptr;
    }
};
int main() {
    Test t = Test(Test());
    return 0;
}

第二段代码似乎运行得很好。我不明白为什么我们不能那样做。

c++

来源：https://stackoverflow.com/questions/76498184/why-cant-i-implement-a-move-constructor-with-a-reference-variable

2条答案

按热度按时间

0g0grzrc1#

你当然能做到。你的代码的用户（包括你未来的自己）会诅咒你。

Test t1;
Test t2(t1); // Surprise! t1 no longer holds a valid pointer

对于一个接受右值的移动构造函数，你必须说你想把它放大：

Test t1;
Test t2(std::move(t1)); // Okay, says what it does

赞(0）回复(0）举报 2023-06-25

mutmk8jj2#

不能将非const左值引用绑定到右值（也就是说，不能使用prvalues和xvalues），所以特殊的构造函数不能用于临时或移动操作。

Test t;
Test t2(std::move(t)); // error: tries to bind a non-const& to an xvalue

在您的例子中，它之所以编译，是因为您使用的是C++17或更高版本，其中Test t = Test(Test());等价于Test t;，因为强制复制/移动省略1）。您的特殊构造函数根本没有使用。只有默认构造函数为。
1)t由相同类型的prvalue初始化，因此= T(...)直接初始化t。参见Copy elision on cppreference

赞(0）回复(0）举报 2023-06-25

我来回答

c++ 为什么我不能用引用变量实现移动构造函数？

2条答案

相关问题

热门标签

最新问答