Asserzioni

  • Articolo

L'espressione assert è una funzionalità di debug che è possibile usare per testare un'espressione. In caso di errore in modalità Debug, un'asserzione genera una finestra di dialogo di errore di sistema.

Sintassi

assert condition

Osservazioni:

L'espressione assert ha il tipo bool -> unit.

La assert funzione viene risolta in Debug.Assert. Questo significa che il suo comportamento è identico a quello chiamato Debug.Assert direttamente.

Il controllo dell'asserzione è abilitato solo quando si esegue la compilazione in modalità debug; ovvero, se la costante DEBUG è definita. Nel sistema di progetto, per impostazione predefinita, la DEBUG costante è definita nella configurazione debug, ma non nella configurazione release.

L'errore di errore dell'asserzione non può essere rilevato usando la gestione delle eccezioni F#.

Esempio

Nell'esempio di codice seguente viene illustrato l'uso dell'espressione 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

Vedi anche