만약 <xassert.h>를 포함할 때, NDEBUG 매크로가 정의되어 있으면 xassert()는 아무런 일을 하지 않으며, NDEBUG가 정의되어 있지 않으면, printf(3) 스타일의 메시지를 출력할 수 있다는 것을 제외하고, assert(3)와 똑같이 동작한다.

ISO C를 지원하는 시스템에서 쓸 수 있다. 정확히 말하면, 매크로 VA_ARGS를 지원하는 컴파일러에서 쓸 수 있다.

assert(3)는 개발자가 프로그램을 작성할 때, 버그가 생기는 것을 막아주는 가장 기초적인 방법 중의 하나입니다. TODO: assert()에 대해서 좀 더 설명

assert(3)의 출력은 정해지지 않아서, 컴파일러마다 조금씩 다릅니다만1, 대개의 경우, assert가 발생된 소스의 파일 이름과 줄 번호를 알려주면서 프로그램을 강제로 끝냅니다. 끝낼 때에는 abort(3)를 사용하도록 되어 있습니다.

예를 들어 아래의 출력은 어떤 시스템의 assert(3) 출력 결과입니다.

$ cat tmp.c
#include <assert.h>

void
adult_only(int age)
{
  assert(age > 18);
}

int
main(void)
{
  adult_only(3);
  return 0;
}
$ gcc tmp.c
$ ./a.out
a.out: tmp.c:6: adult_only: Assertion `age > 18' failed.
Aborted
$ _

assert()를 효과적으로 수행하기 위해서, 개발자가 직접 메시지를 써 넣을 수 있으면 참 편할 것이라 생각합니다. 즉 단순히 어떤 수식(위에서는 "age > 18")을 출력하고 종료하기 보다는, printf()와 같은 형식의 메시지도 함께 출력할 수 있다면 나중에 assert()가 발생할 때, 왜 발생했는지 이유를 빠르게 알아낼 수 있을 것입니다. 결국 우리가 만들고자 하는 것은 다음과 같은 코드를 만들 수 있게 하고: 실제로 조건을 만족하지 않을 경우, 다음과 같은 메시지를 출력하게 하려는 것입니다:

a.out: tmp.c:6: adult_only: Assertion `age > 18' failed.
        AGE must be 19 at least. (age = 3)

assert(3)는 매크로 NDEBUG가 정의되어 있는 경우, ((void)0)으로 확장되어 실제로 기계어 코드를 만들어내지 않습니다. 따라서 최대한 오버헤드를 적게 하기 위해서는 ASSERT도 다음과 같이 매크로 함수로 정의되어야 합니다.

가변 인자를 처리하는 매크로에 대해서는 CLanguageVariableArgumentsList에서 설명했습니다. 기억이 잘 나지 않는다면 다시 읽어보시기 바랍니다. 이제 위 코드에서 주석 부분을 써 넣어야 하는데, 다음과 같은 함수를 만들어서 대체하려고 합니다. 가변 인자를 처리하는 함수에 대해서 기억이 나지 않는다면, CLanguageVariableArgumentsList를 참고하기 바랍니다. 이제 xassert의 정의를 다음과 같이 다시 쓸 수 있습니다 (NDEBUG 관련 부분은 제외합니다):

TODO: 몇가지 사용례 추가

CategoryDevelopment