到達不能なコードですが、警告がありません

Question

ほぼ1時間のデバッグの後、最終的に1つのreturn文の後にセミコロンがないことがわかりました。ここに簡略化したバージョン

void PrintNumber(int value) { 
    cout << value << endl; 
} 

void BuggyFunction(int value) 
{ 
    if (value == 0) 
     return 

    PrintNumber(value); 
} 

ええと、PrintNumberは決して呼び出されません。しかしコンパイラ（VS 2015）は静かでした。この行動の理由はありますか？

Answer 1

まあ、技術的にあなたの関数は、（原因セミコロンに）で次のように解釈は：

void BuggyFunction(int value) { 
    if (value == 0) { 
     return PrintNumber(value); 
    } 
} 

PrintNumberもvoid戻り値の型などを持っているので、それはしませんが、この文は、完全に構文的に法的です明らかに意味をなさない。

C++コンパイラはインデントを気にしません。ステートメントと変数のスコープを正しく設定したい場合は、混乱を避けるために中括弧を使用してください（前述のように）。

Answer 2

あなたのコードは同等です：PrintNumberの戻り値の型がvoidであるので

void BuggyFunction(int value) 
{ 
    if (value == 0) 
    { 
     return PrintNumber(value); 
    } 
} 

、これは不審な暗黙の型変換に関連する任意のコンパイラ警告を生成しません。

コンパイラが「到達不能なコード」という警告を生成した場合、あなたが書いたコードはすべて到達可能であるため、間違います。