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后面不能跟:。