주장은 해당 코드 행에 도달했을 때 사실이 참이어야 함을 긍정적으로 선언하는 데 사용되는 진술입니다.
어설션은 충족되는 예상 조건을 얻는 데 유용합니다.
단순 주장
assert.h 에 있는 assert (expression) 메서드를 사용하여 간단한 주장을 구현할 수 있습니다. 헤더 파일.
단순 어설션의 구문은 다음과 같습니다. -
assert(expression)
간단한 주장에서,
- 조건이 true인 주장에 전달되면 조치가 없습니다.
- 거짓 명령문의 동작은 컴파일러 플래그에 따라 완전히 달라집니다.
- 어설션이 활성화되면 잘못된 입력으로 인해 프로그램이 중지됩니다.
- 어설션이 비활성화되면 조치가 없습니다.
어설션은 내부 프로그래밍 오류를 잡는 데만 사용됩니다. 이러한 오류는 잘못된 매개변수를 전달하여 발생합니다.
예시
다음은 C 프로그래밍 언어의 단순 어설션을 위한 C 프로그램입니다 -
#include <stdio.h> #include <assert.h> int main(void){ int x; printf("Enter the value of x:\n"); scanf("%d",&x); assert(x >= 0); printf("x = %d\n", x); return 0; }
출력
위의 프로그램이 실행되면 다음과 같은 출력을 생성합니다 -
Run 1: Enter the value of x: 20 x = 20 Run 2: Enter the value of x: -3 Assertion failed! Program: G:\CP\CP programs\test.exe File: G:\CP\CP programs\test.c, Line 10 Expression: x >= 0