在 C++ 中使用 std::unique_ptr 管理原始内存

Question

我想要一个小类，用这个 API 管理原始内存

template<class allocator = std::allocator<char> >
class raw_memory
{
   static_assert(std::is_same<char, typename allocator::value_type>::value,
                 "raw_memory: allocator must deal in char");
public:
   raw_memory() = default;
   raw_memory(raw_memory&&) = default;
   raw_memory&operator=(raw_memory&&) = default;
   explicit raw_memory(size_t, allocator const& = allocator());
   ~raw_memory();       // deletes any memory
   char*get();          // returns pter to (begin of) memory
   void resize(size_t); // re-allocates if necessary, may delete old data
   size_t size() const; // returns number of bytes currently hold

   raw_memory(raw_memory const&) = delete;
   raw_memory&operator=(raw_memory const&) = delete;
   raw_memory(raw_memory&) = delete;
   raw_memory&operator=(raw_memory&) = delete;
};

模板参数allocator 允许不同的内存对齐选项。

我正在考虑使用std::unique_ptr<char, Deleter> 作为成员（或基数）（加上一个保存字节数的size_t）。什么用作删除器？还是有更好的方法来实现这一切？

Answer 1

由于您让您的类的用户将分配器指定为类型参数，因此您必须在分配和解除分配时引用此参数。出于这个原因，@Kerrek 所做的推荐（虽然对函数指针的使用很棘手且很好）是无效的，因为您确实希望使用作为参数传递的分配器方法。

使用 unique_ptr 可以为您工作。正如您正确评论的那样，您必须提供自己的删除器，并且根据我上面的 cmets，它必须基于作为 agument 传递给模板的分配器类。

旁注：请注意您的模板声明中有语法错误。请参阅下面的示例代码以了解正确的语法（即您必须具有关键字“模板”）：

template< class A = std::allocator<char> >
class raw_memory
{
private:
    A m_al;
    std::unique_ptr< char, std::function<void(char*)> > m_buffer;

public:
    raw_memory( size_t size, const A& al = A() )
        :m_al(al)
        ,m_buffer( m_al.allocate(size), [this, size](char* ptr){ m_al.deallocate(ptr,size); } )
        {
        }
};

注意事项：

• 我使用 A 作为类型参数（我发现使用所有大写字母作为模板参数更具可读性）。
• 使用 c++11 Lambda 表示法，我将删除器函子传递给 unique_ptr 的构造函数。这个函子有一个闭包状态（对 al 的引用和大小），将在删除期间使用。在闭包中，我将 this 指针（访问 m_al 所需）和大小 - 都按值。