Anatoly MoskovskyWhite OwlАнатолий, прочитайте мой пост еще раз. И на этот раз не по диагонали, и не ограничиваясь примерами.
Ну вот читаю еще раз.
White OwlНо ему надо понять какая конкретно операция упала, а он не может этого сделать.
Это нужно программисту расследующему баги. И это решается логированием, как я выше привел.Угу, логирование это хорошо.
Но логирование это ручная операция. А исключения полу-автоматическая с поддержкой на уровне языка. Исключения могут служить для целей логирования, но...
Anatoly MoskovskyА вот зачем самой функции в процессе выполнения это знать?Затем, что некоторые ошибки времени выполнения не являются смертельными и могут быть обработаны автоматически.

MasterZivWhite OwlПадение произошло внутри одной из функций. Мало знать какая функция упала, надо еще знать почему она упала.
Кто мешает тебе во время выбрасывания исключения сохранить эту важную информацию (где и почему) внутри самого исключения?Если проблему отловил мой код - то ничто не мешает. А если проблема случилась внутри библиотечной функции, то я уже никак не могу повлиять на созданное исключение. Я могу только перехватить его послать вместо него свое собственное, которое локализует проблему до уровня "какая функция упала", но не более того.

MasterZivWhite OwlЭто более-менее хорошо сделано в java, где исключение автоматоматически собирает полный стек вызовов при передаче на верхние уровни. Кто мешает тебе в С++ сделать то же самое ?Ничто не мешает. И если я работаю в проекте с исключениями - всегда веду полный трейс.
Правда я редко с такими проектами работаю :)

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

MasterZivНу ты вот всё время приводишь проблемы, которые одинаково возникают и при использовании исключений, и при использований кодов возврата. Так что исключения там или нет -- по барабану.Да. Любую задачу можно решить как с исключениями, так и с кодами возврата.

MasterZivКоды возврата же накладывают два дополнительных ограничения:
каждая функция должна принимать дополнительный параметр для возврата кода ошибки или должна не быть функцией (возвращаемое значение будет кодом возврата).
Это не обязательно. Вспомни хоть о libc с его errno и WinAPI с GetLastError().

MasterZiv после вызова каждой функции надо проверять код возврата. При каскадном вызове функций -- при каждом вложенном вызове.
Это тоже не обязательно. Очень часто функция может возвращать много информационных кодов которые можно игнорировать. Да и часто бывает что несколько родственных функций запускается подряд и падение второй функции в цепочке невозможно если отработала первая. Как пример fopen()-fread(), если мы файл сумели открыть, мы всегда сумеем его прочитать (уже другое дело сколько именно байт мы прочитаем), но fread() упасть просто не сможет.
Во всех этих случаях, коды возврата можно запросто игнорировать. А при работе с исключениями эта проверка будет всегда, ее компилятор насильно в твой код впихнет.

MasterZivИсключения же накладывают только одно дополнительное ограничение -- ими нужно уметь пользоваться:
исключения должны генерироватья только в случае, если нормальное течение потока управления не может продолжаться.
Угу. А как быть с информационными сообщениями? Тот же SQL_SUCCESS_WITH_INFO если ты делаешь враппер для ODBC? Делать такие возвраты как исключения или как коды возврата в дополнение к исключениям которые будут перекрывать SQL_ERROR?

И перевирая твои слова: Ну очевидно же, что кода возврата более гибкие.

Anatoly MoskovskymaytonДавайте коснёмся перформанса.
Ну, я думаю что на данном этапе развития компиляторов, никакого существенного оверхеда исключения не вносят.
Ведь это нечастое событие - вызов исключения, поэтому сколько там микросекунд оно занимает не сильно важно.Да при чем здесь вызов исключения то? Как по твоему организован try{}catch блок?


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

И кстати, для полноты картины:


Функционально тоже самое что и языко-поддерживаемые исключения, но в "ручном" режиме.