c - 传递指针的free() 'know'如何有效？

Question

我知道无效指针会导致未定义的行为，但 free 如何知道指针是否有效？

在空闲列表中的每个 block 的开头是否有一种校验和？类似于:

if((*ptr) == 'CHECKSUM'))
  free
else
  do something undefined

Answer 1

I know that an invalid pointer leads to undefined behaviour but how does free know whether a pointer is valid or not?

唯一的检查是指针是否为空。如果它是空指针，则 free(根据规范)将不执行任何操作。

否则，free 只是尝试“释放”内存，假设它是由 malloc、calloc 或realloc，它可以使任何事情发生(通常是坏事)——因此是“未定义的行为”。