c++ - C++智能指针丢失在std::make_unique中

我正在转换一些旧代码以利用C++中的智能指针。但是，我遇到了一个运行时问题，需要努力解决。我有如下代码:

struct foo {
    int field;
};

class SomeClass {
private:
    std::unique_ptr<foo> m_Foo;
    int m_Field;
public:
    SomeClass(std::unique_ptr<int> ctorArg)
        : m_Field(ctorArg->field), m_Foo(std::move(ctorArg)) {
    }
};

std::unique_ptr<foo> fooPtr{ new foo() };
auto const classInstance{ std::make_unique<SomeClass>(std::move(fooPtr)) };

如果在调用SomeClass构造函数之前放置了一个断点，则可以验证fooPtr不为null。但是，一旦进入SomeClass构造函数，由于m_Field为null(空)，尝试初始化ctorArg时应用程序崩溃。这是预期的吗？如果我将构造函数签名更改为std::unique_ptr<int> &&，则会看到相同的问题。有人可以解释此代码的问题是什么，以及如何解决它吗？

最佳答案

member-initializer-list的顺序无关紧要，成员将按照其声明的顺序进行初始化。

因此，首先m_Foo(std::move(ctorArg))将对ctorArg 归零，然后 m_Field(ctorArg->field)将尝试取消引用空的ctorArg。

将您的代码更改为:

class SomeClass {
private:
    std::unique_ptr<foo> m_Foo;
    int m_Field;
public:
    SomeClass(std::unique_ptr<int> ctorArg)
        : m_Foo(std::move(ctorArg)), m_Field(m_Foo->field) {
    }
};

也就是说，请务必按照声明字段的顺序提及初始化程序，不要使用已移出的输入参数。