Rust macro error: 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 语句并以其他表达式终止。

所指的歧义是什么？

有解决办法吗？

在语句片段之后接受的那些标记中，我尝试了几种组合，但 none 似乎有所作为。用令牌树交换语句也不行。

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

Rust macro error: local ambiguity: multiple parsing options

Rust macro error: local ambiguity: multiple parsing options

macros

rust