为什么此宏会导致未解析的名称错误？

Question

我想编译类似于这个最小测试用例的代码：

macro_rules! why {
    ( [ $saved:ident ] $body:block ) => {
        let $saved = 3;
        $body
        let _a = $saved;
    }
}

fn bar() {
    why!([saved] {
    });
}

fn main() {
}

当我尝试编译它时，出现以下错误：

src/main.rs:10:20: 10:21 error: unresolved name `saved` [E0425]
src/main.rs:10         why!([saved] {
                                  ^
src/main.rs:10:9: 11:12 note: in this expansion of why! (defined in src/main.rs)
src/main.rs:10:20: 10:21 help: run `rustc --explain E0425` to see a detailed explanation

引入变量的其他宏有效；这里有什么问题？

Answer 1

您的 fn bar 在调用站点的范围内没有任何名为 saved 的内容。

Answer 2

这是因为 macro_rules! 在扩展为语句的宏方面有些问题。

问题基本上是出于卫生目的独立考虑每个语句。换句话说，第三条语句字面上 看不到 第一行定义的绑定。

在某些情况下，您可以通过将语句包装在一个块中来解决此问题：

macro_rules! why {
    ( [ $saved:ident ] $body:block ) => {
        {
            let $saved = 3;
            $body
            let _a = $saved;
        }
    }
}

为什么此宏会导致未解析的名称错误？

Why does this macro result in an unresolved name error?

macros

rust