如何正确处理带指针的对象的 return-by-value？

Question

假设我有一个 class Foo 其中 "has a" 单个成员变量是指向 Bla:

的某个其他对象的指针

struct Foo {
    Bla *bla;

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

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

Foo make_foo() {
    return Foo();
}

这将创建一个新的 Foo 和 Bar，return 是创建的 Foo 对象的副本，包括一个副本内部指针，然后销毁本地对象和 Bla 对象。因此，以下代码失败：

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

现在人们普遍认为这是糟糕的设计吗？

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

我应该提供 move constructor 吗？那会正确处理 bla 指针吗？

Answer 1

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

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

How to handle return-by-value of objects with pointers correctly?