Question

我有一个面试问题要写一个内存管理器（内存池）。我差不多完成了，但是我在解除分配方面遇到了问题。在我们提及帮助来源的同时寻求帮助也很好。所以请帮帮我

int main(void)
{
  using namespace PoolOfMemory;

  initializePoolOfMemory(); // Initialize a char array as the memory pool

  long* int_pointer;

  int_pointer = (long *) allocate(sizeof(long)); //allocate is defined in PoolOfMemory and it returns void*.

  int_pointer = 0xDEADBEEF;

  deallocate(int_pointer);
}

现在我的问题是当＆＃34; deallocate＆＃34;尝试解除分配int_pointer，它会引发访问冲突错误，显然是因为我试图访问0xDEADBEEF。下面是我简单的deallocate函数：

void deallocate(void* p)
{
    Header* start = (Header*)((char*)p-sizeof(Header));
    start->free=true; //This is where I get access violation.;
}

我该如何避免这种情况？我假设检查p是否在我的数组中，根据我在网上读到的内容，它不会起作用。

Answer 1

内存管理器确实更接近硬件级别，可能需要根据它们使用的操作系统和CPU类型做出决策。

在这种情况下，您可以证明打破一些C ++抽象机器规则是正确的。例如，只需将指针与池数组的边界进行比较即可。是的，这可能会在使用分段内存或可能形成陷阱指针的架构上出错，但您还要做什么？

之后，为了验证你有一个正确的指针，你可以让你的分配器在分配头块中写一个魔术值，你可以在开始写入免费布尔值和空闲块指针等之前在deallocate函数中验证它。

如何检查指针在C ++中是否有效？

1 个答案: