assert.h

From Wikipedia, the free encyclopedia
Jump to: navigation, search

assert.h is a header file in the standard library of the C programming language that defines the C preprocessor macro assert().[1] [2] In C++ it is also available through the <cassert> header file.

Assert[edit]

assert(a != 1);

This is a macro that implements a runtime assertion, which can be used to verify assumptions made by the program and print a diagnostic message if this assumption is false.

When executed, if the expression is false (that is, compares equal to 0), assert() will write information about the call that failed on stderr and then call abort(). The information it writes to stderr includes:

  • the source filename (the predefined macro __FILE__)
  • the source line number (the predefined macro __LINE__)
  • the source function (the predefined identifier __func__) (added in C99)
  • the text of expression that evaluated to 0 [1]

Example output of a program compiled on Linux:

program: program.c:5: main: Assertion `a != 1' failed.
Abort (core dumped)

Programmers can eliminate the assertions just by recompiling the program, without changing the source code: if the macro NDEBUG is defined before the inclusion of <assert.h>, the assert() macro may be defined simply as:

#define assert(ignore)((void) 0)

and therefore has no effect on the compilation unit, not even evaluating its argument. Therefore expressions passed to assert() must not contain side-effects since they will not happen when debugging is disabled. For instance:

assert(x = gets());

will not read a line and not assign to x when debugging is disabled.

Static Assert[edit]

static_assert(sizeof(int)>20, "I need huge integers");

C++11 added a similar macro static_assert[3] that computes the value and prints a message at compile-time if it is false. It is possible to simulate this using a macro and templates, though most modern C++ compilers include built-in support (and they might not require the header file).

It is possible to simulate a static assertion in C using a macro: #define static_assert(cond, str) char _temp[-!(cond)], though the resulting error is cryptic. This feature was formally added in C11 as the keyword _Static_assert.

Example[edit]

#include <stdio.h>
#include <assert.h>

int test_assert(int x)
{
    assert(x <= 4);
    return x;
}

int main()
{
    int i;

    for (i=0; i<=9; i++)
    {
        test_assert(i);
        printf("i = %d\n", i);
    }

    return 0;
}
i = 0
i = 1
i = 2
i = 3
i = 4
assert: assert.c:6: test_assert: Assertion `x <= 4' failed.
Aborted

External links[edit]

References[edit]

  1. ^ a b International Standard for Programming Language C (C99), ISO/IEC 9899:1999, p. 169
  2. ^ [Coding Programmer Page C / C++ Reference]. 
  3. ^ http://en.cppreference.com/w/c/error/static_assert