macros - `:expr` 后跟 `:tt` ，`expr` 片段不允许

Question

我正在尝试编写支持简单语法的宏，例如:

boo: 3 and foo: go or bar: 4+2

这是我试过的:

macro_rules! solr {
    ($TOPIC:ident : $VALUE:expr $($rest:tt)*) => {
        println!("{} {}", stringify!($TOPIC), stringify!($VALUE));
    }
}

fn main() {
    solr!(
        boo: "hola!"
    );
}

Playground

我收到此错误:

error: `$VALUE:expr` is followed by `$rest:tt`, which is not allowed for `expr` fragments
 --> src/main.rs:2:35
  |
2 |     ($TOPIC:ident : $VALUE:expr $($rest:tt)*) => {
  |                                   ^^^^^^^^

这是有道理的，但我需要能够接受一个表达式并将句子的其余部分再次传递给宏以完成给定的句子。

我如何支持该语法或更改宏？

Answer 1

How can I support that grammar or alter the macro?

你不能。没有解决方法。没有诀窍。宏系统是专门为防止您这样做而编写的。问题是在表达式(或类型等)之后允许任意标记有效地阻止了 Rust 开发人员永远扩展语言语法同时保持向后兼容性。因此，它是被禁止的。

您可以更改输入语法，使其在表达式(例如 、 或 ;) 之后具有可接受的终止标记，或者更改到过程宏(并将宏调用重新定义为项目的 #[derive] 属性)。