C/C++ 中 assert 和 static_assert 的宏实现

lylhw13_

于 2021-03-07 16:51:45 发布

阅读量705

点赞数 2

CC 4.0 BY-SA版权

分类专栏： c c++ 文章标签： c++ c语言

本文链接：https://blog.youkuaiyun.com/m0_47696151/article/details/114488256

c 同时被 2 个专栏收录

22 篇文章

订阅专栏

c++

16 篇文章

订阅专栏

本文详细介绍了C语言中的assert宏和static_assert静态断言的实现原理及使用方法。assert用于运行时检查条件，当条件不满足时打印错误信息。static_assert则在编译期间检查条件，确保代码在编译阶段的正确性。do-while(0)技巧在宏定义中用于避免语法错误，提供了一种有效包裹多条语句的方式。

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

assert 用于运行时的断言

实现方法如下

#define assert(x)		\
	do { if (!(x)) printf("assertion failed: %s", #x); } while (0)

在宏语句中，参数可以通过前置 # ，将其转化为字符串常量。

static_assert 用于编译期断言

实现方法如下：

#define static_assert(a, b) \
	do { switch (0) case 0: case (a): ; } while (0)

原理：

switch 每一个分支都有一个或多个整数值常量或常量表达式标记
switch 各个分支表达式必须互不相同

do{ } while (0) 技巧

采用 do-while 技巧，可以将多条语句包裹，从而保证编译时不会出错。
例如：

#define DUMP_WRITE(addr, nr) \
	do { memcpy(bufp, addr, nr); bufp += nr; } while (0)

# 如果去掉 do-while 的包裹，就会造成下面语句中的 else 分句匹配错误，从而编译失败
if (addr)
	DUMP_WRITE(addr, nr);
else
	do_something_else();