C++ 11 - 复制指向抽象类型的智能指针的构造？

Question

我喜欢std :: unique_ptr。它帮助我防止内存泄漏，这非常有用。但是有一个问题：不允许复制分配和构建。

即使这个限制服务于程序员的安全，它也是相当有限的。如果您使用复制分配和构造将std :: unique_ptr的类作为其成员使用，则最终会出现问题。这就是为什么我创建了自己的包装与unique_ptr与复制构造和分配。下面是它的拷贝构造函数：

template<typename T, class Deleter> 
PointerSmartSafe<T, Deleter>::PointerSmartSafe(PointerSmartSafe const& pointer_smart_safe_) noexcept : _m_opPointerUnique((_m_opPointerUnique == nullptr) ? new T(*_m_opPointerUnique.get()) : nullptr){ 

} 

而这里的拷贝赋值运算符：

template<typename T, class Deleter> 
PointerSmartSafe<T, Deleter>& PointerSmartSafe<T, Deleter>::operator=(PointerSmartSafe const& pointer_smart_safe_) noexcept{ 
    _m_opPointerUnique = decltype(_m_opPointerUnique)(new T(*_m_opPointerUnique.get())); 
    return *this; 
} 

一切工作正常，直到我结束了使用抽象基类的类型（T）。我收到了以下错误消息：

error: cannot allocate an object of abstract type 'AbstractBaseClass' 

这使我困惑。有没有解决方法？

Answer 1

但有一个问题：不允许复制分配和构造。

这不是问题。如果你发现它是一个问题，你做错了什么。

即使这个限制服务于程序员的安全，它也是相当有限的。

这是故意限制，也许你应该重新考虑你的设计。

这就是为什么我创建了自己的包装与unique_ptr与复制构造和分配。

你想要的是不是一个unique_ptr那么，你希望有一个 “克隆PTR”

这困扰我

有什么困惑呢？你正试图创建一个抽象基类的实例。你的代码也会分割非抽象的基础。这本质上是不安全的。

这应该告诉你一些重要的事情：复制unique_ptr所持有的对象不能一般地完成，它需要unique_ptr没有的上下文。这个上下文或者来自拥有你想要复制的东西的对象（它需要拥有对象知道对象的动态类型），或者来自你想要复制的东西（它可以使用虚拟函数来复制正确的动态类型的上下文）

传统的解决方案是将虚拟clone()成员函数添加到您的类型，然后在可能的情况下使用它。

你可以将此主题融入你的构造是这样的：

template<typename T> 
    auto clone(T* t) -> decltype(t->clone()) 
    { return t->clone(); } 

template<typename T> 
    std::unique_ptr<T> clone(T* t, ...) 
    { return std::unique_ptr<T>(new T(*t)); } 

// ... 

_m_opPointerUnique((_m_opPointerUnique == nullptr) ? clone(_m_opPointerUnique.get()) : nullptr)