c++ - 如何正确处理带指针的对象的按值返回？

Question

假设我有一个 Foo 类，它“有一个”单个成员变量，它是指向 Bla 的其他对象的指针:

struct Foo {
    Bla *bla;

    Foo() {
        this->bla = new Bla();
    }
    ~Foo() {
        delete this->bla;
    }
};

如何处理此类对象的按值返回？

Foo make_foo() {
    return Foo();
}

这将创建一个新的 Foo 和 Bar，返回已创建的 Foo 对象的一个​​拷贝，包括一个拷贝内部指针，然后销毁本地对象和 Bla 对象。因此，以下代码失败:

Foo f = make_foo();
std::cout << f.bla << std::endl;

现在这通常被认为是糟糕的设计吗？

我应该提供 copy constructor 吗？ ？在这种情况下，深度复制更复杂的对象树可能会对性能产生严重影响。

我应该提供 move constructor 吗？ ？这样可以正确处理 bla 指针吗？

Answer 1

由于您的类分配动态内存并在析构函数中释放内存，请遵循 The Rule of Three .提供复制构造函数和复制赋值运算符。

如果您了解 move 语义或打算使用右值引用，请同时提供 move 构造函数和 move 赋值运算符。参见 Rule-of-Three becomes Rule-of-Five with C++11?了解更多详情。