Onaylamalar

  • Makale
  • Okumak için 2 dakika

İfade, assert bir ifadeyi test etmek için kullanabileceğiniz bir hata ayıklama özelliğidir. Hata ayıklama modunda hata oluştunda, onay bir sistem hatası iletişim kutusu üretir.

Syntax

assert condition

Açıklamalar

İfade assert türüne bool -> unit sahip.

işlevi assert olarak çözümlemektedir. Debug.Assert Bu, davranışının doğrudan çağrılarak aynı olduğu anlamına Debug.Assert gelir.

Onay denetimi yalnızca Hata Ayıklama modunda derledikten sonra etkinleştirilir; başka bir ifadeyle, sabit DEBUG tanımlanmışsa. Proje sisteminde varsayılan olarak sabit Hata Ayıklama DEBUG yapılandırmasında tanımlanır, ancak Yayın yapılandırmasında tanımlanmaz.

Onay hatası hatası F# özel durum işleme kullanılarak yakalanamaz.

Örnek

Aşağıdaki kod örneği ifadenin kullanımını assert göstermektedir.

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

Ayrıca bkz.