Обработка исключений (Ada), Разделено Опции

[TarasBer]

В тему исключений (а то я стесняюсь заводить по 10 тем в день).
Как повесить на исключение дополнительную информацию?

А то получается такая фигня:

...
if ... then
   error_flag := ... -- целое, может принимать 1000 разных значений, не заводить же по исключению на каждое
   raise My_Exception_With_Flag;
end if;
...
when My_Exception_With_Flag => 
   Put_Line(Integer'Image(error_flag));
...

Совмещение подхода исключений и кодов ошибок в одном флаконе!

[volvo]

Но всё это очень небезопасно и бесконтнольно, и контролируемые объекты таким образом лучше не передавать.

Вот именно поэтому Ада не позволяет передавать ничего, кроме строки. Кому-то захочется передавать лимитированные типы, кому-то - тип функциональный, кто-то задумает тэговый передать... А там, глядишь, недалеко и до типов, экспортированных из других языков. Это что будет в результате? Анархия.

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

Хотя попытки реализаций передачи объектов, разумеется были. Если интересно - попробую найти, где-то у меня есть в загашниках...

Тему разделил.