Плохо перебрасывает компиляции, но вылетает во время выполнения

Question

Следующий код скомпилируется, но завершится с ошибкой во время выполнения:

int main() {

    try {
        throw;
    }
    catch(...){
        cout<<"In catch";
    }
     return 0;

}

Результат: «Необработанное исключение в 0x7c812a5b в hello.exe: исключение Microsoft C ++: [rethrow] @ 0x00000000»

Почему компилятор позволяет скомпилировать код? компилятору кажется не такой сложной задачей проверить, является ли этот код частью блока catch или нет.

Answer 1

Вероятно, миллионы ошибок могут быть обнаружены компиляторами, если разработчики компиляторов вложат в них достаточно работы. Но эти авторы компиляторов должны принять решение о том, стоит ли эта работа. В этом случае они решили нет (и я с ними согласен).

Answer 2

из стандарта C ++ (15.1.8)

Если в настоящее время не обрабатывается ни одно исключение, выполнение выражения броска без вызовов операндов std :: terminate ()

В соответствии со стандартом и четкой семантикой компилятор может соответствовать только этому.

Answer 3

Не так просто. Вы могли бы вызвать эту функцию из блока catch в какой-то другой функции.

Концепция так называемого обработчика исключений описана в этом ответе .

Answer 4

Просто потому, что код законен. То же самое можно сказать о:

int* p=0;
*p = 0;

и тысячи других примеров. Это законно, но очень неправильно.

Answer 5

Вы можете поместить бросок в функцию, которая вызывается из блока catch. Иногда полезно, если у вас есть общая обработка для класса исключений:

void handleXExceptions()
{
   try {
      throw;
   } catch (XA&) {
      ...
   } catch (XB&) {
      ...
   } catch (X&) {
      assert("Update handleXExceptions" == NULL); 
   }
}

void f() {
   try {
      ...
   } catch (X&) {
      handleXExceptions();
   }
}

void g() {
   try {
      ...
   } catch (X&) {
      handleXExceptions();
   }
}

Answer 6

Спасибо, думаю, я понял, это что-то вроде выброса нулевого исключения (нечего перебрасывать), и компилятор не должен делать для нас нулевые проверки.

Answer 7

Откуда ему знать, что вызывающая функция не поймает исключение?