C/C++では空の式が合法なのはなぜですか？

Question

int main() 
{ 
    int var = 0;; // Typo which compiles just fine 
} 

Answer 1

これはCとC++がNOPを表現する方法です。

Answer 2

私は言語のデザイナーではありませんが、答えは「どうしてですか？」です。言語設計の観点から、ルール（すなわち、文法）はできるだけ単純であることが望ましい。

は、 "空の表現は" 用途を持っていることは言うまでもありませんつまりため

（I = 0;私< INSANE_NUMBER;私は++します）;

デッドウェイト（いい使用ではありませんが、それにもかかわらず）です。

EDIT：この回答のコメントに指摘されているように、その塩の価値のあるコンパイラはおそらくではありません。はこのループで待機しています。しかし、もし私が（奇妙なことに）データ構造のトラバーサルを行っているのを見たことのあるヘッド自体（i ++以外）で役に立つものがあれば、空のボディを使ってループを構築することができます（/ "for"構造を悪用する）。

Answer 3

最も一般的なケースは、おそらく

int i = 0; 
for (/* empty*/; i != 10; ++i) { 
    if (x[i].bad) break; 
} 
if (i != 10) { 
    /* panic */ 
} 

Answer 4

while(1){ 
    ; /* do nothing */ 
} 

であるあなたが座って何もしないようにしたいがございます。イベント/割り込み駆動の組み込みアプリケーション、またはスレッドを設定して最初のコンテキストスイッチを待っているときなど、関数を終了させたくない場合。

例： http://lxr.linux.no/linux+v2.6.29/arch/m68k/mac/misc.c#L523

Answer 5

それは、私たちはそれなしに住むことができる

for(;;) { 
    // stuff 
} 

のようなものを言うことができ、明らかですか？

Answer 6

私は正直なところ、これが本当の理由かどうかわかりませんが、より理にかなっているのは、コンパイラ実装者の立場から考えることです。

コンパイラの大部分は、特殊なクラスの文法を分析する自動化ツールによって構築されています。有用な文法は空文を許可するのは当然のようです。あなたのコードのセマンティクスを変更しない場合、そのような "エラー"を検出するのは不要な作業のようです。コンパイラはこれらの文のコードを生成しないので、空の文は何もしません。

これは「壊れていない何かを修正しない」だけの結果であるように私には思える

...

Answer 7

NDEBUGが定義されているとき、他にどのようにassert(foo == bar);何もダウンしてコンパイルだろうか？

Answer 8

あなたは

while (fnorble(the_smurf) == FAILED) 
    ; 

なく

while (fnorble(the_smurf) == FAILED) 
    do_nothing_just_because_you_have_to_write_something_here(); 

のようなことを行うことができるようにしたい。しかし！このように、同じ行に空のステートメントを記述しないでください。

while (fnorble(the_smurf) == FAILED); 

セミコロンを欠場することは容易であることから、読者を混乱させ、したがって、次の行であることを考えるために非常に良い方法だことループの本体覚えておいてください：プログラミングとは、実際にはコミュニケーションに関することです。コンパイラではなく、コードを読む他の人とのコミュニケーションです。 （！や自分自身と、3年後）

Answer 9

OK、私はあなたが実際に使用することができます最悪のシナリオにこれを追加します：

for (int yy = 0; yy < nHeight; ++yy) 
{ 
    for (int xx = 0; xx < nWidth; ++xx) 
    { 
     for (int vv = yy - 3; vv <= yy + 3; ++vv) 
     { 
      for (int uu = xx - 3; uu <= xx + 3; ++uu) 
      { 
       if (test(uu, vv)) 
       { 
        goto Next; 
       } 
      } 
     } 

    Next:; 
    } 
} 

Answer 10

を使用する場合は「;」 1つの事についても気をつけてください。これはokです：

a ? b() : c(); 

しかし、これはコンパイルされません。

a ? b() : ; ;