如何在编译时确定宏定义的值

如何在编译时确定宏定义的值你是不是也碰见过这样的问题项目代码里到处是条件编译#ifdef、并且条件编译生效判断存在组合宏定义逻辑或者条件编译本身存在多重嵌套的情况追踪代码时很难确定某个分支逻辑是否生效。同样的代码里面的宏定义会也存在多层宏嵌套的场景很难确定该宏展开后的最终结果。更隐晦的是有时候交叉编译链工具也会通过命令行参数注入宏定义靠追踪代码本身是无从知晓这些宏定义的值的。本文介绍通过预处理器指令来实现在编译时确定某个宏定义的值一、#error判断宏定义是否生效如果只是想确认某个代码片段中宏定义是否生效不需要看值更简单的做法是直接使用预处指令#error触发编译报错例如#ifdefined(__MACRO1__)||defined(__MACRO2__)||defined(__MACRO3__)#errorroute covered#endif#ifdef__MACRO1__#ifdef__MACRO2__#ifdef__MACRO3__#errorroute covered#endif#endif#endif需要注意的是#error触发时会终止编译过程。二、#pragma message输出宏的值我们可以通过下面的方式将宏定义的值直接打印输出#definePRINT_MACRO_HELPER(x)#x#definePRINT_MACRO(x)#xPRINT_MACRO_HELPER(x)#define__MACRO1__123#pragmamessage(PRINT_MACRO(__MACRO1__))编译时编译器会在输出信息中打印如下信息__MACRO1__123过程解读1. 字符串化运算符#在 C/C 预处理过程中预处理器发现#运算符后会把宏定义原样转成字符串如果是宏参数就不会先开参数本身。也就是说PRINT_MACRO_HELPER(__MACRO1__)// 结果是 __MACRO1__ 而不是 1232. 转换过程PRINT_MACRO(__MACRO1__) ↓ __MACRO1__ PRINT_MACRO_HELPER(__MACRO1__ // 宏函数PRINT_MACRO展开函数名替代 ↓ __MACRO1__ PRINT_MACRO_HELPER(123 // 宏函数PRINT_MACRO展开参数替代 ↓ __MACRO1__123 // 宏函数PRINT_MACRO_HELPER展开三、宏定义展开后的预处理文件对于更复杂的场景要求如查看整个文件的宏展开全貌、批量核对预定义宏可以结合编译器的预处理输出选项将宏定义预处理后的信息包含在预处理后的文件中。gcc下直接展开整个文件看上下文gcc-Eyour_file.cexpanded.c更详细的调试选项如果你需要更深入地了解宏的定义和展开过程可以在-E的基础上配合-d选项。选项作用-dM仅列出所有宏的#define定义包括系统预定义的宏不输出预处理后的代码。-dD既输出所有宏的#define定义也输出预处理后的代码。-dU类似于-dD但只输出那些被实际展开过或被#ifdef测试过的宏。这将会生成一个纯净的、所有宏都已展开、所有头文件都已包含的 C/C 代码文件是调试宏定义和头文件包含问题的利器。