assert宏原型定义在<assert.h>中,原型如下:
void assert(scalar expression);
其中作用是如果表达式为false,首先向stderr打印一条错误信息,然后使用abort()函数来终止程序的运行,例如:
char *strcpy(char *dest, const char *src)
{
char *tmp = dest;
assert(dest != NULL);
while ((*dest++ = *src++) != '\0')
/* nothing */;
return tmp;
}