在Rust中编写照应宏：解决宏卫生导致的变量识别问题

你遇到的问题是Rust宏卫生特性导致的：宏内部定义的it和宏参数表达式里的it属于不同的语法上下文，因此无法互相引用。下面是具体的解决办法，以及和Racket的对比：

常规解决方案：显式传入标识符 #

这是Rust社区最推荐的做法，直接把要照应的标识符作为宏参数传入，既符合宏卫生规则，又清晰易懂：

macro_rules! λ {
    ($it:ident, $e:expr) => {
        |$it| $e
    }
}

fn main() {
    let f = λ!(it, it > 0);
    println!("{}", f(42)); // 输出 true
}

打破宏卫生的进阶方案 #

如果确实不想显式传入标识符，可以通过过程宏实现非卫生的照应宏。过程宏可以直接操作语法节点的上下文信息，手动将宏内部定义的it和参数表达式中的it设置为相同的语法上下文，从而绕过宏卫生检查。

比如使用proc_macro相关 crate 编写的简化示例：

use proc_macro::TokenStream;
use quote::quote;
use syn::{parse_macro_input, Expr};

#[proc_macro]
pub fn lambda(input: TokenStream) -> TokenStream {
    let expr = parse_macro_input!(input as Expr);
    // 将表达式中的`it`绑定到lambda参数，手动统一语法上下文
    let expanded = quote! {
        |it| #expr
    };
    expanded.into()
}

注意：这种方式会打破宏卫生，可能引入意外的名称冲突，除非必要不建议随意使用。

和Racket的对比 #

Racket默认支持宏卫生，同时提供syntax-parameter机制动态绑定标识符的含义，方便实现照应宏。但Rust目前没有内置类似syntax-parameter的特性，Rust的宏设计更倾向于默认保证卫生性，避免意外的名称污染，因此显式传入标识符是更稳妥的选择。

内容的提问来源于stack exchange，提问作者Barry