Rust 宏错误 : local ambiguity: multiple parsing options

Question

以下 rust 代码由于宏错误无法编译

error: local ambiguity: multiple parsing options: built-in NTs stmt ('s') or 1 other option. 

宏A很好。宏 B 显示错误。

macro_rules! A {
    ($x: ident, $($s: stmt)*) => {
        println!("hello");
    };
}

macro_rules! B {
    ($x: ident, $($s: stmt)*; $e: expr) => {
        println!("hello");
    };
}

fn main() {
    A![my_name, let x=5];
    B![my_name, let x=5; 5];
}

B 中这个最小的可重现示例正是我所需要的。我希望宏接受多个 let 语句并以其他表达式终止。

所指的歧义是什么？

有办法解决吗？

在声明片段后接受的那些标记中，我尝试了几种组合，但似乎没有任何区别。也不会用 token 树交换语句。

Answer 1

表达式是语句，所以 $($s: stmt)*; $e: expr是模棱两可的，因为编译器无法决定使用 s或 e当它遇到一个。

由于您只期望绑定(bind)，因此您可以自己轻松地扩展它们:

macro_rules! A {
    ($x: ident, $($s: stmt)*) => {
        println!("hello");
    };
}

macro_rules! B {
    ($x: ident, $(let $p:pat = $v:expr)*; $e: expr) => {
        $(let $p = $v);*
        println!("hello: {}", $e);
    };
}

fn main() {
    A![my_name, let x=5];
    B![my_name, let x=5; x+2];
}

请注意，这不支持在绑定(bind) ( let a: i32 = 42; ) 中包含类型，因为 pat后面不能跟 : .