Partilhar via

Afirmações

  • Artigo

A assert expressão é um recurso de depuração que você pode usar para testar uma expressão. Em caso de falha no modo de depuração, uma asserção gera uma caixa de diálogo de erro do sistema.

Sintaxe

assert condition

Observações

A assert expressão tem o tipo bool -> unit.

A assert função resolve para Debug.Assert. Isso significa que seu comportamento é idêntico a ter chamado Debug.Assert diretamente.

A verificação de asserção é ativada somente quando você compila no modo de depuração; isto é, se a constante DEBUG é definida. No sistema de projeto, por padrão, a DEBUG constante é definida na configuração Debug, mas não na configuração Release.

O erro de falha de asserção não pode ser detetado usando o tratamento de exceções F#.

Exemplo

O exemplo de código a seguir ilustra o uso da assert expressão.

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 também