Aserciones

La assert expresión es una característica de depuración que puede usar para probar una expresión. Tras un error en el modo de depuración, una aserción genera un cuadro de diálogo de error del sistema.

Sintaxis

assert condition

Observaciones

La assert expresión tiene el tipo bool -> unit.

La assert función se resuelve en Debug.Assert. Esto significa que su comportamiento es idéntico a haber llamado Debug.Assert directamente.

La comprobación de aserciones solo está habilitada cuando se compila en modo de depuración; es decir, si se define la constante DEBUG . En el sistema del proyecto, de forma predeterminada, la DEBUG constante se define en la configuración de depuración, pero no en la configuración de versión.

El error de error de aserción no se puede detectar mediante el control de excepciones de F#.

Ejemplo

En el ejemplo de código siguiente se muestra el uso de la assert expresión.

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

Consulte también

• Referencia del lenguaje F#