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

[__Heaven__]

Привет, друзья!
Я никогда не пользовался исключениями, но хотел бы научиться.
Как они работают и синтаксис я понял. Не ясно вот что:
Что принято бросать в какой ситуации? Допустим, у меня нет указанного файла, что бросать?
Есть ли смысл наследоваться от стандартных классов, QException. Нужно ли придумывать и указывать код ошибки?
Оно нужное дело вообще или можно статусами обойтись?

[Авварон]

Не используйте исключения в кутешном коде.

[Igors]

Оно нужное дело вообще или можно статусами обойтись?

Однозначно нужное, хотя бы потому что это штатное средство языка. А вот насколько - есть разные мнения. Я стараюсь всегда обойтись кодом ошибки до тех пор пока необходимость исключений не станет очевидной. Другие наоборот, используют исключения при первой возможности.

Что принято бросать в какой ситуации? Допустим, у меня нет указанного файла, что бросать?
Есть ли смысл наследоваться от стандартных классов, QException. Нужно ли придумывать и указывать код ошибки?

Да на все вопросы. Опять-таки насколько нужно размазывать классы исключений - дело вкуса/стиля. Пример

Код

C++ (Qt)
if (что-то не связалось) 
 throw MyException("Line %d: invalid syntax", lineNomer);
 

Испускающий не знает имени файла при чтении которого произошла ошибка - зато прекрасно знает что случилось

Код

C++ (Qt)
try {
 DoReadFile(...);
}
catch (MyException & e) {
 ShowError("Error reading " + fileName + ": "  + e.errorText());
} 
catch (...) {
 ShowError("Unknown error reading " + fileName);
} 

Ловящий наоборот, имя файла знает, но что конкретно случилось - нет. Вот и комбинируйте

[Akon]

Я широко использую исключения в Qt-приложениях. Ho! Нужно понимать как будет проходить исключение через код Qt, и что этот код делает при наличии исключения. Во многих случаях код Qt просто не рассчитан на возможное наличие исключения, и вы можете получить утечку памяти, крах, или неопределенное поведение.

Одни участки Qt-кода могут быть адаптированы (перекрытие виртуальных методов) вами для корректной работы с исключениями, например, если вы выбросите исключение из QAbstractItemModel::setData(), то у вас завалится любой делегат из Qt, но вы можете сделать свой класс делегата с соответствующей функцией.

Другие - могут быть относительно легко адаптированы с помощью патчинга сорцов Qt с последующей перекомпиляцией, например, я делал патчинг QObject::activate() с целью выбрасывать исключения из слотов с дефолтным показом сообщения и без разрыва вызова цепочки слотов.

С третьими - по большому счету никак.

В основном, исключения больше пронизывают ваш код, чем Qt. Наследовать исключения лучше от std::exception, все ошибки времени выполнения - от std::runtime_error. При использовании исключений вместа кода ошибки (категории кода ошибки) используется тип исключения. Все std-исключения минимально функциональны (хотя их функций достаточно во вногих случаях), например, нет метода clone() или цепочки вложенных исключений. Также, в boost есть кроссплатформенная либа для работы с системыми (OS API) ошибками через исключения.

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

[Авварон]

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

Очень удобно, да:(

[__Heaven__]

спасибо. Достаточно подробно.

[sergek]

Не используйте исключения в кутешном коде.

А как действовать в случае использования сторонней библиотеки, в которой на каждый чих генерируется исключение?
Я столкнулся с этим MQTT C++ Client. Пробовал вызовы функций библиотеки делать через обработку всех исключений, например:

Код:

try{
  client.subscribe(subTopic, QOS, nullptr, subListener);
}catch(...){
}

не помогает, программа валится.

[Akon]

Потому что ABI получился различным. Что в либе (dwarf, sjlj), и что в программе?

[Igors]

Потому что ABI получился различным. Что в либе (dwarf, sjlj), и что в программе?

Вот когда знатоки бросают такие фразы... ну я прямо теряюсь Вот мои скудные познания

ABI - набор правил/соглашений по вызовам (типа что на каком регистре ожидает callee). Как он может "получаться" различным   Либа может быть совместима по ABI или нет - и тогда ее никак не приспособить.

dwarf - видел в установках, формат отладочной информации

sjlj - никогда не слыхал о таком

Растолкуйте плиз что я не так понимаю. Спасибо

[Akon]

Когда вы пишите try/catch компилятор создает дополнительные служебные структуры данных, помещаемые на стеке (или еще в каких секциях). Если исключение переходит  границу модулей, то формат этих структур должен быть идентичен для этих модулей. Для поддержки исключений компилятор может использовать разные механизмы, например, MSVC использует SEH - это вообще механизм ОС. В этом случае, например, throw в конечном счете трансформируется в вызов API RaiseException, а catch - в соостветствующие фильтры __except. Как вы понимаете, это все ABI.

[sergek]

Когда вы пишите try/catch компилятор создает дополнительные служебные структуры данных, помещаемые на стеке (или еще в каких секциях). ...

Круто. И библиотека, и программа, использующая библиотеку, собраны одним компилятором - mingw.

[Akon]

Вы сами собирали?

[sergek]

Вы сами собирали?

Да.

[Akon]

А при каком типе исключения валится? Если вставить в самое начало ф-ии
client.subscribe(subTopic, QOS, nullptr, subListener);
throw std::exception();
что будет?

[sergek]

На этом типе и валится:
terminate called after throwing an instance of 'mqtt::exception'
  what():  std::exception
Но сейчас вставлю в функцию throw, посмотрим.
upd: все то же самое.