指向派生对象的基类型指针的 make_unique 的语法是什么？

Question

考虑以下基类和派生类。

class base
{
public:
    int i{9};
    virtual void func()
    {
        cout << "base" << endl;
    }
    virtual ~base()
    {

    }
};

class derived : public base
{
public:
    int i{4};
    void func()
    {
        cout << "derived" << endl;
    }

};

我想创建unique_ptr的base类型derived对象。我知道我能做到

std::unique_ptr<base> ptr{new derived};

但是当我这样做的时候

auto ptr = std::make_unique<base>(derived{});
ptr->func();

这会打印base，这不是我的预期行为。std::make_unique在这种情况下使用的正确方法是什么？另外，为什么auto ptr = std::make_unique<base>(derived{})呢？

Answer 1

当你做

auto ptr = std::make_unique<base>(derived{});

make_unique<base>将要创建一个unique_ptr<base>，这意味着它只会创建一个base对象。由于derived是从 base 派生的，因此将其传递给base的复制构造函数是合法的，以便代码编译，但您有一个base，而不是derived.

你需要的是

std::unique_ptr<base> ptr = std::make_unique<derived>();

获取base指向derived对象的指针。这不是您想要的语法，但它可以正常工作。

如果你使用

auto ptr = std::make_unique<derived>();

那么ptr将是 a std::unique_ptr<derived>，而不是 a std::unique_ptr<base>。