C++で定数を有効にすることはできますか？

Question

私はちょうど私が導入したバグを認識しました。私が驚いたことは、それがコンパイルされていることです。

Visual Studio 8とComeauはどちらもそれを受け入れます（警告なし）。

switch(42) { // simplified version, this wasn't a literal in real life 
    case 1: 
     std::cout << "This is of course, imposible" << std::endl; 
} 

Answer 1

定数をオンに切り替えることは意味がありません。考えてみましょう：

void f(const int x) { 
    switch(x) { 
    ... 
    } 
} 

リテラル定数をオンに切り替えることはほとんどできません。しかしそれは合法です。

編集：リテラルに切り替える場合があるそれを考えるには、 完璧な理にかなって：ため

g++ -DCONFIG=42 foo.cpp 

Answer 2

はい、合法です。

Answer 3

はい、整数式をオンにすることは完全に正当です。これは、関数によって返された整数値にあるswitchと同じです。これはかなり頻繁に使用される構造体です。

Answer 4

コンパイラには意味をなさないものはありません。

以下もコンパイルが、意味がないでしょう。

if (false) 
{ 
    std::cout << "This is of course, imposible" << std::endl; 
} 

開発者はこれらを発見するとそれは私たち次第です。

Answer 5

はい、どうしても（デバッグしない限り）したいと思うのは別の問題です。

if (0)またはwhile (true)と似ています。

Answer 6

一つの良い理由：プログラムがコンパイルされた

int main() { 
    switch(CONFIG) { 
      ... 
    } 
} 

これは正当なことですが、開発の段階に応じてコンパイラがコンパイル時に値を解決できる可能性があります。

など。あなたはものをデバッグするために、このようなものを使用することがあります：

int glyphIndex; 
... 
#if CHECK_INVALID_GLYPH 
glyphIndex = -1; 
#endif 

switch (glyphIndex) 
    ... 

コンパイラがたglyphIndexがあると-1ここで特定のために知っているので、それは一定のと同じくらい良いことです。また、あなたはこのようにそれをコーディングすることがあります

#if CHECK_INVALID_GLYPH 
const int glyphIndex = -1; 
#else 
int glyphIndex = GetGlyph(); 
#endif 

あなたは本当にあなたがこのような小さな変更を加えることができるようにちょうどあなたのswitch文の本体を変更する必要がありますする必要はないだろう、とコンパイラは合理化の完全に可能ですとにかく実行されることのない部分を排除するコード。