*s とs の使い分け

Question

*s++,s++,それぞれの使い分けてる意味を知りたいです。

下記は、とある書籍の問題です

これは文字列sに含まれている数文字'0'~'9'の個数を、cnt[0]~cnt[9]に格納する関数です。

void cnt_digit(const char *s, int cnt[])
{
int i;
for (i = 0; i < 10; i++)
*(cnt + i) = 0;

while (*s) {
if (*s >= '0' && *s <= '9')
cnt[*s - '0']++;
s++;
}
}

s++でs[0]からs[1]へずらしていくのは分かりますが、*s++ではいけないのでしょうか？

*s++ = *sの値に1を加える。
s++ = 配列sの要素を１個後方を指すように更新。
・・・？

*s++としても正常に動作しています。

他の例題で、*s++としているケースもあり、それぞれどのような意味で使い分けているのかわからなくなりました。

//文字列sに含まれる文字chを探索
int str _char(const char *s, int ch)
{
int idx = 0;

while (*s) {
if(*s++ == ch)
return idx;
idx++;
}
return -1;
}

よろしくお願いします。

Answer 1

*s++ = *sの値に1を加える。

これは、よく勘違いしますv＾＾;中身をインクリメントするには(*s)++;ですね。

*s++としても正常に動作しています。

・・・単体（左辺値がない）では*sは意味がないのでsを次のアドレスに進めるだけです。
*s++ == chは意味があって、sの中身(*s)とchを比較した後sを次のアドレスに進めます。

Comments

[lawson.aic]

返信ありがとうございます。

つまり、*s = str[0] = 0の時、

if(*s++ == ch)における*sは値で0を取り出して評価後インクリメント(次のアドレスへ)。

s++にすると、sはアドレス値で、評価後インクリメント(次のアドレスへ)
。

つまり評価される値が違う。ということでしょうか？

[cateye]

概ねそういう解釈でいいと思います。
>評価される値が違う
*sを意味がないと書いたのは、sのさす値を*sとして取り出すのですが、格納先（左辺値）がない（ch= *s++;と書いた場合は、左辺値がある）のでただ捨てられるだけなので評価されない（何か語弊がでそうですがw）で、s++だけが実行される。　

[lawson.aic]

噛み砕いた説明で分かりやすかったです。ありがとうございました！

Answer 2

こんにちは。

*s++ = *sの値に1を加える。

この理解が間違いです。これは*sの値を取り出してから、sをインクリメントします。

例えば、

int t[]={1, 2, 3};
int* s=t;

の時、*sはt[0]なので1ですね。
*s++の値は1で、*s++の式の処理後、sはt[1]を指します。

Comments

[yumetodo]

というように純粋なポインタ演算は可読性がないので、シンタックスシュガーである[]演算子を使うべきだという思い。

[lawson.aic]

返信ありがとうございます。

・ポインタの指す要素を、単純に１個後方の要素に更新したい時。

→値を取り出す必要がないのでs++; (*s++でも問題はないが、意味がない)

という理解であっていますか？

[Chironian]

その通りです。

[lawson.aic]

的確な説明で理解が深まりました。
ありがとうございました。

Answer 3

なぜ＊ｓ＋＋にしていないかというと、そうしても良い *sがないから。

whileループを1回まわるごとにsを一回インクリメントする必要があります。
if()の括弧の中には2回*sが出てくるのでここに＋＋は入れられません。どっちにしても次の行のcnt[*s・・でsを使うのでまだインクリメントしてはいけない。

cnt[*s - '0']++; はif文の中なので「1周ごとに1回＋＋」になりません。

なので、独立したs++となっています。

これを
s--;
while(*++s){...}
としても動きますが、トリッキーで読みにくいし、一旦はsが文字列外を指すタイミングが出来てしまうんでNG。

僕は、whileループ最後のs++をforの第3項に移す方が好みですが…・
for(;*s;s++){...}

どうしても*s＋＋をつかいたければ
int c=*s++;
if ( isdigit(c)) cnt[c - '0']++;
}
としたらできるかな。