c言語 なぜs(仮引数であるポインタ変数)を変更してsを返却値とすることができないのか

Question

（追記：最初、バグの関係で修正される前の質問が掲示されてしまいました。本当に申し訳ありません。）

文字列を1文字左にシフトするプログラムを作りたかったのですが、下記のようにコードを記述したところ、変更後の文字列が表示されないまま終了しました。
その理由が知りたいです。
宜しくお願いします。

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <ctype.h>

char  * a(char *s)
{
    while (*s) {
        *s = *(s + 1);
        s++;
    }

    return s;
}

int main(void)
{
    char str[128];

    printf("文字列を入力してください\n");
    scanf("%s", str);

    printf("%s", a(str));

    return 0;
}

解決後のコード1

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <ctype.h>

char  * a(char *s)
{
    char *t = s;
    while (*s) {
        *s = *(s + 1);
        s++;
    }

    return t;
}

int main(void)
{
    char str[128];

    printf("文字列を入力してください\n");
    scanf("%s", str);

    printf("%s", a(str));

    return 0;
}

解決後のコード2

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <ctype.h>

void a(char *s)
{
	while (*s) {
		*s = *(s + 1);
		s++;
	}
}

int main(void)
{
	char str[128];

	printf("文字列を入力してください\n");
	scanf("%s", str);

	a(str);
	printf("%s", str);

	return 0;
}

Answer 1

s++;でsの値をインクリメントしています。
return s;時点でのsの指す先は'\0'となり
a()の呼び出し先で受け取りprintf()で表示していますが戻り値の指す先の1バイト目が\0なので空文字列を表示しています。

Comments

[aya0]

大きく修正してしまい、大変申し訳ございません。
回答ありがとうございます。
ループ処理で最終的に*sが0になってしまったのでsの指す先が'\0'となってしまっていたところに気づけました。
すごく助かります。

Answer 2

こんにちは。
Y.H.さんのおっしゃる通りです。
簡単に目的達成するなら、関数 a をvoid型に変更して、a(str);を呼び出した後、
printf("%s", str);
で表示されますよ。

Comments

[aya0]

大きく修正してしまい、大変申し訳ございません。
回答ありがとうございます。
参考にさせていただきました。
すごく助かります。

Answer 3

C言語において、引数はすべて値渡しです。

ポインタ引数でも、ポインタ自体はコピーされますので、関数内でポインタそのものの値を変更しても呼び出し元には何ら影響しません。

（ポインタ経由で、指している先を変更することはできます）

Comments

[maisumakun]

（大きく書き換わったあとのコードについて）

while(*s)を抜けきった後にreturn s;としていますので、このポインタの返り値はヌル文字を指しています。printfしても、0文字の文字列となりますので何も表示されません。、

[Y.H.]

あぁ質問のコードが書き換わってたんですね。取り消します。

[aya0]

大きく修正してしまい、大変申し訳ございません。
回答ありがとうございます。
ループ処理で最終的に*sが0になってしまったのでsの指す先が'\0'となってしまっていたところに気づけました。
すごく助かります。
解決したので、解決後のコードを質問に追加しました。