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

[metaclass]

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

Comments

[cross-join.livejournal.com]

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

[maxdz.livejournal.com]

"стандартный способ сообщений о любых внештатных ситуациях"

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

Исключения вызывают очень много проблем:
- для каждой функции, делающей throw, компилятор делает "обёртку" с информацией, нужной для правильного разворачивания стэка/вызова деструкторов для объектов на стэке
- функции со throw, как правило не могут вбыть соптимизированы (например, сделаны inline)
- c++ сложный язык и компилятор намного сложнее c-шного. Соответственно, c++ компиляторы реализованы для намного меньшего количества платформ, чем c, кроме того изобилируют ошибками, бывают ошибки и в кодогенерации, связанной с исключениями

В общем, исключения сами по себе, не cамый удачный инструмент при написании СУБД. А если уж кидать исключения, просто для информирования без каких-либо ошибок...

[vit-r.livejournal.com]

В Яве исключение является не исключением, а образом жизни.

[cross-join.livejournal.com]

Использовать исключения для штатных ситуаций невозможно по одной простой причине: они прерывают выполнение программы.
То что валится автору, скорее всего, исключения, посылаемые разными evalator выражений и значений, разработчики не предусмотрели обычных функций типа TryEvaluate c возвратом статуса.

[vit-r.livejournal.com]

Основная проблема исключений - они прячут логику управления программой.

[maxdz.livejournal.com]

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

Ява-программа 1) тормозит 2) жрёт память + ява-язык отбирает контроль у разработчика. Потому, гуру переходят с удовольствием. :)

[ext_1684112 (from livejournal.com)]

Это все сказки Венского леса.

Да, у явы есть неубираемый оверхед. Но в большинстве случаев, системы, написанные на Яве, были бы вообще не завершены, если делать на С++.

Мой знакомый гуру как раз перешел с С++ на яву, сейчас в яндексе работает.

[maxdz.livejournal.com]

Это проблема не исключений, а C++ :)

[vaddimka.livejournal.com]

в виндовсе бывают исключения какие-то левые при работе со стандартными потоками данных плюсиков
причем они там где-то внутри себя живут, в окошко дебага попадают, а жить не мешают
давно такого не видел правда уже

[maxdz.livejournal.com]

>системы, написанные на Яве, были бы вообще не завершены, если делать на С++

Всё, что можно написать на Джава, уже было написано на C++ до неё.
Более того, есть масса вещей типа операционыне системы, броузеры, встраиваемый софт, игрушки, всякие специализированные приблуды в обработке изображений/сигналов, движки СУБД, итп - которые уже на писаны на C++ (а часто и на C), а на Джава не будут написаны ещё очень и очень долго. Если вообще...

[volodymir-k.livejournal.com]

В учебниках Явы ещё с 2003 года всегда писали, что так делать нельзя. Хорошо известная ошибка новичков.

[nivanych.livejournal.com]

Агда же!

[ynot.livejournal.com]

"системы, написанные на Яве, были бы вообще не завершены, если делать на С++"

вы так говорите, как будто это плохо!

[worm-ii.livejournal.com]

Поскольку "Access Violation" переводится как "Нарушение прав доступа", то тут даже ловить и преобразовывать исключение не надо :-)

[bydlorus.livejournal.com]

Чёрт, у меня открылись глаза. Это гораздо более простое объяснение того, почему вин программисты использовали это исключение...

[potan.livejournal.com]

Нет, исключения там только в IO-монаде.

[potan.livejournal.com]

В OCaml так любят делать. Там исключения очень эффективно реализованы.
В MzScheme(Racket) в стандартной библиотеке ошибки бросают исключения, хоть они и тормозят.

[ivanzoid.livejournal.com]

ГРЕШНОВАТО

[leotsarev]

Ребе, простите, что к вам обращаемся.
Необходимо срочно (вчера) найти телефон родственника в Белорусии по адресу и фамилии.
В интернетах пишут вроде:
Одно дело с ныне проживающими жителями Беларуси, т.е. найти родственников по фамилии – это можно сделать по справочникам в Библиотеке либо по общереспубликанскому телефону справочной службы (Справочная служба о номерах телефонов квартир и организаций - № тел. 109, Мингорсправка - № тел. 168, международный код г.Минска +375 17). Однако даже в этом случае, чтобы дойти до нужного адресата, Вам понадобится хотя бы ФИО, либо адрес, либо телефон. Но это самая простая ситуация, и если человек долго проживает и прописан в Беларуси, то отыскать его не должно составить труда.

Но на короткие белорусские номера из богоспасаемой не позвонить. Есть советы, куда бежать?

[metaclass.livejournal.com]

Точно не знаю, не пользовался.
Если Минск, то могу глянуть по старой телефонной базе, в личку фамилию и адрес скиньте.

[leotsarev]

Могилёв.

[metaclass.livejournal.com]

А, тогда не знаю.

[leotsarev]

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

[permea-kra.livejournal.com]

>Нет, исключения там только в IO-монаде.

Это неправда, исключения там есть еще в Either(T) & Maybe(T), плюс при желании можно бросить исключение даже в чистом коде через fail :: String -> a или неполный паттерн-матчинг. Другое дело, что это порицается.

[potan.livejournal.com]

Either и Maybe - это скорее аналоги null и кодов ошибок, а совсем не исключения.
fail - это монада. Неполный паттерн-матчинг, как и деление на ноль, конечно способ бросить исключение в чистом коде, но перехватить его можно только в монаде IO.