Defined in header <assert.h> | ||||
---|---|---|---|---|
|
The definition of the macro assert
depends on another macro, NDEBUG
, which is not defined by the standard library.
If NDEBUG
is defined as a macro name at the point in the source code where <assert.h>
is included, then assert
does nothing.
If NDEBUG
is not defined, then assert
checks if its argument (which must have scalar type) compares equal to zero. If it does, assert
outputs implementation-specific diagnostic information on the standard error output and calls abort()
. The diagnostic information is required to include the text of expression
, as well as the values of the standard macros __FILE__
, __LINE__
, and the predefined variable __func__
. (since C99).
Parameters
condition | - | expression of scalar type |
Return value
(none).
Example
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | #include <stdio.h> // uncomment to disable assert() // #define NDEBUG #include <assert.h> #include <math.h> int main( void ) { double x = -1.0; assert (x >= 0.0); printf ( "sqrt(x) = %f\n" , sqrt (x)); return 0; } |
Output:
1 2 3 4 5 | output with NDEBUG not defined: a.out: main.cpp:10: main: Assertion `x >= 0.0' failed. output with NDEBUG defined: sqrt (x) = -nan |
References
- C11 standard (ISO/IEC 9899:2011):
- 7.2.1.1 The assert macro (p: 186-187)
- C99 standard (ISO/IEC 9899:1999):
- 7.2.1.1 The assert macro (p: 169)
- C89/C90 standard (ISO/IEC 9899:1990):
- 4.2.1.1 The assert macro
See also
causes abnormal program termination (without cleaning up) (function) | |
C++ documentation for assert |
Please login to continue.