使用macro_rules定义宏批量声明可变变量时出现expected identifier错误

你遇到的错误核心原因是宏捕获规则选错了：你用了$e:expr（表达式捕获器），但传入的FT、FX这些是标识符（变量名），不是表达式，Rust编译器自然会报错说找不到标识符——因为它把你传入的变量名当成表达式来解析了。

为什么expr不行？ #

expr捕获的是可以被求值的代码片段，比如3.14、x + y这类。而你要声明变量，需要的是变量名（标识符），对应的捕获器应该是ident。

修正后的宏 #

把宏里的$e:expr改成$e:ident就可以正常工作了：

macro_rules! mutf64 { 
    ( $( $e:ident ),+ ) => { 
        $( let mut $e: f64; )+ 
    }; 
}

fn main() { 
    mutf64!(FT, FX, alpha, H, K, lambda, T, X);
    // 现在可以正常赋值使用这些变量了
    FT = 1.0;
    FX = 2.5;
}

展开后的效果 #

这个宏展开后会生成如下代码，完全符合你想要的多个可变f64变量声明：

let mut FT: f64;
let mut FX: f64;
let mut alpha: f64;
// ... 其他变量同理

另外，你原来的宏里多了一层额外的大括号{ $( ... )+ }，其实没必要，去掉后更简洁，也不影响功能——当然如果需要把这些变量限制在某个块作用域里，那保留大括号也没问题。

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