Заголовочный файл assert.h в стандартной библиотеке C предоставляет макрос assert, который можно использовать для проверки предположений, сделанных программой, и распечатки диагностического сообщения, если это предположение ложно.
Определенный макрос assert ссылается на другой макрос NDEBUG, который не является частью <assert.h>. Если NDEBUG определен как имя макроса в исходном файле, в момент включения <assert.h> макрос assert определяется следующим образом:
#define assert(ignore) ((void)0)
Макросы библиотеки
Ниже приведена единственная функция, определенная в заголовке assert.h —
На самом деле это макрос, а не функция, которую можно использовать для добавления диагностики в вашу C-программу.