删除链表节点后执行heapify触发段错误的原因及野指针差异分析

为什么delete_node无异常，heapify却触发段错误？ #

• 操作逻辑的访问范围差异：delete_node的逻辑只是调整前驱节点的next指针跳过待删节点，随后释放该节点内存。整个过程不会去读取已释放节点的next指针，自然不会触发非法访问。但heapify需要遍历堆结构（不管是递归还是迭代访问子节点/后续节点），必然会去读取节点的next指针——此时被删除的节点内存已经被系统回收，属于无效内存，访问它就会触发段错误。
• 野指针行为的不确定性：野指针的行为是未定义的，不是每次访问都会立刻崩溃。删除值为1的节点后没出问题，只是巧合——要么那块被释放的内存暂时没被其他操作改写，要么heapify的遍历路径没走到访问该节点next的步骤；而删除值为7的节点后，heapify刚好需要访问这个已释放节点的next，此时内存已经被篡改，直接触发崩溃。
• 置空指针的必要性：释放节点内存前，把它的next等指针成员置空，或者把指向该节点的指针置空，能让后续遍历逻辑识别出无效节点（遇到NULL就停止），避免去访问无效内存。

内容的提问来源于stack exchange，提问作者estevao