assert.h C標準庫的頭文件中提供了一個宏稱為斷言可以用於驗證程序的假設，如果這個假設是錯誤的，並打印診斷消息。

定義assert宏指另一個宏NDEBUG不是<assert.h>不是一部分。如果在源文件中的點包括在<assert.h>為宏名定義了NDEBUG，assertmacro定義如下：

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

庫宏

以下是唯一的函數定義在頭assert.h：

S.N.	函數及說明
1	void assert(int expression) 這實際上是一個宏，而不是一個函數，它可以被用來添加在C程序診斷。