c语言中assert的用法

assert函数是C语言中的一种调试工具，用于断言程序中的某些条件是否成立，如果不成立，就会触发程序的异常终止，以便及早发现程序中的错误。assert函数的用法如下：

#include <assert.h>

void assert(int expression);

其中，expression是一个返回值为int类型的表达式，如果表达式的值为0（即假），则assert函数会将程序异常终止，并打印出一条错误信息，该错误信息包含了assert函数所在的文件名、行号和失败的表达式。如果表达式的值为非零（即真），则assert函数不做任何操作，程序继续执行。

例如，下面的代码演示了如何使用assert函数来检查一个数组是否越界：

#include <stdio.h>
#include <assert.h>

int main(void)
{
    int arr[5] = {1, 2, 3, 4, 5};
    int index = 6;    // 数组下标越界

    assert(index >= 0 && index < 5);

    printf("arr[%d] = %d\n", index, arr[index]);

    return 0;
}

在上面的示例中，assert函数检查了index是否越界，因为index的值为6，所以assert函数会触发程序的异常终止，并打印出一条错误信息。如果将index的值改为3，则程序能够正常运行，输出arr[3] = 4。