Question

我想创建一个使用新的命名空间属性语法example::attr的自定义衍生宏。我已经能够使它与类型内的属性一起使用（例如，在struct字段或枚举变量上），但不适用于类型本身。

src / main.rs

use repro_derive::Example;

#[derive(Example)]
#[example::attr]     // Does not work
struct Demo {
    #[example::attr] // Works
    field: i32,
}

fn main() {}

除了声明example::attr是有效的属性外，过程宏本身不执行任何操作。

repro-derive / src / lib.rs

extern crate proc_macro;

use proc_macro::TokenStream;

#[proc_macro_derive(Example, attributes(example::attr))]
pub fn example_derive(_input: TokenStream) -> TokenStream {
    TokenStream::new()
}

编译产量：

error[E0433]: failed to resolve: use of undeclared type or module `example`
 --> src/main.rs:4:3
  |
4 | #[example::attr]
  |   ^^^^^^^ use of undeclared type or module `example`

切换为非命名空间形式的属性（example_attr）很好。

我正在使用Rust 1.32.0。项目布局是

$ tree
.
├── Cargo.lock
├── Cargo.toml
├── repro-derive
│   ├── Cargo.toml
│   └── src
│       └── lib.rs
└── src
    └── main.rs

Cargo.toml

$ cat Cargo.toml
[package]
name = "repro"
version = "0.1.0"
authors = ["Author"]
edition = "2018"

[dependencies]
repro-derive = { path = "repro-derive" }

repro-derive / Cargo.toml

[package]
name = "repro-derive"
version = "0.1.0"
authors = ["Author"]
edition = "2018"

[lib]
proc-macro = true

[dependencies]

Answer 1

在proc_macro_derive属性中声明的名称空间完全被忽略，这是一个known bug。由于存在此错误，可以编译以下代码，尽管不应编译。

#[derive(Example)]
#[attr]             // Works (but shouldn't)
struct Demo {
    #[lolwut::attr] // Works (but shouldn't)
    field: i32,
}

在修复该错误之前，您应继续使用非命名间隔形式（example_attr）。

此外，根据此错误报告，从Rust 1.33.0开始，还没有没有可以通过proc-macros实现OP想要的功能，并且如何允许#[example::attr]工作仍在设计中。

如何在类型上而不是在类型内部使用自定义命名空间的derive-macro属性？

1 个答案: