Влияние наконец -то блокировки на возвращаемое значение

в Java, поведение наконец -то блока на возвращаемом значении метода может быть противоречивым Полем Давайте проанализируем фрагмент кода и углубляются в основные причины этого явления. частная строка S; public String foo () { пытаться { s = "dev"; возврат S; } окончательно { S = "Переопределение переменной S"; System.out.println («Вход в наконец -то блок»); } } public static void main (string [] xyz) { Тест obj = new Test (); System.out.println (obj.foo ()); } }. Это связано с тем, что возвращаемое значение определяется выполнением оператора возврата в блоке TRY. Изменение, внесенное в 's' в блоке, произошло после завершения блока try и поэтому не отражено в возвратном значении. сам, не на изменения в ссылках объекта. Если бы «s» была ссылкой на изменяемый объект, и его содержимое было изменено в блоке, наконец, эти изменения были бы видны в возвратном значении.

спецификация языка Java (JLS) излагает подробные правила для этого Поведение в разделе 14.20.2. В случае оператора TRY-FINALL, если и Block TRY, и The, наконец, имеют возвратные операторы, возвращаемое значение Block преобладает. Это связано с тем, что выполнение оператора возврата считается резким прекращением блока. Изменения, внесенные в переменную в блоке, наконец -то, будь то в значении или через изменение объекта, не влияют на возвращаемое значение, если наконец -то блок также не включает в себя оператор возврата.