macros - 在语法扩展中使用程序标识符

Question

在 Rust 语法扩展中，我如何使用程序范围内的标识符？

例如，假设我有以下代码:

fn test() {
    let name = "test";
    let result = my_macro!();
}

我尝试按如下方式定义程序宏:

fn expand_my_macro(cx: &mut ExtCtxt, sp: Span, args: &[TokenTree]) -> Box<MacResult + 'static> {
    MacEager::expr(cx.expr_ident(sp, Ident::with_empty_ctxt(intern("name"))))
}

但是，我收到以下错误:

error: unresolved name `name` [E0425]

在用户代码中。

我知道普通的 Rust 宏是卫生的，但是过程宏呢？

有没有一种方法可以做到这一点而不必将变量 name 作为参数传递？

Answer 1

我不这么认为。问题是，为了匹配现有的 name 标识符，您需要知道它的语法上下文:标识符相等比较文本名称​​和 完全符合语法上下文。

这是一个问题，因为您没有被告知，也无法知道周围的语法上下文是什么。

如果你想引用它，你必须将标识符传递给宏。