Нсколько знаю, распространены два подхода к обработке исключительных ситуаций в программах: поднятие исключения с переходом в место его обработки и возврат значения вида
null (если все конструкции языка — выражения).
В первом случае мы скачем туда-сюда не очень-то и быстро. Во втором теряем информацию о типе ошибки.
Скорее всего то, что я предложил, уже кто-нибудь придумал, но не видел. Пусть значение
null не атомарно, а содержит в себе, например, указатель на строку или вообще на что угодно, и это можно будет извлечь из значения каким-нибудь способом в нужное время. Пойдя дальше, можно любое значение снабдить такой информацией, но это уже не очень, наверно, кому-нибудь нужно.
Есть какие-нибудь слова
за такое? (Против я и сам найду.
)