for文が空なのに動くのはなぜですか？

Question

     1  #include        <stdio.h>
     2  #include        <ctype.h>
     3  
     4  static  realchk();
     5  
     6  main()
     7  {
     8          char    buf[100];
     9          int     status;
    10  
    11          for(;;) {
    12                  gets( buf );
    13                  status = realchk( buf );
    14                  printf( "status = %d\n", status );
    15          }
    16  }
    17  
    18  static  realchk(s)
    19    char *s;
    20  {
    21          int     seisuu_bu, syousuu_bu;
    22  
    23          for( ; *s ; ++s ) {
    24                  seisuu_bu = syousuu_bu = 0;
    25                  if( *s=='+' || *s=='-' )
    26                          ++s;
    27                  for( ; isdigit(*s) ; ++s )
    28                          seisuu_bu = 1;
    29                  if( *s == '.' ) {
    30                          ++s;
    31                          for( ; isdigit(*s) ; ++s )
    32                                  syousuu_bu = 1;
    33                  }
    34                  if( seisuu_bu==0 && syousuu_bu==0 )
    35                          return  1;
    36  
    37                  if( ! ( *s == '/' || *s == '*' ) )
    38                          break;
    39          }
    40  
    41          return  *s ? 1 : 0;
    42  }

こんばんは。
とあるサイトでc言語の勉強をしているのですが、11行目のfor文が空なのと23行目の*sの意味が分かりません。

Comments

[退会済みユーザー]

無限ループは帰れないという事で 泣き顔を書いた説もある

Answer 1

11行目のfor(;;)は無限ループさせる時によく使います。while(true)と同じです。ループ変数がないので、forの終了条件が無限に成立しないため、ブロック内を無限に回ることになります。
ただ、このままではプログラムが終了できないので、forブロックを抜け出す処理を書く必要があります。

23行目の*sは*s != '\0'の省略です。*sはchar型のポインターの中身を指していますが、その値がゼロ(NULL)になるまで、forをループするということになります。

Comments

[raccy]

`*s`は`char`型なので、比較するなら`*s != '\0'`という意味かと。`NULL`は値として0と等しいとは限らないので、ポインタ型以外と比較しちゃうまずいと思います。

[PineMatsu]

ああ確かに。*s != '\0'ですね。

[raccy]

????

Answer 2

for文を使って無限ループを書く方法です。
for文で条件式がない場合、条件が常に
満たされるとみなされます。

従ってwhile文を使ったのと同様に
抜けることがなく無限ループとなります。