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

Question

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

struct Foo {
    Bla *bla;

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

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

Foo make_foo() {
    return Foo();
}

这将创建一个新的Fooand Bar，返回所创建对象的副本Foo，包括内部指针的副本，然后破坏本地对象及其Bla对象。因此，以下代码失败：

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

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

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

我应该提供一个移动构造函数吗？那会正确处理bla指针吗？

score 2 · Accepted Answer

由于您的类分配动态内存并在析构函数中释放内存，因此请遵循“三法则”。提供复制构造函数和复制赋值运算符。

如果您了解移动语义或打算使用右值引用，请提供移动构造函数和移动赋值运算符。看到C++11 的三规则变成五规则了吗？了解更多详情。

1 回答 1