C 宏：提取/转储所有评估的编译时间#defines

Question

我正在尝试找到从源代码中提取评估定义列表的最佳方法。
我发现了一些关于如何在编译时评估宏的问题，但我特别希望提取每个#define 的结果以转储到文件中。

这里是问题的一些示例代码：

#define VALUE1 0x01
#define VALUE2 0x10
#define VALUE3 VALUE1 | VALUE2

int main(void) {
    printf("VALUE01: 0x%02X\n", VALUE1);
    printf("VALUE02: 0x%02X\n", VALUE2);
    printf("VALUE03: 0x%02X\n", VALUE3); //prints evaluated VALUE3
}

从技术上讲，示例代码可以实现我正在寻找的内容，但是很麻烦，并且需要编写脚本来生成和维护。理想情况下，已经有一个我忽略的编译器标志可以做到这一点，因为它已经必须评估宏，但我找不到。 是否有任何其他编译器工具可用于实现此目的？

This 回答的问题是我找到的最接近的答案，并为我提供了转储所有定义的能力，但它会转储源代码中看到的未评估形式：

$ gcc -dM -E test.c | grep "VAL"
#define VALUE1 0x01
#define VALUE2 0x10
#define VALUE3 VALUE1 | VALUE2
.... (and all the other preprocessor defines)

Answer 1

-dM 表示是唯一正确的答案，因为编译器不会“评估宏”；它只是在每个替换站点用其替换文本替换每个宏。因此，宏没有明确的“评估形式”；每种用法可能不同。

请务必记住，宏替换不会评估任何内容。它实际上只是一个文本替换。评估通常仅在程序运行时发生，尽管如果结果不依赖于任何可能在运行时更改的内容（例如，如果表达式中的所有值都是文字常量），编译器可能会自行进行评估。在第二种情况下，通常称为“常量折叠”，计算发生在宏替换完成很久之后。

对于一个简单（且丑陋）的示例，大致基于您的代码：

#include <stdio.h>
#define VALUE3 VALUE1 | VALUE2
int main(void) {
  #define VALUE1 0x01
  #define VALUE2 0x10
    printf("%d, %d\n", VALUE3,
  #undef  VALUE1
  #define VALUE1 0x02
                       VALUE3);
}

将打印17, 18。

（VALUE1的扩展也随着源码的扩展而变化。）