垂悬指针问题

问题

垂悬指针问题，这个问题的定义我是知道的。通常是说当指向某块内存的指针被释放之后，需要及时置空。否则，如果不置空，当下次不小心访问到时，会导致错误。当然，这个问题说起来很简单。觉得也没什么太大的问题，但是指针这一块确实得非常小心，从下面我范的这个问题说起。

下面这段代码是我刷leetcode的时候的一段代码，主要删除链表中重复的元素。当然下面的代码是正确的。

/** * Definition for singly-linked list. * struct ListNode { *     int val; *     ListNode *next; *     ListNode(int x) : val(x), next(NULL) {} * }; */class Solution {public:    ListNode* removeElements(ListNode* head, int val) {        if(!head) return NULL;        ListNode* ret = head;        ListNode* pre = NULL;        while( head ){            if(head->val == val)            {                ListNode* cur = head;                if(pre)                     pre->next = head->next;                    head = head->next;                }                else                {                    head = head->next;                    ret = head; // 这里没有，一直RE                }                delete cur;            }            else            {                pre = head;                head = head->next;            }        }        return ret;    }};

但是，我第一次写的时候，在注释处的代码是没有的，也就是说我忘了更新ret的值。代码就一直RE。
那么我们仔细分析一下这个问题，对于ret的更新，是在头结点被删除的时候才会。那么如果不更新会导致什么结果呢？对于头结点来说，ret和head都指向他，程序在执行循环的时候，发现头结点的值和val一样，所以考虑删除这个节点，那么此时 delete head.会释放这段空间，由于head又指向了下一个节点，所以并不会出现垂悬指针问题。但是本题的问题出现的非常隐蔽，当多个指针指向一块内存时，此时用head释放了该处内存，但是ret任然指向这块内存。所以，最后返回的时候，对ret的访问会导致RE。因为ret在之前应该被置位垂悬指针，否则访问后就会出现错误。本题就是栽在了这个上面。

所以，当多个指针指向同一块内存时，务必保证当这块内存释放时，一定要把指向这块内存的所有指针都置空。