判斷提示 (F#)

assert 運算式是可用來測試運算式的偵錯功能。 偵錯模式失敗時，判斷提示會產生系統錯誤對話方塊。

assert condition

備註

assert 運算式具有型別 bool -> unit。

在前述語法中，condition 表示要測試的布林運算式。 如果運算式評估為 true，則會不受影響地繼續執行。 如果評估為 false，則會產生系統錯誤對話方塊。 錯誤對話方塊具有包含 [判斷提示失敗] 字串的標題， 並且包含表示何處發生判斷提示失敗的堆疊追蹤。

只有在以偵錯模式編譯 (也就是已定義常數 DEBUG) 時，才會啟用判斷提示檢查。 在專案系統中，DEBUG 常數預設定義於偵錯組態中，而非發行組態中。

判斷提示失敗錯誤無法透過 F# 例外處理來攔截。

注意事項
assert 函式會解析為 System.Diagnostics.Debug.Assert。 如需詳細資訊，請參閱 Assert。

在下列程式碼範例中，會示範 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# 語言參考