С++ EH и логика на исключениях

[metaclass]

Хорошо ли в C++ программе делать логику на исключениях?
Я ща втыкаю в одну опенсорсную СУБД в продакшене отладчиком и вижу что там на каждый запрос валится стопицот крестиковых исключений, и не понимаю, это нормально или нет.

Comments

[bydlorus.livejournal.com]

А почему люди не летают, как птицы?

[ext_1684112 (from livejournal.com)]

Я серьезно спрашиваю, мне неизвестны детали реализации исключений в c++. Может, язык не поддерживает, или поддерживает срого под одним компилятором, а надо два. Если же поддерживает, то что сложного, завести себе оное исключение и использовать?

[vit-r.livejournal.com]

"Старнартный подход" - это потому, что "у нас в коллективе такие идиоты, что проверить возвращаемое значение функции не могут"

Сообщения - это сообщения.

[vit-r.livejournal.com]

Люди явно учились по Яве.

[cross-join.livejournal.com]

Исключение тоже возвращает значение, только в виде объекта.

[alll]

Спасибо, кэп. А С++ != С

[develop7]

хуясе let it fail на сегфолтах

[bydlorus.livejournal.com]

Завести класс в С++ это примерно как комментить в жж с капчей. Ну его.

[falcrum.livejournal.com]

А на что там исключения валятся, если всё штатно?

[naartir.livejournal.com]

Смелые люди не боятся UB?

[bydlorus.livejournal.com]

Какой ещё UB? Там всегда приходит NullReferenceException!

[maxdz.livejournal.com]

Исключение делает (и добавляет в код) намного больше, чем просто отсылка сообщения.

Потому и использовать их (если использовать вообще), рекомендуется лишь в исключительных ситуациях. Отсюда и их название, собственно.

[naartir.livejournal.com]

Обычный UB. Разыменование нулевого указателя. Можно погуглить стандрат, если интересно. У меня, кстати, в таком случае с сегфолтом падает (gcc на GNU/Linux). А "Какой ещё UB? Там всегда приходит NullReferenceException!" и означает, что смелые виндоус-программеры UB не боятся. )

[berezovsky.livejournal.com]

вроде же с 0x0...05 access denied должно падать

[vit-r.livejournal.com]

Ничего не мешает из функции вернуть объект.

Исключение - это исключение. Отказ ресурса или ошибочные данные - это штатная ситуация в программе.

[bydlorus.livejournal.com]

Я ещё раз спрашиваю - какой-такой UB, если программист проверил - он тыкает мышкой в объект без прав, и приходит NullReferenceException. Причём он два раза тыкнул, а может и три - всегда одно и то же исключение. И где здесь UB? Всё же вполне defined.

[naartir.livejournal.com]

Вы троллите или действительно не знаете, что такое UB?

[bydlorus.livejournal.com]

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

[naartir.livejournal.com]

А, ну ОК ) Я, собственно, про то же.

[cross-join.livejournal.com]

Мешает необходимость явного контракта "кто освобождает возвращаемый объект", распространяющегося на все функции в программе. В программе на миллион строк отслеживать ошибки такого рода затруднительно.
Да и незачем перекладывать это на программиста без особых причин.
В процедурном стиле для возвратов используются структуры (записи), а не объекты.

[cross-join.livejournal.com]

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

[maxdz.livejournal.com]

>накладные расходы на реализацию средой и компилятором исключений сильно преувеличены

~ +10-20% роста размера кода и снижения быстродействия, в сравнении даже с C++ без исключений (не говоря уж о C), для средних приложений, с активным использованием исключений лишь для обработки ошибок.

А если пользоваться исключeниями для обычных нотификаций - за такое надо давать канделябром.

[vit-r.livejournal.com]

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

[ext_1684112 (from livejournal.com)]

С явы ни один человек по доброй воле на С++ не перелезет.

И вдобавок, в яве исключение тоже является дорогой операцией.

[cross-join.livejournal.com]

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