Поймать исключение во время выполнения

Question

После не в состоянии поймать исключение

int *i; //intentionally uninitialized 

try { 
     *i = 6; 
    } 
catch (const runtime_error e) { 
     cout << "caught!" << endl; 
    } 

это на самом деле ловить ошибки во время выполнения или исключение?

Answer 1

Линия *i = 6; не выбрасывает runtime_error; это приводит к неопределенному поведению.

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

Невозможно «поймать» такую ​​ошибку как исключение в стандартном C++; вам нужно написать свой код, чтобы вы не делали подобные вещи.

Answer 2

Это не ошибка времени выполнения, это неопределенное поведение во время выполнения из-за ошибки .

Чтобы поймать его (и многие другие подобные ему), установите ваш компилятор на максимально возможный уровень предупреждения. (. Как компиляторы, вопреки комментарий Мартина, сделать чек, если вы глупы, если вы позволите им) gcc -Wall сделали бы это в данном случае:

$ g++ -Wall test.cpp 
test.cpp: In function ‘int main()’: 
test.cpp:<line>: warning: ‘i’ is used uninitialized in this function 

Лично я предпочитаю что-то вдоль этих линий:

$ CXXWARN="-Wall -Wextra -Werror -pedantic -Wno-unused-parameter \ 
     -Wshadow -Wpointer-arith -Wcast-align -Wwrite-strings \ 
     -Wmissing-declarations -Wredundant-decls -Winline" 
$ g++ $CXXWARN test.cpp 

Ваш пробег может отличаться.

Answer 3

Отказ

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

Тем не менее, я думаю, что лучше ответить на вопрос, чем осуждать, осуждать или подвергать цензуре.

---

Классы C++, полученные из exception просто удобства поощрять хорошую практику среди программистов. У них нет специальной семантики, и они ничем не отличаются от названия.

Хуже, исключения C++ не могут проходить за пределами обработчика сигналов (что на других языках будет называться «обработчиком исключений», функция, вызываемая незаконным доступом). Стандарт имеет конкретное предупреждение об этом,

A [plain old function] that could be used as a signal handler in a conforming C program does not produce undefined behavior when used as a signal handler in a C++ program. The behavior of any other function used as a signal handler in a C++ pro- gram is implementation defined.213)

213) In particular, a signal handler using exception handling is very likely to have problems

, что сказал, если вы хотите, чтобы поймать это, использовать UNIX signal средство для установки функции, которая не использует C++ функции.

#include <csignal> 
#include <cstdlib> 
#include <cstdio> 

void catch_memory(int) { 
    std::printf("caught!\n"); 
    std::abort(); 
} 

int main() { 
    std::signal(SIGSEGV, catch_memory); 

    int *i = 0; 
    *i = 6; 
} 

Answer 4

Соответствующее предложение catch выполняется, когда соответствующее исключение выбрасывается с использованием ключевого слова throw C++. Это исключения C++.

То, что вы получаете с кодом OP, вероятно, является сгенерированным системой исключением (не исключение C++), и строго это неопределенное поведение.

Answer 5

Это не исключение. Это может привести к сбою. Если вы работаете в проекте, во-первых, ознакомьтесь со своими сверстниками. Обзор кода очень полезен большую часть времени. Если нет, то вы можете поймать такие ошибки в начале цикла разработки, делая используя инструменты статического анализа кода, как Klocwork и инструменты динамического анализа кода, как Purify, Bounds Checker и т.д.

Answer 6

Microsoft создал нечто, называемое structured exceptions несколько лет назад (он же, SEH для «обработки структурированных исключений»). Хотя существует некоторое сходство между исключениями C++ и структурированными исключениями, это принципиально разные вещи. Лично я избегал SEH.

SEH позволяет, помимо прочего, распознавать, когда стек переполнен или произошло нарушение доступа к памяти. Дело в том, что в этих случаях мало что можно сделать: состояние вашей программы было безвозвратно разбито до того, как ваш обработчик получит шанс на запуск. И хотя вы не можете исправить «безвозвратно разбитый», ваш обработчик может заявить, что он это сделал (т. Е. Вы можете продолжить выполнение, даже если ваш стек был разбит).

Так что ваш блок catch не выполняется, поскольку исключение, которое вы пытаетесь поймать, является расширением Windows, которое использует совершенно другую систему.