例外: failwith 関数

2025-07-31

failwith関数は F# 例外を生成します。

構文

failwith error-message-string

注釈

前の構文の エラーメッセージ文字列 は、リテラル文字列または string型の値です。これは、例外の Message プロパティになります。

failwithによって生成される例外はSystem.Exception例外です。これは、F# コードでFailure名前を持つ参照です。次のコードは、 failwith を使用して例外をスローする方法を示しています。

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

こちらも参照ください