Ausnahmen: Der try...finally-Ausdruck

  • Artikel

Mit dem try...finally-Ausdruck können Sie Bereinigungscode auch dann ausführen, wenn ein Codeblock eine Ausnahme auslöst.

Syntax

try
    expression1
finally
    expression2

Bemerkungen

Der try...finally-Ausdruck kann verwendet werden, um den Code in Ausdruck2 in der vorherigen Syntax auszuführen, unabhängig davon, ob während der Ausführung von Ausdruck1 eine Ausnahme generiert wird.

Der Typ von Ausdruck2 trägt nicht zum Wert des gesamten Ausdrucks bei. Der Typ, der zurückgegeben wird, wenn keine Ausnahme auftritt, ist der letzte Wert in Ausdruck1. Wenn eine Ausnahme auftritt, wird kein Wert zurückgegeben und der Ablauf der Steuerung wird an den nächsten übereinstimmenden Ausnahmehandler des Aufrufstapels übertragen. Wenn kein Ausnahmehandler gefunden wird, wird das Programm beendet. Bevor der Code in einem übereinstimmenden Handler ausgeführt oder das Programm beendet wird, wird der Code im finally-Branch ausgeführt.

Das folgende Codebeispiel veranschaulicht die Verwendung des try...finally-Ausdrucks.

let divide x y =
   let stream : System.IO.FileStream = System.IO.File.Create("test.txt")
   let writer : System.IO.StreamWriter = new System.IO.StreamWriter(stream)
   try
      writer.WriteLine("test1")
      Some( x / y )
   finally
      writer.Flush()
      printfn "Closing stream"
      stream.Close()

let result =
  try
     divide 100 0
  with
     | :? System.DivideByZeroException -> printfn "Exception handled."; None

Die Ausgabe an die Konsole lautet wie folgt.

Closing stream
Exception handled.

Wie Sie in der Ausgabe sehen können, wurde der Stream geschlossen, bevor die äußere Ausnahme behandelt wurde, und die Datei test.txt enthält den Text test1, der angibt, dass die Puffer geleert und auf den Datenträger geschrieben wurden, obwohl die Ausnahme die Kontrolle an den äußeren Ausnahmehandler übertragen hat.

Beachten Sie, dass das try...with-Konstrukt ein vom Konstrukt getrenntes try...finally-Konstrukt ist. Wenn Ihr Code also sowohl einen with-Block als auch einen finally-Block erfordert, müssen Sie die beiden Konstrukte wie im folgenden Codebeispiel verschachteln.

exception InnerError of string
exception OuterError of string

let function1 x y =
   try
     try
        if x = y then raise (InnerError("inner"))
        else raise (OuterError("outer"))
     with
      | InnerError(str) -> printfn "Error1 %s" str
   finally
      printfn "Always print this."


let function2 x y =
  try
     function1 x y
  with
     | OuterError(str) -> printfn "Error2 %s" str

function2 100 100
function2 100 10

Im Kontext von Berechnungsausdrücken, einschließlich Sequenzausdrücken und asynchronen Ausdrücken, können try...finally Ausdrücke über eine benutzerdefinierte Implementierung verfügen. Weitere Informationen finden Sie unter Berechnungsausdrücke.

Siehe auch