다음을 통해 공유


어설션

식은 assert 식을 테스트하는 데 사용할 수 있는 디버깅 기능입니다. 디버그 모드에서 실패 시 어설션에서 시스템 오류 대화 상자를 생성합니다.

구문

assert condition

설명

식에 assert 형식 bool -> unit이 있습니다.

함수가 assert .로 Debug.Assert확인됩니다. 즉, 해당 동작은 직접 호출 Debug.Assert 한 것과 동일합니다.

어설션 검사 설정은 디버그 모드에서 컴파일할 때만 사용하도록 설정됩니다. 즉, 상수가 DEBUG 정의된 경우입니다. 기본적으로 프로젝트 시스템에서 DEBUG 상수는 디버그 구성에서 정의되지만 릴리스 구성에서는 정의되지 않습니다.

F# 예외 처리를 사용하여 어설션 실패 오류를 catch할 수 없습니다.

예시

다음 코드 예제에서는 식의 사용을 보여 줍니다 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

참고 항목