linux_assert()_函数操作

最新推荐文章于 2024-03-10 12:22:11 发布

原创最新推荐文章于 2024-03-10 12:22:11 发布 · 2.1k 阅读

1 ·

CC 4.0 BY-SA版权

linux基本操作同时被 3 个专栏收录

119 篇文章

订阅专栏

C/C++学习

80 篇文章

订阅专栏

ffmpeg+DisplayModule

28 篇文章

订阅专栏

本文深入解析C语言中的assert断言函数，包括其工作原理、如何使用及在不同编译选项下的行为变化。并通过实例演示了assert如何帮助开发者定位程序中的错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

这个assert函数一直在心里有个结，没有好好的理清楚，今天有时间，看明白一些，做下笔记，如下。（注，例子是从网上找的，自己加以修改后测试）

/*说明：
assert 其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。
如果加了-DNDEBUG 等于去掉了assert函数。
*/
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
#include <signal.h>

#define AV_STRINGIFY(s)         AV_TOSTRING(s)
#define AV_TOSTRING(s) #s    ///c语言函数会强制把这个s表达式转为字符串。

#define av_assert0(cond) do {                                           \
    if (!(cond)) {                                                      \
        printf("Assertion %s failed at %s:%d\n",    \
               AV_STRINGIFY(cond), __FILE__, __LINE__);                 \
        abort();                                                        \
    }                                                                   \
} while (0)


void sig_handler(int sig)
{
   	fprintf(stderr,"have called abort(),app exit!\n");
		exit(0);
}

int main( void )
{
	   int test;
	   test=5;
	     signal(SIGABRT,sig_handler);///验证是否调用了abort
       FILE *fp;    
       fp = fopen( "test.txt", "w" );//以可写的方式打开一个文件，如果不存在就创建一个同名文件
       assert( fp );                           //所以这里不会出错
       fclose( fp );
    
       fp = fopen( "noexitfile.txt", "r" );//以只读的方式打开一个文件，如果不存在就打开文件失败
       ///assert( fp );                           //所以这里出错
       av_assert0(test==6);      ////这里测试ffmpeg中定义的assert函数。
       fclose( fp );                           //程序永远都执行不到这里来
       return 0;
}
/*----------------------------
测试1，没有使用-DNDEBUG 编译：
 gcc test_assert.c -o test_noDEBUG
sno@sno-desktop:~/little_test$ ./test_noDEBUG 
test_noDEBUG: test_assert.c:12: main: Assertion 'fp' failed.
已放弃
-----------------------------
测试2，使用 定义的宏：-DNDEBUG
gcc test_assert.c -o test_useDEBUG -DNDEBUG

sno@sno-desktop:~/little_test$ ./test_useDEBUG 
段错误
----------------------
测试3,测试ffmpeg中定义的assert：
sno@sno-desktop:~/little_test$ gcc test_assert.c -o test_assert
sno@sno-desktop:~/little_test$ ./test_assert 
Assertion test==6 failed at test_assert.c:42   ///通过这一句可以看出，宏定义中的__LINE__就是一整条语句，直接加在定义的那一行。
have called abort(),app exit!

------------------------------------------------------
结果：
看man手册的解释:
	  If  the  macro  NDEBUG  was  defined  at the moment <assert.h> was last
       included, the macro assert() generates no code, and hence does  nothing
       at all.  Otherwise, the macro assert() prints an error message to stan‐
       dard error and terminates the program by calling abort(3) if expression
       is false (i.e., compares equal to zero).

       The  purpose  of  this macro is to help the programmer find bugs in his
       program.   The  message  "assertion  failed  in  file  foo.c,  function
       do_bar(), line 1287" is of no help at all to a user.

第二段说的不错，这个宏只是帮助programmer查找bugs，对用户是没有用处的。

结论：
在调试的时候，加上这个assert语句，在release版本的时候，加上-DNDEBUG选项，等于去掉assert语句。

 */