为何Rust过程宏将代数表达式识别为函数?编译报错求助
问题排查与解决
1. 编译错误的核心原因
你遇到的expected expression, found keyword fn错误,本质是宏返回的代码不符合调用位置的语法要求:
- 你的
symbolic宏返回的是一个函数定义(fn answer() -> u32 { 42 }),这属于Rust中的「项(Item)」。 - 但你在表达式上下文(比如函数内部直接调用
symbolic!(...))使用这个宏,Rust期望此处是合法表达式,而函数定义不能出现在表达式位置,因此触发编译错误。
2. 快速修复方法
修改宏的返回值,让它返回一个合法表达式,比如直接返回数值表达式:
#[proc_macro] pub fn symbolic(body: TokenStream) -> TokenStream { // 保留原有的调度场代码逻辑 let mut stack : Vec<TokenTree> = vec![]; let mut que : Vec<TokenTree> = vec![]; shunting_yard(body, &mut stack, &mut que); // 替换原返回值为表达式 "42".parse().unwrap() }
如果你的目标是生成代数表达式的计算代码,后续可以基于调度场算法生成的后缀表达式,构建对应的Rust表达式(比如把x^2 +2*x转换成x.pow(2) + 2 * x这类合法Rust代码)。
3. 其他需要注意的问题
- 你当前的
println!(stringify!(output_que));并不会打印实际的队列内容,stringify!会把参数原样转成字符串,所以它只会输出output_que。如果要打印队列的实际TokenTree内容,改成:println!("{:?}", que); - 输入表达式中的
^在Rust语法里是按位异或运算符,不是幂运算。如果要处理代数中的幂运算,后续需要在宏中把^转换成Rust的pow方法调用(比如x^2转成x.pow(2))。
内容的提问来源于stack exchange,提问作者Lyndon Alcock
相关产品推荐
相关产品推荐

