TRICKS: Что вернёт метод?

@mutagen · Регистрация: 14.09.2011

Author24 — интернет-сервис помощи студентам

начинаем серию постов TRICKS по фишкам JVM и компилятора, вопросы для самообразования, не более

просьба не компилировать, а попробовать подумать что вернёт метод

Java

    static String dubleReturn() {
        while (true) {
            try {
                return "foo";
            } finally {
                break;
            }
        }
        return "boo";
    }

а после того как скомпилите и увидите результат, прошу объяснить почему именно так

ps: вопрос чисто академический, поэтому не стоит нести чушь про то что так писать негоже

@vladimirsky · 18.02.2014, 18:59

Сообщение от mutagen

это ключевая нескладуха, так как ретурн был в трай и этот блок отработал успешно и без экцепов по всем нормам человеческого языка ))) По всем соглашениям и докам после отработки финализации, мы обязаны были вернуть управление на return, так как он уже был выполнен и ожидает возврата из файнала

Здесь как раз объясняется почему это так работает.
http://www.javaworld.com/article/2077609

@mutagen · 18.02.2014, 19:16 **[ТС]**

Сообщение от vladimirsky

почему это так работает

я знаю почему, я смотрел байткод )
вопрос не почему, а в том что так не должно )
уже устал от этой темы )

@vladimirsky · 18.02.2014, 19:53

Сообщение от mutagen

я знаю почему, я смотрел байткод )
вопрос не почему, а в том что так не должно )
уже устал от этой темы )

Я тоже устал

Если принять ваш вариант, то операторы break, continue...
вообще не должны быть в блоке finally. Поскольку в этом случае один и тот же код в finally будет не одинаково работать в случае если в его вошли с return или без.
Особенно это заметно с continue. Достаточно усложнить код:
(пример чисто гипотетичекий)

Java

static String dubleReturn() {
        while (true) {
            try {
               if (somecondition)
                  return "foo";
            } finally {
               if (!objectready)
                 continue;
              freeresources();
            }
        }
        return "boo";
    }

По-этому в случае если break и continue допустимы в finally, то правильным будет реализованный в java вариант.

@vladimirsky 3 / 3 / 1 Регистрация: 18.09.2013 Сообщений: 19
	18.02.2014, 18:59	41
	Сообщение от mutagen это ключевая нескладуха, так как ретурн был в трай и этот блок отработал успешно и без экцепов по всем нормам человеческого языка ))) По всем соглашениям и докам после отработки финализации, мы обязаны были вернуть управление на return, так как он уже был выполнен и ожидает возврата из файнала Здесь как раз объясняется почему это так работает. http://www.javaworld.com/article/2077609 0

@mutagen 2586 / 2259 / 257 Регистрация: 14.09.2011 Сообщений: 5,185 Записей в блоге: 18
	18.02.2014, 19:16 [ТС]	42
	Сообщение от vladimirsky почему это так работает я знаю почему, я смотрел байткод ) вопрос не почему, а в том что так не должно ) уже устал от этой темы ) 0

	18.02.2014, 19:53