C语言强制触发额外宏展开轮次实现嵌套宏正确扩展的方法

问题根源 #

C预处理器采用单次扫描规则，函数式宏只有在标识符后紧跟左括号时才会被触发展开。你写DO _(arg1, arg2)时：

1. 第一次扫描到DO后面跟的是标识符_而非左括号，不会触发DO的展开
2. 后续展开_得到(arg1, arg2); check_and_handle_errno()时，预处理器不会回溯重新处理之前的DO标识符，最终就留下了未展开的DO

解决方案 #

首选方案（无侵入、兼容现有语法）

你本身已经为非直接函数调用的复杂表达式设计了_(完整表达式)的错误处理写法，直接把DO调用当作普通复杂表达式包裹进去即可：

type * name = _(DO(arg1, arg2));

这个写法不需要修改任何现有宏定义，展开结果和你目前的妥协版DO_(arg1, arg2)完全一致，完全符合你现有错误处理的设计逻辑。

备选方案（保留DO _(...)语法）

如果你一定要坚持使用和普通函数一致的[宏名] _(参数)语法，可以加一层强制展开辅助宏：

1. 新增辅助宏：

#define EVAL(...) __VA_ARGS__

2. 把DO _(...)调用包裹在EVAL中：

type * name = EVAL(DO _(arg1, arg2));

原理是EVAL会先完全展开内部所有内容，等_展开为括号后再重新扫描整个表达式，触发DO的展开，最终输出符合预期的结果。

内容的提问来源于stack exchange，提问作者textral