如果已知 void* 分配大小，如何将确切的内存大小传递给 free()

Question

据我所知；在c++和c中delete操作符或free()函数可以通过pionter数据类型知道分配内存的大小，delete可以自动调用析构函数。

如果分配的指针是使用一种在其机制中不使用新运算符的单例静态动态数组注册的（即仅malloc） 在超载的新指针中。此数组注册void* 指针并从重载的new operator 中获取该指针的大小

例如。

void * operator new (size_t sz) {
  void * m = malloc (sz);
  Dynamic_Array::get_instance()->add(m,sz) ; //registering  pointer
  return m ;
}

所以我的问题是如何使用有关大小的信息来释放我忘记使用该数组的析构函数删除的确切分配的内存。

例如

Dynamic_Array::~Dynamic_Array() {
  int index = 0;
  while(index < storage_size) //storage_size: total number of pointers in array 

 /* storage is void** array which  register 
   allocated pointers as void* and use classic memset and memcpy to enlarge*/

    {
      if (storage[index] != NULL) printf("Pointer : %d was not deleted\n", storage[index]);
//how to use delete or free here to delete void* pointer  but with known size of memory
      index ++;
      }
}

谢谢。

Answer 1

据我所知；在c++和c中，删除操作符或者free()函数可以从pionter数据类型知道分配内存的大小

没有。删除操作符调用free()函数； free() 函数以某种方式从与指针关联的元数据中知道大小，例如内存中前一个字中的长度字。

而del​​ete可以自动调用析构函数。

是的。

我的问题是如何使用有关大小的信息来释放我忘记使用该数组的析构函数删除的确切分配内存。

你不需要知道。见上文。

Answer 2

在 C 中，

free() 函数使用围绕已分配内存的堆中的数据结构。

该数据结构包括已分配内存的实际起始地址、堆中前一个内存块的地址以及堆中下一个内存块的地址。

一般来说，堆实际上是两个链表。

一个是分配内存，一个是空闲内存。

malloc 操作从空闲链表中获取适当大小的块并将其放入分配的内存链表中。 这可能涉及将一个较大的空闲内存块分成两个较小的内存块，其中一个被移动到分配的内存链表中，并且指针在空闲内存列表中为新块调整

一个空闲的从分配的内存链表中删除该条目并将其放入空闲链表中。

那么如果空闲链表包含两个相邻的内存块，那么这两个内存块被组合成一个/更大的内存块。

有几种算法可用于准确确定哪个空闲区域被分解/移动到分配的内存列表。