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 .