c++ - 如何将 unique_ptr 与更通用的删除器一起使用？

Question

考虑一些功能:

template<typename F>
void foo(F f) {
  std::unique_ptr<int> p = f();
  // do some stuff with p
}

因为 unique_ptr规定默认模板参数，default_delete , 对于 D , 传递给 foo 的任何函数对象返回 unique_ptr使用非默认删除器无法编译。例如，

int x = 3;
foo([&x](){
    // use empty deleter
    return std::unique_ptr<int>(&x, [](int*){});
});

但是，我可以看到这可能有用，而且我没有看到为什么它不应该成为可能的直接原因。是否有解决此问题的通用方法？

编辑

简单的解决方法是定义 foo而是使用以下内容:

  std::unique_ptr<int, std::function<void(int*)>> p = f();

但我想知道为什么不能将其合并到 unique_ptr 的界面中？类接口(interface)无法提供此通用属性是否有原因？有没有办法将这种东西“包装”成一个新的定义？

例如，

template<typename T>
using Generic_unique_ptr =
  std::unique_ptr<
    T,
    std::function< void(typename std::unique_ptr<T>::element_type*) >
  >;

但这看起来很危险，因为它暴露了做如下事情的可能性，

Generic_unique_ptr<int> p(new int());

这将使删除器未初始化并表现出未定义的行为。或许可以通过某种方式提供实例 std::default_delete<T>作为默认删除器？

Answer 1

如果你只想在函数中使用指针，你可以使用 auto关键词;编译器将推断出 unique_ptr 的类型它已被使用，因此会自动做正确的事情:

template <typename F>
void foo(F f)
{
    auto p = f();
    p->bar();
}

现在，从您的评论中，我们知道这不是您想要的全部，但您希望能够存储 unique_ptr在你的类里面一起工作稍后。这会产生一系列完全不同的问题:

1. unique_ptr<T, D1>和 unique_ptr<T, D2>是不同的类型。因此我们需要知道什么 unique_ptr<T, D>将由您的仿函数返回 F
2. 即使我们知道 F 的返回类型提前我们类还是只能存unique_ptr<T, D1>而不是 unique_ptr<T, D2> .

解决这个问题的最简单方法(我能想到的，可能有更好的方法方式)是类型删除。

我们自己创建了一个基类，它公开了由 unique_ptr :

template <typename T>
struct wrapper
{
    virtual ~wrapper() {}
    virtual T const * get() const = 0;
    virtual T * get() = 0;
};

从那个类继承了我们实际的存储类，它推导出类型的 unique_ptr :

template <typename T, typename F>
struct storage
    : wrapper<T>
{
    storage(F f) { p_ = f(); }
    T const * get() const { return p_.get(); }
    T * get() { return p_.get(); }

    private:
        typename std::result_of<F()>::type p_;
};

在你真正关心的类中，你现在可以存储一个指向我们的指针基类并使用多态性来访问底层对象，在这个案例unique_ptr .假设我们将上面的类移动到 namespace detail对用户隐藏它们:

template <typename T>
class some_class
{
    public:
        template <typename F>
        void store(F f)
        {
            storage_.reset(new detail::storage<T, F>(f));
        }

        T const * get() const { return storage_->get(); }
        T * get() { return storage_->get(); }

    private:
        std::unique_ptr<detail::wrapper<T>> storage_;
};

您可以找到一个完整的示例 here .