어설션(F#)
assert는 식을 테스트하는 데 사용할 수 있는 디버깅 기능을 제공하는 식입니다.디버그 모드에서 어설션에 실패하면 시스템 오류 대화 상자가 열립니다.
assert condition
설명
assert 식에는 bool -> unit 형식이 있습니다.
위 구문에서 condition은 테스트할 부울 식을 나타냅니다.식의 결과가 true이면 아무런 문제 없이 실행이 계속 진행됩니다.결과가 false이면 시스템 오류 대화 상자가 열립니다.이 오류 대화 상자에는 어설션 실패라는 문자열을 포함하는 캡션이 표시됩니다.또한 이 대화 상자에는 어설션이 실패한 지점을 나타내는 스택 추적이 포함됩니다.
어설션 검사는 디버그 모드로 컴파일하는 경우, 즉 DEBUG 상수를 정의한 경우에만 사용할 수 있습니다.프로젝트 시스템에서 DEBUG 상수는 기본적으로 디버그 구성에 정의되지만 릴리스 구성에는 정의되지 않습니다.
F# 예외 처리를 사용해서는 어설션 실패 오류를 catch할 수 없습니다.
[!참고]
assert 함수는 System.Diagnostics.Debug.Assert가 됩니다.자세한 내용은 Assert를 참조하십시오.
다음 코드 예제에서는 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