C言語のポインタにの動作について

質問

以下のコードで、DelHalfSpc() において引数 str は str++ でカウントされ、ループを抜けた時点では文字列の末尾を指しているはずですが、なぜ呼び出し側の main()の char str[] には正しい値が入るのでしょうか？

char *DelHalfSpc(char *str)
{
　　//char *dmy = str; → char * という型の変数 dmy の宣言
　　char *dmy, *Res;
　　Res = dmy = str; // Res は常に先頭アドレスを指す
　　while (*str != '\0') {
　　　　if ( *str != ' ' ) {
　　　　　　*dmy = *str;
　　　　　　dmy++;
　　　　}
　　　　str++;
　　}
　　//ループを抜けたこの時点で str は文字列の末尾を指しているはず
　　*dmy = '\0';
　　return Res;
　　//ここを return str とするとヌル文字列を返す
}

int main(void)
{
　　char str[] = " 1 23 4 5";
　　printf("空白削除前：\"%s\"\n", str);
　　printf("空白削除後：\"%s\"\n", DelHalfSpc(str));
　　printf("str も変化：\"%s\"\n", str); //なぜ正しい結果が表示されるのか？
　　return 0;
}

【結果】
-----------------------
空白削除前：" 1 23 4 5"
空白削除後："12345"
str も変化："12345"

回答No.2

AsarKingChang · ベストアンサー

char *DelHalfSpc(char *str)
このときの、char *str部分は、ローカル変数といって、
関数を抜ける時、破棄されるということを、
最初に習ったとは思います。
そのローカル変数で指している先だけに変化を与えたが、
strの加減算は、破棄されてます。
呼び出し元の値には一切影響はありません。

なので、
void sub(int a) {
a++;
}
void main(void) {
int a=50;
sub(a); これを何千回実行しようが、
printf("%d",a); これは50です。
}

--

例外もあります。「参照渡し」について
sub(&a); この場合は、
aの指しているものではなく、
aという変数がある場所を渡します。
なので、受け取り側でaの内容を変更することが可能です。
sub(int *waaa) { 前回教えた通り関数のパラメタ名は何でもいいのです。
*waaa=51; ポインタ変数waaaの「中身」を書き換えろの書式
}
この場合、戻ってきたら、aも51に変わっています。
（この書式は「今は」無理に使わない方がいいです。
　ポインタが理解できてから使う方が、学習速度は上がります）

お礼

丁寧な回答まことにありがとうございます。
　頭が悪いので、もう少し解説をお願いいたします。

> そのローカル変数で指している先だけに変化を与えたが、
> strの加減算は、破棄されてます。
> 呼び出し元の値には一切影響はありません。

　呼び出し元の値には一切影響がないのなら、なぜ main() で

　　printf("str も変化：\"%s\"\n", str);

としたとき、str は空白が削除された正しい値になるのでしょうか？
　つまり、
　　DelHalfSpc(str) = str
となるのはなぜなのでしょうか？

回答No.1

AsarKingChang

簡単です。
>　　printf("空白削除前：\"%s\"\n", str);
>　　printf("空白削除後：\"%s\"\n", DelHalfSpc(str));
>　　printf("str も変化：\"%s\"\n", str); //なぜ正しい結果が表示されるのか？

DelHalfSpcが書き換えたのは、strがさしている「先」
strという変数の値＝つまりポインタは、一切変化してません。

補足

丁寧な回答まことにありがとうございます。

> そのローカル変数で指している先だけに変化を与えたが、
> strの加減算は、破棄されてます。
> 呼び出し元の値には一切影響はありません。

　呼び出し元の値には一切影響がないのなら、なぜ main() で

　　printf("str も変化：\"%s\"\n", str);

としたとき、str は空白が削除された正しい値になるのでしょうか？
　つまり、
　　DelHalfSpc(str) = str
となるのはなぜなのでしょうか？