C/C++言語では... forループはWhileループとして内部的にコンパイルされますか？

Question

C/C++言語で... forループは内部でwhileループとコンパイルされていますか？

Answer 1

はい、通常、基本的には、ループのため、

あなたはしばらくのために翻訳したときに、スコーピングは、」可能性があるため、これは、アカウントのスコープと、このような問題になりませんのでご注意

a; 
while (b) { ...; c; } 

のように書き換えることができ

for (a; b; c) { ... } 

を書かC++の構文で正確に記述することができます。

しかし、下に、ループの実際の文と（条件）GOTOSの系列である：

{ 
      a; 
      goto test; 

    body: 
      ...; 
      c; 

    test: 
      if (b) goto body: 
} 

そのすべてはアセンブリコードであることを除いて。

Answer 2

私はあなたがこのように考えることができたとします。与えられた

：

for (initialization; condition; updater) { body; } 

それは、このアナログ生成：

{ 
    initialization; 
    while (condition) 
    { 
    ... // body 
    updater; 
    } 
} 

をしかし、それはいくつかのことを注意することが重要です。

1. 初期化はiの一部です範囲内のスコープ。したがって、変数を宣言すると、forループの外側にエスケープされません。
2. アップデータコードをスキップすることはできません（forループから抜け出すことを除いて）。これは、while（）ループとは異なり、continueあなた自身の更新コードを通り過ぎる可能性があります。私。あなたはアップデータが実行されているかどうかを確認する責任がありますが、コンパイラはそれをforループのために強制します。

Answer 3

ループがアセンブリにどのように生成されるかは、実際にはコンパイラによって異なります。一般に、手作業でループを手作業でコーディングすると、アセンブリでは少し違って見えます。これらの最適化はおそらくあなたのコードにとってはマイナーですが、必要に応じて余分な負荷やストアを節約することができます。しかし、ループ条件（カウンタの場合）は、いずれもレジスタで算術演算が行われる可能性が最も高いです。これを試してみてください（あなたが++のgcc/gのを使用している場合）

はあなたの組み立てを確認するには：

gcc -S -o your_asm_file.s your_src.c

はその後*.sファイル内部を見てみましょう。これはまさにコンパイラがマシンコードを扱っているところです。完全性について

Answer 4

投稿：

for (a; b; c) d; 

は同等です：

{ 
    a; 
    while(b) 
    { 
    { 
     d; 
    } 
    c; 
    } 
}