运算符删除 - 如何实现？

Question

我知道在正常情况下如何处理内存释放。我的情况略有不同。

我正在实现自己的内存池。我希望我班的客户尽可能接近一般的分配和取消分配方法。

inline void* operator new(size_t dead_param, CPool&  objPool)
{
    return objPool.Allocate();
}

我有这个全局函数，所以我班的用户可以简单地调用

Base baseObj = new (poolObj)Base2();

现在我不知道如何调用析构函数？我显然没有任何想法

虽然我有全局操作符删除

inline void operator delete(void* ptr, CPool& objPool)
{
    objPool.DeAllocate(ptr);
}

请指导..我怎样才能从客户端代码中调用这个函数？从用户端对语法进行最小的更改。另请注意，我不希望我的代码的用户实现operator new 和operator delete 并从那里调用Allocate 和DeAllocate。

Answer 1

简而言之：使用placement new 是唯一可以显式调用析构函数的情况：

baseObj->~Base();

但这看起来很奇怪，因为使用你的内存池，你实际上是在让最终用户做所有的簿记......这使得你的内存池类并不比仅仅使用 std 更好（并且可以说更糟） ::矢量。

我不会让用户自己进行新的放置...相反，如果提供您自己的内存池，则应该使用 ObjectPool 类来完成：

class ObjectPool {
  public:
    template <typename T, typename... A>/*c++ 11 ftw*/
    T* allocate(A... args) {
       void* create_location;//pool figures out where this is, probably with sizeof<T>

       return new (create_location) T(args...);
     }
     template <typename T>
     void dellocate(T* t) {
         t.~T();//With placement new, this is the one place this is OK
         //pool marks that memory as avaiable to be allocated in
     }
 }

老实说，这是让您的池拥有更多实用程序的唯一方法，而最终用户只是制作自己的std::vector<uint8_t>。

应该注意的是，这并不能阻止 T 在堆上分配其他任何东西...