Ausnahmen: Der try...finally-Ausdruck (F#)
Mit dem try...finally-Ausdruck können Sie Bereinigungscode ausführen, auch wenn ein Codeblock eine Ausnahme auslöst.
try
expression1
finally
expression2
Hinweise
Mit dem try...finally-Ausdruck kann der Code in expression2 in der vorangehenden Syntax unabhängig davon ausgeführt werden, ob während der Ausführung von expression1 eine Ausnahme generiert wird.
Der Typ von expression2 wirkt sich nicht auf den Wert des gesamten Ausdrucks aus. Wenn keine Ausnahme auftritt, ist der letzte Wert in expression1 der zurückgegebene Typ. Wenn eine Ausnahme auftritt, wird kein Wert zurückgegeben, und die Ablaufsteuerung wechselt zum nächsten entsprechenden Ausnahmehandler aufwärts in der Aufrufliste. Wenn kein Ausnahmehandler gefunden wird, wird das Programm beendet. Vor dem Ausführen des Codes in einem entsprechenden Handler oder dem Beenden des Programms wird der Code in der finally-Verzweigung ausgeführt.
Im folgenden Code wird die Verwendung des try...finally-Ausdrucks veranschaulicht.
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 aus der Ausgabe ersichtlich, wurde der Stream geschlossen, bevor die äußere Ausnahme behandelt wurde, und die Datei test.txt enthält den Text test1. Dies bedeutet, dass die Puffer geleert und auf einen Datenträger geschrieben wurden, obwohl durch die Ausnahme die Steuerung an den Handler für die äußere Ausnahme übergeben wurde.
Beachten Sie, dass das try...with-Konstrukt und das try...finally-Konstrukt zwei verschiedene Konstrukte sind. Wenn der Code sowohl einen with-Block als auch einen finally-Block erfordert, müssen Sie daher die beiden Konstrukte schachteln, wie im folgenden Codebeispiel.
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 Workflows, können try...finally-Ausdrücke über eine benutzerdefinierte Implementierung verfügen. Weitere Informationen finden Sie unter Berechnungsausdrücke (F#).
Siehe auch
Referenz
Ausnahmen: Der try...with-Ausdruck (F#)