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: stmt)*; $e: expr是模棱兩可的，因為編譯器在遇到s或e時無法決定是使用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后面不能跟: 。