Per visualizzare l'articolo in inglese, selezionare la casella di controllo Inglese. È possibile anche visualizzare il testo inglese in una finestra popup posizionando il puntatore del mouse sopra il testo.
Traduzione
Inglese

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

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#.

NotaNota

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


Aggiunte alla community

AGGIUNGI
Mostra: