C 断言使用

本文介绍了C语言中用于调试的断言机制,包括`assert.h`中的断言宏和静态断言 `_Static_assert`。断言在条件不满足时会终止程序执行,而静态断言在编译时进行检查。关闭断言可能导致某些代码路径未执行。文章通过示例展示了断言在代码中的使用及其关闭可能带来的风险。
摘要由CSDN通过智能技术生成

C 断言使用

断言为什么会打断程序执行?因为 __noreturn__

assert.h

# define assert(__e) ((__e) ? (void)0 : __assert_func (__FILE__, __LINE__, \
						       __ASSERT_FUNC, #__e))

void __assert_func (const char *, int, const char *, const char *)
	    _ATTRIBUTE ((__noreturn__));

静态断言 _Static_assert

静态断言将在编译时期被检查

static-assert-in-c

_Static_assert(sizeof(long)==7, this_should_be_true) 


build fail

sas.c:4: error: size of array ‘static_assertion_this_should_be_true’ is negative
#define _Static_assert(COND,MSG) typedef char static_assertion_##MSG[(COND)?1:-1]

关闭断言

开启宏:

CONFIG_COMPILER_OPTIMIZATION_ASSERTIONS_SILENT

断言关闭风险

assert(func())

以上代码在关闭断言时,会导致 func 不被执行

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值