1

所以我定义了以下程序宏：

#[proc_macro_attribute]
pub fn hello(attr: TokenStream, item: TokenStream) -> TokenStream {
  println!("attr: {}", attr);
  println!("item: {}", item);
  item
}

然后我将此 proc 宏应用于非内联模块：

// In file some_mod.rs
#![hello]

fn foo() {}
fn bar() {}

编译器的输出表明传递给 proc 宏的项目hello是mod some_mod;，模块中没有任何项目。但是我想对模块的内容做一些修改some_mod。

我发现内联模块有效：

mod some_mod {
  #![hello]
  fn foo() { }
  fo bar() { }
}

传递给我的 proc 宏的项目是mod some_mod { fn foo() { } fn bar() { } }.
但我将在复杂的模块层次结构中使用我的 proc 宏，我不想将所有这些模块放在一个文件中。

有什么方法可以让我的 proc 宏获取非内联模块的内容？

4

1 回答 1

1

您描述的问题是由于在内部属性的位置使用过程宏目前不稳定。这个问题已经存在大约 1.5 年的跟踪问题，并且此评论明确提到了您当前面临的问题，即将宏应用于内联模块会产生与将其应用于文件模块不同的结果。

据我所知，目前没有针对此问题的开箱即用解决方案。

或者，由于您实际上只是在修改文件的令牌流，因此您可以尝试将程序挂接build.rs到编译过程中（您可以为构建过程加载所需的任何库），但这将涉及手动筛选所有文件和必须即时从输入令牌流生成新文件。不幸的是，只要您真的需要宏来将整个模块作为输入，我目前还没有想到任何更好的选择。

于 2020-02-12T10:22:54.203 回答