ポインタ変数にポインタ変数を代入する式について

Question

C言語のポインタについて学習中です。ポインタ変数同士での代入式でどのような式が可能でどのような式が不可能なのかわからないので回答してほしいです。まず、はじめに書いたコードがこれです。

#include <stdio.h>
void function(int *func){
    *func = 500;
}
int main(void){
    int a = 5;
    int *b, *c;

    b = &a;
    c = b;

    printf("%d\n", *c);
    
    function(c);
    
    printf("%d\n", *c);
    
    return 0;
}

これの結果が

5
500

でした。
c = b;をすることで、ポインタ変数cが【bが指しているアドレス】、すなわちaのアドレスを指すようになり、このような結果を得たのだと僕は考えました。この考えは正しいのでしょうか。
そして次に書いたコードがこれです。

#include <stdio.h>
int main(void){
    int a = 5, b = 10, temp;
    int *x = &a, *y = &b;

    printf("a = %d, b = %d\n", a, b);
    
    temp = *x;
    x = y;
    *y = temp;
    
    a = *x;
    b = *y;
    
    printf("a = %d, b = %d\n", a, b);
    
    return 0;
}

これの結果は

a = 5, b = 10
a = 5, b = 5

となりました。もちろんx = y;のところを*x = *y;とすれば2値の交換はできるのですが、このコードではできませんでした。
どうしてこのような結果となったのでしょうか。教えていただけるとありがたいです。

Answer 1

可視化してみると分かり易いかと思います。

pythontutor.com
リンク先に飛んでしばらく待つと下の画像のような画面になります。
ステップ毎に処理を前後させられるので、いろいろと試してみると良いでしょう。

12行目、13行目は不要である為コメントアウトしています。

Answer 2

最初の考えは正しいです。

２つ目は、最初にxはaを示していますから、temp = *x でtempは5になります。
x = yはxにyの示しているアドレスを代入していますから、x,yともにbを示します。
*y = tempではyの示している先、つまりbにtemp(5)を代入します。

ですので、a, b ともに5になります。
ただ、x, yともにbを示していますから、

a = *x;
b = *y;

は以下と同じです。

a = b;
b = b;

どちらにしろ、表示の通りa = 5, b = 5になります。