Чому зміна повернутої змінної в остаточному блоці не змінює значення повернення?

У мене простий клас Java, як показано нижче:

public class Test {

    private String s;

    public String foo() {
        try {
            s = "dev";
            return s;
        } 
        finally {
            s = "override variable s";
            System.out.println("Entry in finally Block");  
        }
    }

    public static void main(String[] xyz) {
        Test obj = new Test();
        System.out.println(obj.foo());
    }
}

І вихід цього коду такий:

Entry in finally Block
dev  

Чому sв finallyблоці не переосмислюється , але все ж контролюється друкований вихід?

У tryблоці завершується з виконанням returnзаяви і вартістю sна момент returnоператор виконує це значення , що повертається методом. Той факт, що finallyпізніше додаток змінює значення s(після завершення returnоператора), не (у цей момент) змінює повернене значення.

Зауважимо, що вище стосується змін значення sсебе в finallyблоці, а не об'єкта, на який sпосилається. Якщо sбуло б посилання на об'єкт, що змінюється (який Stringне є), а вміст об'єкта було змінено в finallyблоці, то ці зміни будуть видно у поверненому значенні.

Детальні правила того, як все це працює, можна знайти в розділі 14.20.2 Специфікації мови Java . Зауважте, що виконання returnоператора вважається різким припиненням tryблоку (застосовується розділ, який починається " Якщо виконання блоку спробу завершено різко з будь-якої іншої причини R .... "). Дивіться розділ 14.17 JLS, чому returnзаява є різким припиненням блоку.

Докладніше: якщо і tryблок, і finallyблок try-finallyзаяви різко припиняються через returnзаяви, застосовуються такі правила з § 14.20.2:

Якщо виконання tryблоку різко завершується з будь-якої іншої причини R [окрім викидання виключення], finallyблок виконується, і тоді є вибір:

• Якщо finallyблок завершується нормально, то tryзаява різко завершується з причини Р.
• Якщо finallyблок завершується різко через причину S, то tryвираз завершується різко з причини S (а причина R відкидається).

Результатом є те, що returnоператор у finallyблоці визначає повернене значення всього try-finallyоператора, а повернене значення з tryблоку відкидається. Подібна річ відбувається в try-catch-finallyоператорі, якщо tryблок кидає виняток, його спіймає catchблок, і в catchблоці, і в finallyблоці є returnзаяви.

Тому що значення повернення ставиться на стек перед викликом нарешті.

Якщо ми заглянемо в байт-код, то помітимо, що JDK зробив значну оптимізацію, а метод foo () виглядає так:

String tmp = null;
try {
    s = "dev"
    tmp = s;
    s = "override variable s";
    return tmp;
} catch (RuntimeException e){
    s = "override variable s";
    throw e;
}

І байт-код:

0:  ldc #7;         //loading String "dev"
2:  putstatic   #8; //storing it to a static variable
5:  getstatic   #8; //loading "dev" from a static variable
8:  astore_0        //storing "dev" to a temp variable
9:  ldc #9;         //loading String "override variable s"
11: putstatic   #8; //setting a static variable
14: aload_0         //loading a temp avariable
15: areturn         //returning it
16: astore_1
17: ldc #9;         //loading String "override variable s"
19: putstatic   #8; //setting a static variable
22: aload_1
23: athrow

java зберегла рядок "dev" від зміни перед поверненням. Насправді тут взагалі немає остаточного блоку.

Тут варто звернути увагу на дві речі:

• Струни незмінні. Коли ви встановлюєте s на "переосмислити змінну s", ви задаєте s для посилання на вкладений String, не змінюючи притаманний буфер char об'єкта s, щоб змінити на "override змінної s".
• Ви ставите посилання на s на стек, щоб повернутися до коду виклику. Після цього (коли остаточно запущений блок), зміна посилання не повинна нічого робити для поверненого значення, яке вже є у стеку.

Я трохи змінюю ваш код, щоб довести точку Теда.

Як ви бачите, у висновку sдійсно змінено, але після повернення.

public class Test {

public String s;

public String foo() {

    try {
        s = "dev";
        return s;
    } finally {
        s = "override variable s";
        System.out.println("Entry in finally Block");

    }
}

public static void main(String[] xyz) {
    Test obj = new Test();
    System.out.println(obj.foo());
    System.out.println(obj.s);
}
}

Вихід:

Entry in finally Block 
dev 
override variable s

Технічно кажучи, returnблок спробу не буде ігноруватися, якщо finallyблок визначений, лише якщо цей остаточний блок також включає в себе a return.

Це сумнівне дизайнерське рішення, що, ймовірно, було помилкою в ретроспективі (подібно до того, що посилання за замовчуванням були нульовими / змінними, і, за деякими, перевіреними винятками). Багато в чому така поведінка точно відповідає розмовному розумінню того, що finallyозначає - "незалежно від того, що відбувається заздалегідь у tryблоці, завжди виконайте цей код". Отже, якщо ви повернете істину з finallyблоку, загальний ефект завжди повинен бути таким return s, ні?

Взагалі, це рідко є ідіомою, і ви повинні використовувати finallyблоки для очищення / закриття ресурсів, але рідко, якщо взагалі повертаєте значення з них.

Спробуйте це: Якщо ви хочете роздрукувати значення заміщення s.

finally {
    s = "override variable s";    
    System.out.println("Entry in finally Block");
    return s;
}