prev
e temp
são ponteiros. Ou seja, são variáveis, que vivem em seu próprio endereço de memória, cujo valor é um endereço para outro lugar na memória.
int x = 5; // variável com o valor 5
int *y = &x; // variável cujo valor é o endereço de memória da variável x
*y = 6; // Atribui o valor 6 no endereço de memória armazenado em y.
// ou seja, a x.
prev->prox
é equivalente a (*prev).prox
. Em prev->prox = temp->prox;
você está dizendo:
- Pegue o valor armazenado no local de memória apontado por
prev
- Esse valor é uma struct que, entre outras coisas, possui um endereço de memória chamado
prox
- Atribua à
prox
o endereço de memória que está em (*temp).prox
Visualmente
Estado inicial:
-- [ prev ] -- [ elemento a excluir ] -- [ prox ]
^
temp
Estado final:
-- [ prev ] -- [ prox ]
temp > [ elemento a excluir ]
Ou seja, o nó anterior vai apontar para o próximo de temp
. O que significa que a lista original irá pular o nó para qual temp
está apontando. Você então libera a área de memória para qual temp
aponta na linha seguinte e temp
sai de escopo.
Já em temp = temp->prox;
você está fazendo temp
apontar para seu próximo elemento. Nesse caso você está mudando o endereço para o qual a variável temp
está apontando. Seria o equivalente a fazer:
int z = 6;
y = &z;
Veja que x
nesse caso continua sendo 5. Você mudou o endereço para qual y
aponta e não o conteúdo de x
.
Da mesma forma, nada acontece com prev->prox
pelo fato de você ter mudado o endereço para o qual temp
aponta. prev->prox
ainda está apontando para o endereço do nó que você estava querendo excluir.
E o pior: temp
agora está apontando para o próximo elemento (logo depois do elemento que você pretendia excluir):
Na próxima linha você está chamando free(temp)
. Nesse caso:
- Você está liberando memória do endereço do elemento errado
[elemento a excluir]->prox
aponta para uma área de memória que você liberou.
Visualmente
Estado inicial:
-- [ prev ] -- [ elemento a excluir ] -- [ prox ]
^
temp
Estado final:
-- [ prev ] -- [ elemento que deveria ter sido excluido ] -- 💣