# 和 ## 是C/C++预处理器的专用操作符:# 将宏参数字符串化(如 #x → "x"),## 将两个token粘合成一个合法标识符(如 int##32 → int32);二者均在编译前纯文本处理,不参与运行时或类型检查。

什么是 # 和 ##?它们不是函数,不能运行时用
#(字符串化)和 ##(粘合)是 C/C++ 预处理器的专用操作符,只在编译前起作用。它们不生成任何运行时代码,也不参与类型检查——出错了连编译器都懒得报“函数未定义”,只会给你一串诡异的宏展开失败或语法错误。
常见错误现象:error: pasting "foo" and "(" does not give a valid preprocessing token,说明 ## 拼出来的东西根本不是合法 token;或者展开后出现 "x" 而不是想要的 "123",多半是 # 用在了没展开的参数上。
-
#只对宏参数生效,且会先展开参数(除非参数被#或##直接“冻结”) -
##左右必须是合法预处理 token,空格、逗号、分号都不行;拼完还必须是单个有效 token(比如int##32→int32OK,但if##(→if(不合法) - 宏定义里写
##末尾或开头(如a##或##b)是非法的,GCC/Clang 会直接拒编
# 字符串化:为什么 STR(x) 有时输出的是 "x" 而不是值?
因为 # 只做字面字符串化,不展开参数——除非你多套一层宏。这是最常踩的坑。
#define STR(x) #x #define VAL 42 STR(VAL) // 展开为 "VAL",不是 "42"
正确做法是加一层间接宏,让参数先被展开,再进 #:
#define STR(x) #x #define STR_(x) STR(x) STR_(VAL) // 先展开 VAL → 42,再 STR(42) → "42"
- 调试打印常用:
#define DEBUG_VAR(x) printf(#x " = %d\n", x),但注意x必须是可求值表达式,且类型得匹配%d -
#对空参数无效;STR()是非法的,即使你写了#define EMPTY也不行 - 字符串化结果带双引号,无法直接拼进字符数组初始化,比如
char s[] = #x;语法错误
## 粘合操作符:拼函数名、变量名、类型名的实际用法
## 主要用于生成标识符,比如按平台/配置拼函数名:log_debug / log_release,或为不同整数宽度生成 int8_t / int16_t 类型别名。
#define MAKE_TYPE(bits) int##bits##_t typedef MAKE_TYPE(8) my_int8; // → int8_t typedef MAKE_TYPE(16) my_int16; // → int16_t
- 粘合前后不能有空格:
int ## bits是错的,必须写成int##bits - 不能拼出关键字:
int##32合法(int32是普通标识符),但if##else不合法(ifelse不是关键字,但##本身不允许跨关键字边界) - 和
#一样,参数若含宏需先展开——##也会“冻结”参数;需要间接宏:用CONC(a,b)→CONC_(a,b)→a##b
组合使用和边界情况:为什么 LOG(level, msg) 宏容易崩?
想写一个日志宏,自动拼出 log_level_msg 函数并字符串化 msg,很容易掉进嵌套+冻结陷阱。
#define LOG(level, msg) do { \
log_##level##_impl(#msg); \
} while(0)
LOG(DEBUG, hello world); // 错!#msg 是 "hello world",但 log_DEBUG_impl 未定义
问题在于:你想拼的是 log_DEBUG_impl,但 level 参数没展开;同时 msg 中空格导致字符串化后是带空格字符串,而函数名不能含空格。
- 正确结构通常要两层:
LOG(LVL, MSG)→LOG_(LVL, MSG)→log_##LVL##_impl(#MSG) -
##不能连接字符串字面量:"a" ## "b"是非法的,它只连 token,不连字符串 - 跨文件宏定义时,
##拼出的符号必须确保链接可见(比如不是static的);否则链接时报undefined reference
预处理不是编程,是文本替换。越想用它干“智能”事,越要小心展开顺序、token 边界和编译器差异——同一段宏,在 GCC 和 MSVC 下可能表现不同。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











