从宏生成变量类型和初始值设定项

Question

我想从（过程）宏生成一个变量类型和初始值设定项。 由于宏使用并生成令牌流（而不是树），从道德上讲，应该可以执行以下操作：

extern crate quote;
use quote::quote;

#[proc_macro]
pub fn foo(tokens: TokenStream) -> TokenStream {
    TokenStream::from(quote! {
        : u8 = 42
    })
}

pub static FOO foo!();

但是，唉，这失败了

   |
28 | pub static FOO foo!();
   |                ^^^ expected one of `:`, `;`, or `=`

现在，我当然可以把它翻过来并要求写一些像

foo!(FOO)

这将扩展到

pub static FOO: u8 = 42;

但我想分段做事的原因是能够使用相同的宏在不同的上下文中生成类型和初始化器（例如，对于本地let绑定，而不仅仅是static s）。

Answer 1

你不能做你想做的事，不是因为: u8 = 42没有正确转换为TokenStream ，而是因为宏调用（独立于它们的定义）不能在任何地方发生。 特别是，它们只能发生在 TokenStream 的句柄将缩减为节点的情况下，而在您的示例中并非如此。 这是因为 Rust 必须解析文件一次，在它知道宏做什么之前，准确地找出所有宏。 在这第一步中，它只知道自己的语法。 在不知道宏调用实际会做什么的情况下说“好的，我的 AST 的整个节点就是这个宏调用”是足够聪明的，但它不能说“这个宏调用将给我这些标记，所以下一个我应该阅读的标记是; "（在您的示例中就是这种情况），因为它还不知道宏的作用！

为了说服自己，想象一下宏foo!()生成令牌mod A { ，而bar!()生成令牌} 。 然后，以下示例自动销毁自身

foo!()

#[proc_macro]
fn foo(_: TokenStream) -> TokenStream { ... }
#[proc_macro]
fn bar(_: TokenStream) -> TokenStream { ... }

bar!()

因为如果你正确地扩展了宏，那么它们会通过将自己放入一个模块来隐藏自己，这会阻止宏被扩展，从而使它们再次可见，......更糟糕的例子（问题发生在可见性检查之前，在解析步骤）很容易提供，只要您允许您尝试做的事情。