epsilon phoenixさんの回答だけでは理解が進まないようでしたので補足として。
1つ目のコードに細かくprintf
を埋め込んでみました。
#include <stdio.h>
#include <string.h>
int main(void) {
char str[] = "str == NULL ? \"(NULL)\" : str";
char *p, *q;
int ch;
p = str;
printf("before loop\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
for (;;) {
printf("loop start\n");
printf("--before inner loop\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
for (q = p; !(*q == '?' || *q == ':' || *q == 0); q++)
;
printf("--after inner loop\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
printf(" q = |%s|\n", q);
ch = *q;
*q = 0;
printf("--after *q = 0\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
printf(" q = |%s|\n", q);
printf("|%s|\n", p);
if (ch == 0)
break;
p = q + 1;
printf("--after p = q + 1\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
printf(" q = |%s|\n", q);
printf("loop end\n\n");
}
printf("after loop\n");
printf(" str = |%s|\n", str);
printf(" p = |%s|\n", p);
printf(" q = |%s|\n", q);
}
実行結果は以下のようになります。
before loop
str = |str == NULL ? "(NULL)" : str|
p = |str == NULL ? "(NULL)" : str|
loop start
--before inner loop
str = |str == NULL ? "(NULL)" : str|
p = |str == NULL ? "(NULL)" : str|
--after inner loop
str = |str == NULL ? "(NULL)" : str|
p = |str == NULL ? "(NULL)" : str|
q = |? "(NULL)" : str|
--after *q = 0
str = |str == NULL |
p = |str == NULL |
q = ||
|str == NULL |
--after p = q + 1
str = |str == NULL |
p = | "(NULL)" : str|
q = ||
loop end
loop start
--before inner loop
str = |str == NULL |
p = | "(NULL)" : str|
--after inner loop
str = |str == NULL |
p = | "(NULL)" : str|
q = |: str|
--after *q = 0
str = |str == NULL |
p = | "(NULL)" |
q = ||
| "(NULL)" |
--after p = q + 1
str = |str == NULL |
p = | str|
q = ||
loop end
loop start
--before inner loop
str = |str == NULL |
p = | str|
--after inner loop
str = |str == NULL |
p = | str|
q = ||
--after *q = 0
str = |str == NULL |
p = | str|
q = ||
| str|
after loop
str = |str == NULL |
p = | str|
q = ||
以下の回答では簡便のために必ずしも正しくない表現をしている箇所がありますが、大筋では間違っていないものと考えます。
前提として。
- cのchar型配列の終端は
NULL
(\0
)です。char str[] = "str == NULL ? \"(NULL)\" : str"
は上記の文字列の直後に\0
(\0
で一文字です)を入れているので、正確にいうとchar str[] = "str == NULL ? \"(NULL)\" : str\0
が代入されます。
str
はこの文字列の1文字目のs
の位置が入っています。
p
やq
は文字列str == NULL ? \"(NULL)\" : str\0
をstr
からコピーしたり受け取ったりしているわけではありません。上記の文字列の位置を入れるためのものと考えてください。
ループであるfor (;;)
に入る前、str
もp
もstr
に代入したままの文字列が取り出せます。
str
もp
も上記の文字列の最初にあるs
の位置を指していて、この文字列の途中に\0
がないからです。
上記の実行結果を見てください。
最初のinner loopが終わったとき、q
はstr == NULL ? \"(NULL)\" : str\0
でいうと最初の?
の位置を指しています。
なので文字列を取り出そうとすると?
から\0
までの? "(NULL)" : str
が得られます。
一方、str
もp
もループに入る前から変更されていないので、現状では最初の文字列がそのまま取り出せます。
そして*q = 0
によって文字?
が文字\0
になります。
*q
はq
の位置にある文字として扱われるからです。0
が代入されたのに\0
なの?という疑問は今はそういうものだと思って受け入れてください。
*q = 0
によって文字列はstr == NULL \0 "(NULL)" : str\0
に変更されたので、str
もp
もs
から\0
までのstr == NULL
までが文字列として取り出されます。
q
は指している位置の文字が?
から\0
に変わったので取り出す文字列は空になります。
そしてp = q + 1
でp
の指す位置(文字列を取り出す開始位置)がq
の1つ先になります。最初の"
の直前の半角空白の位置です。
文字列を取り出すと "(NULL)" : str
となります。
以降、上記の実行結果を見ていけばstr
とp
とq
がどのように変化していくか見て取れると思います。
もし、この回答が参考になるのでしたら2つめのプログラムは是非ご自分の手で細かくprintf
を埋め込んで動作を追ってみてください。