Объясните, пожалуйста, особенности поведения return в следующем примере:


Да, finally должен сработать всегда, но и return должен остановить выполнение метода и вернуть результат. Мне интересно что происходит в виртуальной машине и как устроен механизм перехода указателя стека при работе метода, в котором есть и return и finaly.

Классный вопрос, никогда не задумывался. Но по поведению программы легко определить механизм. После того как выбрасывается любой Exception, вызывается блок finally, затем блок с соответствующим Exception.

Это известная штука, читал о ней некоторое время назад.

В C# запрещено писать return (и другие операторы перехода, например goto) в блок finally -- комилятор сразу ругается на ошибку.


Да вроде наоборот, сначала обрабатывается catch, потом уже finally.
Могу предположить, что в JVM есть некий регистр, который используется для возврата значения. Сначала в блоке catch вызов return 2 пишет туда 2, потом в finally вызов return 1 перезаписывает его и там остаётся 1. Но это только предположение.

И, кстати, этот пример можно ещё подсократить и получить совсем прикольный побочный эффект:

Тут хоть и отсутствует catch, но исключение будет "проглочено" в finally и из метода мы выйдем совершенно без ошибок.

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

Итак, далее следует исключильное ИМХО: при вызове throw new Exception на стеке создается новый указатель на объект Exception и если нет обработчиков, то именно он и вернется из метода. Дальше, если есть обработчик, то заходим туда. Вот тут то и самое интересное, при вызове return в стек, в нашем случае, помещается возвращаемое значение 2 и... метод должен прервать свое выполнение, но потом механизм обработки искл. ситуаций всё равно заходит в блок finaly и выполняет в нем код (на сколько вообще он там корректно сможет отработать при разных вариациях - вопрос отдельный) и соответственно при вызове return в стек помещается очередное значение 1 (или выталкивает предыдущее и заносит новое - тут вопрос). На выходе из метода получаем 1.

В общем, это то, как я вижу это. Надеюсь, более квалифицированные специалисты прокомментируют с подробностями мои предположения.

Можно и без Exception'ов. Вот этот код вернёт значение 1:

Если обратиться к документации, например Java Reference, почти всё становится ясным. Думаю, нюансы по поведению return стоит искать в недрах java - как всё таки передается управление между строками кода.

Как вообще работает return в ЯВУ очень хорошо показывает паскаль  Заурядная там конструкция: