是否有一种方法可以从传递的expr中访问在锈蚀宏中定义的变量？

Question

假设我想使以下宏工作：

macro_rules! process_numbers {
    ($name:ident, $process:expr) => {
        let $name: Vec<_> = vec![0, 1, 2].iter().map(|num| {
            println!("{}", path); // dummy preprocessing
            let foo = 3; // some other preprocessing involving side-effects
            $process
        }).collect();
    }
}

process_numbers!(name, {
    num + foo
});

有没有办法让我可以从num内部访问foo和$process？

Answer 1

锈蚀宏是卫生学。这意味着宏体内定义的标识符不会泄漏出去。

解决这一问题的一种方法是修改宏，使其接收标识符作为参数。

macro_rules! process_numbers {
    ($name:ident, |$num:ident, $foo: ident| $process:expr) => {
        let $name: Vec<_> = vec![0, 1, 2].iter().map(|$num| {
            println!("{}", path); // dummy preprocessing
            let $foo = 3; // some other preprocessing involving side-effects
            $process
        }).collect();
    }
}

process_numbers!(name, |num, foo| {
    num + foo
});

这里，我使用了类似于闭包的语法，这意味着|num, foo|声明参数(它们实际上声明变量--足够接近了！)。

另一种方法是使$process参数成为宏将调用的文字闭包(或任何可调用的表达式)，并将num和foo作为参数传递。

macro_rules! process_numbers {
    ($name:ident, $process:expr) => {
        let $name: Vec<_> = vec![0, 1, 2].iter().map(|num| {
            println!("{}", path); // dummy preprocessing
            let foo = 3; // some other preprocessing involving side-effects
            $process(num, foo)
        }).collect();
    }
}

process_numbers!(name, |num, foo| {
    num + foo
});