如何使用自定义删除器创建一个 unique_ptr 数组？

Question

这是我所拥有的：

Demo

#include <cstdio>
#include <memory_resource>
#include <memory>
#include <string_view>
#include <array>
#include <utility> /* declval */


struct msg_outbound_t
{
    std::string_view hello_ = "Hello World!";
};

// Default deleter - works

// using msg_handle_t = std::unique_ptr<msg_outbound_t>;

// Custom deleter - doesn't work

using allocator_t = std::pmr::polymorphic_allocator<std::byte>;

auto pmr_deleter(allocator_t allocator) {
    return [allocator](msg_outbound_t* p) mutable { allocator.delete_object(p); };
}

using msg_handle_t = std::unique_ptr<msg_outbound_t, decltype(pmr_deleter(std::declval<allocator_t>()))>;


int main()
{
    std::array<msg_handle_t, 8> myarray;
}

它不起作用，因为似乎不能默认构造带有自定义删除器的 unique_ptr？是否有解决方法来创建它们的数组？

错误：

<source>:31:33: error: use of deleted function 'std::array<std::unique_ptr<msg_outbound_t, pmr_deleter(allocator_t)::<lambda(msg_outbound_t*)> >, 8>::array()'
   31 |     std::array<msg_handle_t, 8> myarray;
      |                                 ^~~~~~~

Answer 1

似乎不能默认构造带有自定义删除器的unique_ptr？

是的，但是您必须提供一个可以实例化为模板参数的类：

using allocator_t = std::pmr::polymorphic_allocator<std::byte>;

struct pmr_deleter {
    void operator()(msg_outbound_t * p) {
         allocator.delete_object(p);
    }
    allocator_t allocator;
};

using msg_handle_t = std::unique_ptr<msg_outbound_t, pmr_deleter>;

Demo