判斷提示

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# 語言參考