C 语言编程 — 断言操作

目录

断言

在 C 语言中，断言是一种针对程序内部非法情况的检测机制。值得注意的是，断言是用来检查 “非法情况“ 的，而不是用于处理 “错误情况“ 的。断言操作与错误操作应该有一个概念上明确的区分。

• 断言的好处：提供一种设置程序运行条件的约束，并帮助开发者得以快速检测出错误发生的地方。
• 断言的坏处：大量的断言，频繁的条件检查，会影响程序的性能。同时，断言检查失败时，通常会导致程序终止退出，影响了程序的可靠性。

所以，断言通常用于开发和调试阶段，而在生产环境中，则会被禁用。使用宏定义或编译器参数可以灵活的设置断言的开关。

内置 assert 宏

C 语言内置了 assert 宏，定义在 assert.h 头文件中，用于检查某些条件是否满足，常用于对传入函数的实参进行约束检查。

• 如果条件为真，则程序继续正常运行。
• 如果条件为假，那么它将首先向 stderr（标准错误流）打印一条出错信息，然后再通过调用 abort() 函数终止程序运行。

程序示例