Asserzioni
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
