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程式診斷。 |