Wird ein finally-Block in Java immer ausgeführt?

Question

Bei diesem Code kann ich sicher sein, dass der finally-Block immer ausgeführt wird, egal was something() ist?

try {  
    something();  
    return success;  
}  
catch (Exception e) {   
    return failure;  
}  
finally {  
    System.out.println("Ich weiß nicht, ob das ausgegeben wird");
}

Answer 1

Nein, nicht immer, eine Ausnahme ist der Fall System.exit(0); bevor der finally Block verhindert, dass finally ausgeführt wird.

      class A {
        public static void main(String args[]) {
            DataInputStream cin = new DataInputStream(System.in);

            try {
                int i = Integer.parseInt(cin.readLine());
            } catch (ArithmeticException e) {
            } catch (Exception e) {
               System.exit(0); // Programm wird beendet, bevor der finally Block ausgeführt wird
            } finally {
                System.out.println("Wird nicht ausgeführt");
                System.out.println("Kein Fehler");
            }
        }
    }

Answer 2

Der finally-Block wird immer ausgeführt, es sei denn, das Programm wird abnorm beendet, entweder durch einen Absturz des JVM oder durch einen Aufruf von System.exit(0).

Zusätzlich wird jeder Wert, der innerhalb des finally-Blocks zurückgegeben wird, den vor der Ausführung des finally-Blocks zurückgegebenen Wert überschreiben. Seien Sie also vorsichtig und prüfen Sie alle Ausstiegspunkte beim Verwenden von try finally.

Answer 3

Außerdem wird ein Return in finally jede Ausnahme verwerfen. http://jamesjava.blogspot.com/2006/03/dont-return-in-finally-clause.html

Answer 4

Zuletzt wird immer der gesamte Code ausgeführt, nur weil er im Code nach der Rückgabe erscheint, bedeutet das nicht, dass dies so implementiert ist. Die Java-Runtime ist dafür verantwortlich, diesen Code beim Verlassen des try-Blocks auszuführen.

Zum Beispiel, wenn Sie Folgendes haben:

int foo() { 
    try {
        return 42;
    }
    finally {
        System.out.println("fertig");
    }
}

Die Laufzeit generiert etwas Ähnliches wie dies:

int foo() {
    int ret = 42;
    System.out.println("fertig");
    return 42;
}

Wenn eine unbehandelte Ausnahme geworfen wird, wird der finally-Block ausgeführt und die Ausnahme wird weitergeleitet.

Answer 5

NICHT IMMER

Die Java Language specification beschreibt, wie try-catch-finally und try-catch Blöcke funktionieren unter 14.20.2
An keiner Stelle wird spezifiziert, dass der finally Block immer ausgeführt wird. Für alle Fälle, in denen die try-catch-finally und try-finally Blöcke vollständig ausgeführt werden, wird jedoch spezifiziert, dass vor Abschluss finally ausgeführt werden muss.

try {
  CODE im try Block
}
finally {
  FIN Code im finally Block
}
Nächster Code wird nach dem try-finally Block ausgeführt (kann in einer anderen Methode sein).

Die JLS garantiert nicht, dass FIN nach CODE ausgeführt wird. Die JLS garantiert, dass wenn CODE und NEXT ausgeführt werden, dann wird FIN immer nach CODE und vor NEXT ausgeführt.

Warum garantiert die JLS nicht, dass der finally Block immer nach dem try Block ausgeführt wird? Weil es unmöglich ist. Es ist unwahrscheinlich, aber möglich, dass die JVM nach Abschluss des try Blocks, aber vor der Ausführung des finally Blocks abgebrochen wird (beendet, abstürzt, heruntergefahren wird). Hiergegen kann die JLS nichts tun.

Daher sind alle Software, die für ihr korrektes Verhalten von der Ausführung der finally Blöcke nach Abschluss ihrer try Blöcke abhängen, fehlerhaft.

return Anweisungen im try Block sind für dieses Problem irrelevant. Wenn die Ausführung den Code nach dem try-catch-finally erreicht, ist garantiert, dass der finally Block bereits ausgeführt wurde, mit oder ohne return Anweisungen innerhalb des try Blocks.