主張

assert式は、式のテストに使用できるデバッグ機能です。 デバッグ モードでエラーが発生すると、アサーションによってシステム エラー ダイアログ ボックスが生成されます。

構文

assert condition

注釈

assert式には型bool -> unitがあります。

assert関数は、Debug.Assertに解決されます。 つまり、その動作は、 Debug.Assert を直接呼び出した場合と同じです。

アサーション チェックは、デバッグ モードでコンパイルする場合にのみ有効になります。つまり、定数 DEBUG が定義されている場合です。 プロジェクト システムでは、既定では、 DEBUG 定数はデバッグ構成で定義されますが、リリース構成では定義されません。

F# 例外処理を使用してアサーション エラーをキャッチすることはできません。

例

次のコード例は、 assert 式の使用方法を示しています。

let subtractUnsigned (x : uint32) (y : uint32) =
    assert (x > y)
    let z = x - y
    z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u

こちらも参照ください

• F# 言語リファレンス