如何正确处理具有指针的对象的返回值？

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。提供复制构造函数和复制赋值运算符。

如果您了解移动语义或打算使用右值引用，请提供移动构造函数和移动赋值运算符。有关详细信息，请参阅Rule-of-Three becomes Rule-of-Five with C++11?。