在 Rust 的过程宏中使用 $crate？

Question

我知道 $crate 变量是什么，但据我所知，它不能在过程宏中使用。有没有其他方法可以实现类似的效果？

我有一个示例，大致需要我使用 quote 和 Rust 夜版写出类似以下的内容。

quote!(
     struct Foo {
        bar: [SomeTrait;#len]
     }
)

我需要确保SomeTrait在范围内(#len引用了片段范围外的整数)。

我正在使用基于quote和syn的过程宏2.0，因为proc-macro-hack对我没有起作用。这是我尝试推广的示例。

- Daniel Fath

---

你的过程宏确实生成了一个结构体而不是一个 impl 块吗？由于某些愚蠢的原因，对于生成结构体的宏来说，最可靠的方法比生成 impl 的宏要复杂得多。 - dtolnay

这是用于 proc_macro_derive 宏，还是其他类型的过程宏？ - dtolnay

[SomeTrait; #len] 这样的写法是不可行的，因为 [T; n] 要求 T: Sized。请参考 https://play.rust-lang.org/?gist=bb33e5ba42a7e64af998b014483329f0。您能澄清一下预期的结果吗？ - dtolnay

@dtolnay： 1.它生成了一个结构体和一个 impl 块。 2.这是针对Nightly宏2.0的； 3.类似于 https://play.rust-lang.org/?gist=415163c29391484ada4c876553ebf23f&version=stable&backtrace=0 （我需要过程宏，因为我想以特定的方式解析第一个参数） - Daniel Fath

@dtolnay 更新了带有澄清的问题。 - Daniel Fath

Rust存储库中关于此主题的问题 - Lukas Kalbertodt

Answer 1

自 Rust 1.34 起，您可以使用 extern crate self as my_crate，并使用 my_crate::Foo 代替 $crate::Foo。

参考：https://github.com/rust-lang/rust/issues/54647 相关 PR：https://github.com/rust-lang/rust/pull/57407 （感谢 Neptunepink ##rust irc.freenode.net）

- Gary Howe

Answer 2

根据来自https://github.com/rust-lang/rust/issues/38356#issuecomment-412920528的回复，截至2018年8月份，似乎没有任何方法可以做到这一点，既无法引用proc-macro包，也无法明确引用其他任何包。

- Ekleog

Answer 3

在2015版（经典Rust）中，您可以这样做（但是这很糟糕）：

• 在宏中使用::defining_crate::SomeTrait
• 在依赖于defining_crate的第三方crate中，上述方法可以正常工作

• 在defining_crate内部，在根目录下添加一个模块：

  mod defining_crate { pub use super::*; }

在2018版中需要更多的hacky解决方案（请参见this issue），不过#55275可能会给我们提供一个简单的解决方法。

- dhardy

Answer 4

您可以将proc-macro包装在声明性宏内，并将$crate标识符传递给您的proc-macro以进行重用（例如，请参见此提交）。它将创建一个带有特殊$crate标识符的proc_macro :: Ident值。

请注意，您无法手动创建此类标识符，因为$通常无效于标识符内部。

- x1hgg1x

---

我相信这对属性宏无效。 - Enrico Borba

Answer 5

从 Rust 1.45 开始，你可以使用 Span::mixed_site 作为Ident的范围来直接使用 $crate 并避免与本地变量冲突。

quote_spanned!(Span::mixed_site()=>
     struct Foo {
        bar: [$crate::SomeTrait; #len]
     }
)

- Alyssa Haroldsen

---

嘿，我尝试了这种方法，但对我没有用。请参见我的问题。 - Einliterflasche