为什么我不能访问宏中声明的变量,除非我传入变量的名称？

Question

我有这个宏:

macro_rules! set_vars {
    ( $($x:ident),* ) => {
        let outer = 42;
        $( let $x = outer; )*
    }
}

这扩展了这个调用:

set_vars!(x, y, z);

进入我期望的(来自--pretty=expanded):

let outer = 42;
let x = outer;
let y = outer;
let z = outer;

在随后的代码中,我可以打印x,y并且z很好,但outer似乎未定义:

error[E0425]: cannot find value `outer` in this scope
  --> src/main.rs:11:5
   |
11 |     outer;
   |     ^^^^^ not found in this scope

outer如果我将它作为显式宏参数传递,我可以访问该变量.

这是故意的,与"宏观卫生"有关吗？如果是这样,那么--pretty=expanded以某种特殊方式标记这些"内部"变量可能是有意义的吗？

Answer 1

是的,这是宏观卫生.在宏之外声明的标识符在宏之外不可用(反之亦然).Rust宏不是C宏(也就是说,Rust宏不仅仅是美化文本替换).

也可以看看: