c++ assert

assert 是C++中的一个宏，通常用于在开发和调试阶段进行条件检查。如果某个条件不满足，assert 会中断程序并报告错误信息，有助于程序员发现潜在的逻辑错误。

使用方法

语法格式为：

#include <cassert> // 需要包含头文件 <cassert>

assert(condition);

• 参数 condition：是一个表达式。如果 condition 的值为 false，assert 会在程序中止时输出错误信息。
• 错误信息：包括错误发生的文件名、行号和断言条件，以便开发者定位问题。

示例

#include <iostream>
#include <cassert>

int main() {
    int x = 10;
    int y = 5;
    
    assert(x > y);  // 条件满足，程序继续运行
    
    y = 15;
    assert(x > y);  // 条件不满足，程序中止并输出错误信息
    
    return 0;
}

当 x > y 为 false 时，程序将输出类似于以下错误信息并终止：

Assertion failed: x > y, file example.cpp, line 10

注意事项

• 只在调试模式生效：assert 通常在调试模式下生效，而在发布模式中则被自动移除，以提高性能。
• 使用限制：不适合用在生产代码中进行输入验证，适用于检查开发者假设的条件。
• 无法捕获的异常：assert 失败时直接终止程序，因此无法用 try-catch 捕获。