C语言如何限制预处理#define宏的作用域仅用于定义指定目标宏

C标准预处理器本身没有提供原生的宏局部作用域特性，但可以通过标准兼容的预处理技巧完全实现需求，不需要依赖特殊编译器扩展，也不会污染全局宏命名空间。

方案1：纯标准C兼容方案（推荐，全平台兼容） #

核心思路是：临时定义辅助宏 -> 强制在辅助宏生效期间将目标宏A完全展开为纯常量表达式 -> 立刻删除所有临时辅助宏。
需要用到两层结构的通用宏展开工具，强制让宏参数在定义阶段就完成全展开，避免后续辅助宏被取消后A展开失败：

// 通用宏展开工具，可以放到公共头文件里复用
#define _EXPAND(...) __VA_ARGS__
#define EXPAND(...) _EXPAND(__VA_ARGS__)

// --------------------------
// 宏A的定义块，辅助宏仅在此处生效
#define MEANINGFUL_NUMBER_1 1  // 可追加注释说明数值含义，例：外设基地址偏移
#define MEANINGFUL_NUMBER_2 2  // 例：寄存器配置位掩码
#define MEANINGFUL_NUMBER_3 3  // 例：协议固定头长度
#define A EXPAND((MEANINGFUL_NUMBER_1 + MEANINGFUL_NUMBER_2 + MEANINGFUL_NUMBER_3))
#undef MEANINGFUL_NUMBER_1
#undef MEANINGFUL_NUMBER_2
#undef MEANINGFUL_NUMBER_3
// --------------------------

预处理完成后，宏A的实际替换列表为(1 + 2 + 3)，所有MEANINGFUL_NUMBER_*宏会被完全删除，后续代码中无法引用这些辅助宏，也不会出现意外的宏替换。

注意：必须加EXPAND包裹，否则宏A的替换列表会保留辅助宏的名称，等#undef辅助宏之后再使用A，就会出现未定义标识符的错误。

方案2：支持原有宏恢复的编译器扩展方案 #

如果使用GCC、Clang、MSVC三类主流编译器，可以用内置的push_macro/pop_macro pragma，这个方案的优势是如果辅助宏的名字之前已经被定义过，处理完A之后会自动恢复原来的定义，不会破坏外部代码的宏状态：

#define _EXPAND(...) __VA_ARGS__
#define EXPAND(...) _EXPAND(__VA_ARGS__)

// 保存同名宏的原有定义（如果不存在则记录为未定义状态）
#pragma push_macro("MEANINGFUL_NUMBER_1")
#pragma push_macro("MEANINGFUL_NUMBER_2")
#pragma push_macro("MEANINGFUL_NUMBER_3")

#define MEANINGFUL_NUMBER_1 1
#define MEANINGFUL_NUMBER_2 2
#define MEANINGFUL_NUMBER_3 3
#define A EXPAND((MEANINGFUL_NUMBER_1 + MEANINGFUL_NUMBER_2 + MEANINGFUL_NUMBER_3))

// 恢复宏状态：之前没定义的宏会回到未定义状态，之前有定义的会恢复原值
#pragma pop_macro("MEANINGFUL_NUMBER_3")
#pragma pop_macro("MEANINGFUL_NUMBER_2")
#pragma pop_macro("MEANINGFUL_NUMBER_1")

常见踩坑说明 #

• 不要尝试在宏A的替换列表里嵌套#define定义辅助宏：预处理器不允许在宏定义内部嵌套其他预处理指令，这类写法会被当做普通文本处理，完全不会生效。
• 不要省略EXPAND直接定义A后#undef辅助宏：C宏是惰性展开的，只有在实际使用A的时候才会递归展开替换列表里的其他宏，此时辅助宏已经被删除，会导致展开错误。
• 如果你不需要A作为预处理常量（比如不需要用在#if条件判断中），也可以直接用C23的constexpr或者编译器扩展的语句表达式实现块级作用域的常量计算，但这类方式定义的常量无法被预处理器识别，适用场景有限。

内容的提问来源于stack exchange，提问作者carce-bo