Как free () сразу же после присваивания NULL может привести к зависанию указателя?

Question

Как приведенный ниже код может привести к зависанию указателя.

{
    char *cPointer = malloc ( some constant number );
    /* some code */
    free ( cPointer );      
    cPointer = NULL;        
    /* some code */
}

Answer 1

Это не может.

Это будет:

char * a = malloc(556);
char * b = a;
free(a);
a = NULL;

b теперь висячий указатель, потому что объект, на который он указывал, исчез, но bвсе еще сохраняет адрес в памяти, где был объект, вы получаете забавные результаты, когда пытаетесь получить к нему доступ - это зависит от того, была ли память повторно использована или нетронута.

Answer 2

Если первый «некоторый код» копирует значение указателя из cPointer в какую-либо другую переменную указателя, а второй «некоторый код» использует эту другую переменную указателя, это приведет к проблемам.

Если первый «некоторый код» генерирует исключение, так что свободное никогда не достигается, это приведет к утечке памяти.