Excepciones: la expresión try...finally (F#)

La expresión try...finally se puede utilizar para ejecutar el código de expression2 de la sintaxis anterior sin tener en cuenta si se ha generado una excepción durante la ejecución de expression1.

El tipo de expression2 no contribuye al valor de la expresión en su conjunto; el tipo devuelto cuando no se produce una excepción es el último valor de expression1. Cuando la excepción sí se produce, no se devuelve ningún valor y el flujo de control se transfiere al siguiente controlador de excepciones coincidente que aparece más arriba en la pila de llamadas. Si no se encuentra ningún controlador de excepciones, el programa finaliza. Antes de que se ejecute el código de un controlador coincidente o de que finalice el programa, se ejecuta el código de la bifurcación finally.

En el código siguiente se muestra el uso de la expresión try...finally.

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

La salida que aparece en la consola es la siguiente.

Closing stream
Exception handled.

Como puede ver en la salida, la secuencia se cerró antes de que se controlara la excepción exterior, y el archivo test.txt contiene el texto test1, lo que indica que los búferes se vaciaron y escribieron en el disco aunque la excepción transfirió el control al controlador de excepciones exterior.

Tenga en cuenta que la construcción try...with es una construcción independiente de la construcción try...finally. Por consiguiente, si el código requiere un bloque with y un bloque finally, se deberán anidar las dos construcciones, como en el ejemplo de código siguiente.

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

En el contexto de las expresiones de cálculo, incluidas las expresiones de secuencia y los flujos de trabajo asincrónicos, las expresiones try...finally pueden tener una implementación personalizada. Para obtener más información, vea Expresiones de cálculo (F#).

Referencia

Otros recursos