使用模板向上转换 unique_ptr

Question

考虑以下简单代码：

#include <memory>

template<typename T>
struct Foo
{
    virtual T & foo() = 0;
};

struct Bar : public Foo<int>
{
    int x;
    virtual int & foo() override
    {
        return x;
    }
};

void baz(std::unique_ptr<Foo<int>>)
{
}

int main()
{
    auto up = std::make_unique<Bar>();
    baz(up);
    return 0;
}

它不会编译报告这个错误：

prog.cc:27:9: error: could not convert 'up' from 'unique_ptr<Bar,default_delete<Bar>>' to 'unique_ptr<Foo<int>,default_delete<Foo<int>>>'
   27 |     baz(up);
      |         ^~
      |         |
      |         unique_ptr<Bar,default_delete<Bar>>

我想知道如何解决这个问题。 share_ptr 似乎有适当的转换方法来解决这个问题，而对于unique_ptr 似乎没有其他选择。

Answer 1

首先，您在baz 中采用参数按值，这意味着复制 std::unique_ptr 并且...这是不可能的（或@ 987654323@ing 它，但我怀疑这就是你想要的）。

其次，std::unique_ptr 不会转换，因为这需要复制。

解决方法是什么？

你可以这样做：

std::unique_ptr<Foo<int>> up = std::make_unique<Bar>();

代替：

auto up = std::make_unique<Bar>();

并将baz中的参数引用：

void baz(std::unique_ptr<Foo<int>>&) { ... }

---

第一件事是将unique_ptr 保存到派生的unique_ptr 到基础。 auto 不能这样做，除非你使用演员表。

如前所述，第二件事是不要复制unique_ptr。

此外，您的代码表现出未定义的行为，因为您使用基类指针删除了派生类对象。这需要基类中的 virtual 析构函数。