コンパイラは常にゼロに評価されるブロックを削除しますか？

Question

コンパイラはこのif文を削除しますか？

#define DEBUG 0 
int main(int argc, char ** argv) 
{ 
    if(DEBUG) 
    { 
     ... 
    } 
    return 0; 
} 

私はこれをGoogleに試みて、stackoverflowを検索しましたが、情報を見つけることができなかったため、検索条件が悪いと思います。

これが最適化されていれば、最適化について知りたいことを読んでみたいと思いますか？

コンスタンタン

Answer 1

コンパイラが最適化できるかどうかわかりません。この状況では副作用がないので、コードのセマンティクスを変更しなくても安全に削除できます。

いずれにしても、推測はうまくいかず、最適化に頼ってもうまくいきません。

コードブロックではなく#ifdef .. #endifブロックを使用してください。

#define DEBUG 

#ifdef DEBUG 
    ... 
#endif 

このようにすれば、確実な結果が得られます。

Answer 2

推測する必要はありません。デバッガがアセンブリ命令を監視しながらコンパイルして実行します。問題の行に実際のコードが生成されているかどうかを確認するために、アセンブリに精通している必要はありません。

Answer 3

はい、まともなC/C++コンパイラは、そのようなifブロックを削除します。

Answer 4

すべてのコンパイラが同じものを同じ方法で最適化するという普遍的な声明を作成することはできません。同様に、今日起こっているかもしれないコンパイラは、将来のバージョンではそうでないかもしれません。

はい、今日、多くのコンパイラがこれを行うことができますが、そうすることはできませんが、それを計画したり期待したりする必要はありません。あなたがそのコードをそこに置こうと思っていなければ、それをコメントアウトし、ifdefをコメントアウトして削除してください。

他の人に言われているように、試してみてください。あなたが何かをデバッグしていて、これが起こっているかどうか疑問に思っているなら、単に見て見つけてください。

Answer 5

あなたのコンパイラアセンブリの出力でそれを確認する良い答えがあります。私は時々、私にとって非常に便利です似たイディオムを共有したいと思います：

int main(int argc, char ** argv) 
{ 
    const bool bDebug = false; 
    if(bDebug) 
    { 
     ... 
     LOG(""); /// some heavy loging here 
    } 
    return 0; 
} 

はので、私は私のコードでは、いくつかの関連する場所で-sの場合、このようなを残し、そして私が何か悪い起こったが、私はステップというバグレポートを取得するとき私はいくつかの大きな配列/データ構造を出力する必要があるとき、私はデバッガのbDebug変数（実際には私はそれらの名前をbVerbose）から変更して、そのようなIF-sを入力できるようにします。重いロギングを追加するためにコードを再コンパイルする必要はありません。