Question

修改一些旧代码，我手动处理原始指针向量的生命周期到抽象基类（ABC）的具体实例。

因此，向量的拥有者有一个虚拟的dtor，它手动浏览并删除了向量的内容等。

由于向量的拥有者拥有其中的元素，因此将其更改为unique_ptr的向量非常有意义。

可悲的是，这似乎不可能？因为vector<unique_ptr<type>>必须能够为type设置静态dtor，但因为在这种情况下类型是ABC，因此不可用，因此vector不会编译。 ..

或者我错过了什么？

e.g：

struct ABC
{
    ABC() = default;
    virtual ~ABC() { } // need a vtable entry so that concrete subclasses will be deleted through the base dtor

    virtual std::unique_ptr<ABC> Clone() = 0;
    virtual void Foo() = 0;

    std::vector<std::unique_ptr<ABC>>   elements;
};

EDIT2：这是一个失败的完整示例：

#include <iostream>
#include <memory>
#include <vector>

struct ABC
{
    virtual ~ABC() { } // need a vtable entry so that concrete subclasses will be deleted through the base dtor

    virtual std::unique_ptr<ABC> Clone() = 0;
    virtual void Foo() = 0;

    std::vector<std::unique_ptr<ABC>>   elements;
};

struct Child : ABC
{
    std::unique_ptr<ABC> Clone() override { return std::make_unique<Child>(*this); }
    void Foo() override { };
};

struct Derived : Child
{
    std::unique_ptr<ABC> Clone() override { return std::make_unique<Derived>(*this); }
};

int main()
{
    std::unique_ptr<ABC> x;
    std::unique_ptr<ABC> c = std::make_unique<Child>();

    std::vector<std::unique_ptr<ABC>>   elements;
    elements.emplace_back(std::make_unique<Derived>());
    return 0;
}

Answer 1

当您尝试复制Base的实例或从Base派生的类型的实例时，会发生此错误。默认的复制构造函数将尝试复制Base::elements，它会尝试将每个元素复制到新的vector中。由于这些元素为unique_ptr<Base>，因此不允许使用此副本。

此示例重现了该问题：

#include <memory>
#include <vector>

struct Base
{
    using PBase = std::unique_ptr<Base>;
    using VBase = std::vector<PBase>;

    VBase   elements;
};

int main()
{
    Base x;
    auto y = x; // This line causes the error

    return 0;
}

您可能需要实现自己的复制构造函数和复制赋值运算符，或者通过删除这些函数禁止复制。如果浅拷贝适用于您的应用程序，则使用shared_ptr可能会有效。

Answer 2

为了完整起见，这就是我应该做的事情：

class ABC
{
public:
    ABC() = default;
    ABC(const ABC & rhs)
    {
        // manually clone our elements
        elements.reserve(rhs.elements.size());
        for (const auto & e : rhs.elements)
            elements.emplace_back(e->Clone());
    }
    ABC & operator = (const ABC &) = delete;

    virtual ~ABC() { } // need a vtable entry so that concrete subclasses will be deleted through the base dtor

    virtual std::unique_ptr<ABC> Clone() = 0;
    virtual void Foo() = 0;

    std::vector<std::unique_ptr<ABC>>   elements;
};

如何/有可能有一个载体<unique_ptr <abc>＆gt;？

2 个答案: