我可以用自定义删除器简洁地声明 std::unique_ptr 吗？

Question

我正在处理具有关联的 new_ 和 free_ 方法的 C 类型。

new_ 的类型签名可能会有所不同，但 free_ 始终是 void free_something(something*);

目前，我以这种方式声明我的unique_ptrs，这似乎过于冗长：

std::unique_ptr<qdr_link_t, decltype(&free_qdr_link_t)> link{new_qdr_link_t(), free_qdr_link_t};

我可以用更少的仪式来做这件事吗？当我的释放器是std::free() 函数时，我看到了一个巧妙的解决方案，位于https://stackoverflow.com/a/43626234/1047788。我试图创建一个可以参数化释放器的版本，但我没有用它。

我能想到的最好的办法是根据上述声明创建一个宏。

Answer 1

我一直在使用以下：

template <auto fptr>
struct Caller {
    template <class... Args>
    auto
    operator()(Args&&... args) noexcept
    {
        return fptr(std::forward<Args...>(args)...);
    }
};

示例用法：

using qdr_freer = Caller<free_qdr_link_t>;

using unique_qdr_ptr = std::unique_ptr<qdr_link_t, qdr_freer>;

[[nodiscard]] unique_qdr_ptr
make_qdr_unique()
{
    return unique_qdr_ptr{new_qdr_link_t()};
}

此实现使用 C++17 功能，因此需要进行一些更改才能在 C++11 中工作。

---

请注意，虽然Caller 看起来与std::free 很匹配，但严格来说它们并不兼容，因为std::free 是一个标准库函数，并未指定为“可寻址”。

Answer 2

让语言做艰苦的工作！

#include <memory>

struct qdr_link_t;
qdr_link_t* new_qdr_link_t();
void free_qdr_link_t(qdr_link_t*);

template <typename T, typename Deleter>
auto make_unique_ptr(T* raw, Deleter deleter)
{
    return std::unique_ptr<T, Deleter>(raw, deleter);
}

//std::unique_ptr<qdr_link_t, decltype(&free_qdr_link_t)> link{new_qdr_link_t(), free_qdr_link_t};
auto link = make_unique_ptr(new_qdr_link_t(), free_qdr_link_t);

添加std::forward 品尝（如果你在乎的话）。

---

对于 C++11，您需要将尾随返回类型 -> std::unique_ptr<T, Deleter> 添加到 make_unique_ptr，或者将其放入“正常”返回类型中。