ｃ言語ポインタ、リスト、スタックについて

Question

リストでスタックを再現しているのですが
topがリストの先頭を指しています。

int pop(){
		Node node;

		if (top == NULL)
			return -1;
		node = *top;
		free(top);
		top = node.next;
		return node.value;
	}

このコードを自分なりに読むとnodeにtopの指すアドレスのコピーをしてる
次に、free(top)でtopの指す領域の開放している
ここで、気になったのがnodeがさしている領域はもう消されてるためアクセスできないと思うのですがtop = node.next;、node.valueのようにアクセスしている。
のがおかしいと思うのですが教えてください。

Answer 1

nodoは実態です

node = *top;

で、topの指し先からNodeを代入（コピー）してるので、topを開放しても問題はありません

top = node.next;

はあくまでローカル変数nodeから読み出してるだけ、ですね

Comments

[user012]

node にはtopの指す構造体の情報が入ってるってことですか？

Answer 2

ここで、気になったのがnodeがさしている領域はもう消されてるためアクセスできないと思うのですが

node はポインタではないので何も指しません。
node = *top; を実行すると、
node は Node型の構造体データで *top と全く同じデータを持っています。
2つの構造体データがある時に、free(top); で *top の領域を解放しても
それは node には影響しません。

おそらく次のコードと勘違いしているのでしょう。

int pop() {
	Node *node;

	if (top == NULL)
		return -1;
	node = top;
	free(top);
	top = node->next;
	return node->value;
}

Comments

[user012]

あ！ほんとですね。
ポインタじゃないですね！
node = *top;　これはtopの指す先の情報をコピーしてるってことですよね