Exceções: A função (F#) de failwith

O failwith função gera um F# de exceção.

failwith error-message-string

Comentários

O error-message-string na sintaxe anterior é uma seqüência de caracteres literal ou um valor do tipo string. Torna-se a Message a propriedade da exceção.

A exceção que é gerada pelo failwith é um Microsoft.FSharp.Core.FailureException exceção, que é uma referência que tem o nome Failure F# código. O código a seguir ilustra o uso de failwith para lançar uma exceção.

let divideFailwith x y =
  if (y = 0) then failwith "Divisor cannot be zero."
  else
    x / y

let testDivideFailwith x y =
  try
     divideFailwith x y
  with
     | Failure(msg) -> printfn "%s" msg; 0

let result1 = testDivideFailwith 100 0

Consulte também

Referência

Tipos de exceções (F#)

Exceções: O bloco try... com a expressão (F#)

Exceções: O bloco try... finalmente expressão (F#)

Exceções: o aumento de função (F#)

Outros recursos

Exceção de tratamento (F#)