销毁呼叫安置新

Destroy call in placement new

我有一个基本问题。

一般情况下,使用placement new,我们可以在预分配的内存上构造对象。

举个例子:My_CLass 大小是 20 字节,想为 5 个对象创建一个池。所以 5*20 => 100 字节已经分配,​​池的起始地址是 0x1234

现在,使用 placement new,我在内存池中放置了 3 个对象。

我的问题是,

  1. 有了那个起始地址0x1234,有没有办法找到 池中有效对象的数量?

  2. 如果我毁了第二个 对象,系统如何知道第二个要创建的下一个对象 位置等等?

在本次讨论中,“池”一词用于表示某种 pre-allocated 内存,用于保存一组特定类型的对象(可以是一个 class,或者不同 classes,相关或不相关)

  1. 也许吧。这完全取决于池本身的设计和实现方式。

  2. 池,假设支持此类操作的正确且有效的实现,将跟踪空闲 space 的位置、大小等。

    通常的工作方式是在池的元数据中存储一个指针(换句话说,关于池本身的数据,知道池的大小,分配了多少元素等) ),它是池中空闲元素的链表的头部。这只是一种解决方案,但它是一种相当常见的解决方案。

请注意,这种情况与从堆中分配的常规 new 完全没有区别,除非您有一个能够跟踪池中元素数量的特定池,这普通堆不允许您直接执行此操作(您最有可能找出总共有多少分配,但这可以是从 file-buffer 分配和动态字符串到类型 X、类型 Y 的对象的任何东西 -堆本身不跟踪特定分配的目的是什么,那是“别人的问题”)。