c++ - 返回成员变量时如何利用 move 语义？

Question

我正在实现一个构建 uint8_t vector 的工厂类。我希望能够在返回结果 vector 时利用 move 语义。这似乎可行，但我不确定这是完成我想要的事情的正确方法。

我已经看到很多关于如何将返回的自动变量视为右值并使用调用代码的 move 构造函数的示例，但在我的示例中，返回的对象是一个成员。我知道如果调用者将返回值放入 move 构造函数中，成员将丢失其内容 - 这正是我想要的。

我是这样写的:

#include <cstdint>
#include <iostream>
#include <vector>

class Factory
{
public:
    std::vector<uint8_t> _data;

    Factory(std::size_t size) :
        _data(size, 0)
    {
    }

    void buildContent(int param)
    {
        // perform operations on the contents of _data
    }

    std::vector<uint8_t> && data()
    {
        return std::move(_data);
    }
};

int main()
{
    Factory factory(42);
    factory.buildContent(1);
    std::vector<uint8_t> temp(factory.data());
    std::cout << "temp has " << temp.size() << " elements" << std::endl;
    std::cout << "factory._data has " << factory._data.size() << " elements" << std::endl;

    return 0;
}

编辑:

哦，示例代码输出如下:

temp has 42 elements
factory._data has 0 elements

Answer 1

首先，你必须决定你想要什么。你真的想从你的实例中吸取数据吗？如果是这样，那么您所拥有的就可以做到这一点。另一方面，它看起来很不安全。你可以做的是使用引用限定符来强制你只在实例本身是右值引用时返回右值引用:

std::vector<uint8_t> && data() && // called on rvalue
{
    return std::move(_data);
}

// return lvalue ref or value
std::vector<uint8_t>& data() & // called on lvalue
{
    return _data;
}

最后，这完全取决于您要解决的问题，这在您的问题中并不明显。