初识断言 (Assertion)

1. 什么是断言

断言是用于进行调试和错误处理的工具。

它允许程序员在代码中插入条件检查，以确保程序在运行时满足特定的前提条件。

如果断言的条件不成立，程序将终止执行并生成一条错误消息，提供关于出错位置和原因的信息。

2. 使用断言

#include <assert.h>

int main(void){
    int a = -5;
    assert(a > 0);
}

程序终止执行，因为断言的条件 a > 0 不成立。

控制台可能打印出以下内容：

***.c:4: main: Assertion `a > 0' failed.
Program terminated with signal: SIGSEGV

3. 用途

用于防御性编程，缩小错误可能存在的范围，便于调试。