Недостижимый код, но без предупреждения

Question

После почти часа отладки я наконец обнаружил точку с запятой после одного оператора 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

Ваш код эквивалентен:

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

С PrintNumber в типе возвращаемого значения является недействительным, это не создает никаких предупреждений компилятора, связанные с подозрительным неявным типом.

Если ваш компилятор сгенерировал предупреждение «недостижимый код», это было бы ошибкой, так как весь написанный вами код доступен.