使用 BOOST_ASSERT 实现代码自我检查

使用 BOOST_ASSERT 实现代码自我检查

在 C++ 中，调试程序常用的手段之一是代码自我检查。这个过程中，开发者编写一些特定的语句，用于确认程序运行时的一些特定条件是否成立。如果检查失败，则程序会终止，并输出相应的错误信息。

不过，手写这些语句往往比较繁琐烦琐，而且容易出错。为了解决这个问题，Boost 库提供了一个宏 BOOST_ASSERT，使得我们能够轻松地实现自动检查，从而更加高效地进行调试工作。

下面是一个使用 BOOST_ASSERT 的示例代码：

#include <boost/assert.hpp>

void foo(int x, int y)
{
    BOOST_ASSERT(x >= 0 && y >= 0);
    
    // ...
}

int main()
{
    foo(1, -1);
}

在这个代码中，我们定义了一个函数 foo，它有两个参数 x 和 y。在函数体内，我们使用 BOOST_ASSERT 宏来检查 x 和 y 是否都大于等于 0。如果检查失败，程序会立即终止，并输出详细的错误信息。

在 main 函数中，我们调用 foo 函数，并传入参数 1 和 -1，这会导致 BO