c++ - 出于对 SO 中旧帖子的好奇，如何使用智能指针进行类型删除

Question

我遇到了一个较老的思考 Type erasure techniques , 通过 Xeo ，我开始想知道，应该如何修改该代码以使其与 std::unique_ptr'ers 一起工作？和 std::shared_ptr'ers .

帖子中的代码可以找到here .如果输入包含 unique_ptrs 的内容，代码将无法编译。和 shared_ptr'ers 中的数据变成垃圾。我尝试的是一个从模板化基类继承的类，所以它可能也有些复杂。现在，这主要是出于好奇，因为我开始怀疑这是否会很困难(在一般情况下)，因为这在存储复杂对象时会变得很方便，比如在 std::vector 中。什么时候Boost.Any无法使用。

编辑:我注意到在测试时我的代码中有一个错误，该代码与 shared_ptr'ers 一起工作得很好(内容不是垃圾)，虽然不是 unique_ptr'ers .然后，为什么不存储删除的这种类型的新实例 Any_Virtual (如 Xeo 提供的代码)到，比如说，std::unique_ptr'ers .

我想接下来的问题是:

1. 如何修改Any_Virtual以便它可以与 std::unique_ptr 一起使用？
2. 哪个设计更好，std::vector<Any_Virtual>对象，其中 Any_Virtual持有一个智能指针，或者一个 std::vector<std::unique_ptr<Any_Virtual>>对象？或者它甚至重要吗？

Answer 1

当您使用类型删除时，类型必须满足一组要求才能与类型删除容器兼容:这组要求称为模型。特别是 holder<T>::clone复制的成员*this反过来需要 held_ (属于 T 类型，被删除的类型)是可复制构造的。因此，类型删除类的模型是可复制构造的。

但是一个包含 std::unique_ptr 的类型不会开箱即用。

如果不知道您想要实现什么，就没有明显的解决办法。也许您真的希望模型不那么严格，例如它可能只需要可移动构造(包含 std::unique_ptr 的类型可以轻松实现，开箱即用)。或者，也许您真的想要那些包含 std::unique_ptr 的类型s 是可复制构造的。

在我看来，类型删除所能做的最糟糕的事情就是妥协，让模型上的操作有条件地工作，这取决于被删除的类型本身是否支持这样的操作。这意味着复制 Any_Virtual如果值恰好持有不可复制构造的删除类型的值，则会导致异常。

也许更令人担忧的是，您获得垃圾的事实 std::shared_ptr强烈建议您对 Any_Virtual 的实现存在问题或您对它的使用。您应该绝对不假设使用 std::shared_ptr 有问题串联Any_Virtual单独使用，但在 Any_Virtual 中使用 anything 可能会有问题.由于我没有注意到实现中的问题(但我很容易忽略了一些东西)，我想看一个展示问题的程序示例。