Rust 宏错误：局部歧义：多个解析选项

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 语句并通过其他表达式终止。

所指的歧义是什么？

有办法解决吗？

在语句片段之后接受的标记中，我尝试了几种组合，但似乎没有一个产生区别。用令牌树交换语句也不会。

Answer 1

表达式是语句，因此$($s: stmt)*; $e: expr是不明确的，因为编译器无法在使用s或e遇到表达式时做出决定。

由于您只期望绑定，因此您可以轻松地自行扩展它们：

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];
}

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