Esporta (0) Stampa
Espandi tutto
Espandi Riduci a icona
Il presente articolo è stato tradotto automaticamente. Passare il puntatore sulle frasi nell'articolo per visualizzare il testo originale. Ulteriori informazioni.
Traduzione
Originale
Questo argomento non è stato ancora valutato - Valuta questo argomento

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

Nota 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


Il documento è risultato utile?
(1500 caratteri rimanenti)
Grazie per i commenti inviati.

Aggiunte alla community

AGGIUNGI
Mostra:
© 2014 Microsoft. Tutti i diritti riservati.