宏与函数的本质区别（理解场景的前提）

维度函数宏执行时机运行期执行参数是运行时值类型固定编译期展开输入是语法树token/抽象语法能操作代码结构类型约束参数必须是确定类型泛型函数仍受类型系统、生命周期、Trait 约束不限制输入语法可以接收任意代码片段、标识符、类型、语句块作用域与语法访问函数内部无法获取调用处的标识符、行号、文件名、局部变量名宏可以捕获调用上下文全部语法信息代码生成能力函数只能执行逻辑、返回值不能生成新结构体、impl、match 分支、常量宏可以批量生成大量重复代码消除模板冗余核心结论只要需求需要操作「代码本身、编译期信息、动态生成语法结构」函数无法胜任必须用宏。二、场景 1捕获编译期元信息文件、行号、模块路径需求特征日志、断言、错误追踪需要打印代码所在文件名、行号、列号、模块路径。函数做不到的原因函数参数只能传运行时值调用函数时无法自动把file!()line!()注入必须手动传极其繁琐。宏实现标准库示例assert!dbg!// 宏实现自动捕获上下文macro_rules! my_assert {($cond:expr, $msg:literal) {if !$cond {panic!(断言失败{} \n文件:{} 行:{},$msg, file!(), line!())}};}// 使用无需手动传文件行号my_assert!(1 1 3, 加法出错);如果改用函数fn my_assert_func(cond: bool, msg: str, file: str, line: u32) {if !cond { panic!({} {}:{}, msg, file, line); }}// 每次调用都要手动附加元信息冗余爆炸my_assert_func(1 1 3, 加法出错, file!(), line!());典型标准库宏dbg!、assert!/debug_assert!、todo!、unreachable!、panic!三、场景 2可变数量参数任意个表达式、无固定签名需求特征格式化打印、批量收集表达式、多参数日志参数个数不固定。函数局限Rust 函数不支持真正可变参数只能用数组/vec 传参需要手动包裹vec![a, b, c]无法直接接收零散表达式语法累赘宏优势宏可通过$(...),*匹配任意数量输入 token原生支持变长参数。// 简易 println 复刻宏macro_rules! print_log {($($arg:expr),*) {println!({}, format!($($arg),*));};}// 任意个参数直接传入不用容器包裹print_log!(num{}, 123, , str{}, test);函数方案对比极其啰嗦fn print_log_func(args: [dyn std::fmt::Display]) {for a in args { print!({}, a); }}print_log_func([num, 123, , str, test]);典型场景日志库、格式化输出、批量求值宏。四、场景 3生成新语法结构批量生成代码需求特征批量生成结构体、枚举、impl 实现、常量、match 分支、测试用例。函数完全不可能做到函数运行时无法新增代码定义。示例 1批量定义常量macro_rules! define_consts {($($name:ident $val:expr),*) {$(const $name: u32 $val;)*};}// 一行生成多个常量define_consts!(A 1, B 2, C 3);示例 2批量实现 traittrait Show {fn show(self);}macro_rules! impl_show {($($ty:ty),*) {$(impl Show for $ty {fn show(self) {println!(值: {:?}, self);}})*};}// 一次性给多个类型实现 traitimpl_show!(u8, u16, i32, String);典型使用场景绑定 FFI C 枚举/结构体数据库 ORM 批量生成模型代码测试框架批量生成测试函数状态机批量生成 match 分支五、场景 4操作标识符变量名、类型名、函数名需求特征动态拼接标识符、基于输入名字生成新变量/函数/字段。函数完全无法实现函数只能操作值不能操作「变量名字符串标识符」标识符是编译期语法概念运行时不存在。宏示例拼接标识符macro_rules! make_pair {($name:ident, $val:expr) {// 拼接 ident生成 xxx_val 变量let concat_id stringify!($name);let $name $val;paste::paste! {let [$name _val] $val * 2;println!({}_val {}, concat_id, [$name _val]);}};}make_pair!(num, 10);// 展开后生成 num 和 num_val 两个局部变量常见依赖paste宏库用于标识符拼接。业务场景自动生成 get/set 方法解析配置自动生成对应变量解析协议字段自动生成访问器六、场景 5接收语法块任意语句、match、loop、impl 等完整代码需求特征自定义 DSL领域特定语言、封装执行上下文、作用域守卫、异步块包装。