我知道无效指针会导致未定义的行为,但是free如何知道指针是否有效？
在免费列表中每个块的开头是否有一种校验和？就像是:
if((*ptr) == 'CHECKSUM'))
free
else
do something undefined
我知道无效指针会导致未定义的行为,但是free如何知道指针是否有效？
唯一的检查是指针是否为空.如果它是一个空指针,free(按规范)将不执行任何操作.
否则,free只是试图"释放"内存,假设它是由malloc,分配的内存calloc,或者realloc,它可以使任何事情发生(通常是坏事) - 因此是"未定义的行为".