C++断言用法

在C++中，断言（assertion）是用于确保程序在运行时满足某些条件的一种机制。当程序运行到assert语句时，如果条件不成立，程序就会终止并输出错误信息。

断言的基本用法如下：

#include <assert.h>

int main()
{
    int x = 0;
    assert(x != 0); // 如果 x == 0，程序会终止并输出错误信息
    return 0;
}

在这个例子中，assert(x != 0) 的意思是，如果 x 不等于 0，程序将会继续执行，否则程序会终止并输出错误信息。注意，assert只有在程序被编译为调试模式时才会执行，因此在正式发布时应该将assert语句删除。

除了上面的用法之外，assert还可以用于检查指针是否为空、数组下标是否越界等情况。例如：

#include <assert.h>

void foo(int* ptr)
{
    assert(ptr != nullptr); // 检查指针是否为空
    // ...
}

int main()
{
    int arr[10];
    int i = 10;
    assert(i < 10); // 检查数组下标是否越界
    // ...
    return 0;
}

总之，断言是一种非常有用的调试工具，可以帮助开发人员在程序运行时及早发现潜在的问题。