Asserzioni (F#)
L'espressione assert è una funzionalità di debug che è possibile utilizzare per testare un'espressione.In caso di errore nella modalità di debug, un'asserzione genera una finestra di dialogo di errore di sistema.
assert condition
Note
L'espressione assert è di tipo bool -> unit.
Nella sintassi precedente condition rappresenta un'espressione booleana che deve essere testata.Se l'espressione restituisce true, l'esecuzione continua.Se restituisce false, viene generata una finestra di dialogo di errore di sistema.La finestra di dialogo di errore ha una didascalia che contiene la stringa Asserzione non riuscita.La finestra di dialogo contiene una traccia dello stack che indica dove si è verificato l'errore di asserzione.
Il controllo delle asserzioni è abilitato solo quando si esegue la compilazione in modalità di debug, ovvero se la costante DEBUG è definita.Nel sistema del progetto, per impostazione predefinita, la costante DEBUG è definita nella configurazione per il debug ma non nella configurazione per il rilascio.
L'errore di asserzione non può essere intercettato tramite la gestione delle eccezioni F#.
[!NOTA]
La funzione assert viene risolta in System.Diagnostics.Debug.Assert.Per ulteriori informazioni, vedere Assert.
Nell'esempio di codice seguente viene illustrato l'utilizzo 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