为何`-x`在Rust声明式宏中解析为literal时失败？

问题背景 #

你编写的show_me声明式宏代码如下：

macro_rules! show_me{
    ($l : literal $($tail : tt)*) => {
        println!("{} is a literal and then I see {}", stringify!($l), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    (- $($tail : tt)*) => {
        println!("{} is a - and then I see {}", stringify!(-), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    ($i : ident $($tail : tt)*) => {
        println!("{} is an ident and then I see {}", stringify!($i), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    ($token : tt $($tail : tt)*) => {
        println!("{} is a mystery and then I see {}", stringify!($token), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    () => {}
}

遇到的现象：

• 输入show_me!(x + 1)时表现符合预期；
• 输入show_me!(-4)时，-4被识别为literal，与Rust文档中“否定符号（如-1）不属于literal Token，而是独立操作符”的描述矛盾；
• 输入show_me!(-x)时触发编译错误，提示x是意外Token；但注释掉literal匹配分支或把它移到最后，-x就能被正确拆分为-操作符和x ident。

问题解答 #

1. 为什么-4被识别为literal？ #

这是因为Rust的分词阶段和语法解析阶段是两个独立流程：

• 在分词阶段，当负号-紧跟数字时，分词器会将其合并为一个有符号数字字面量token（比如-4是一个单独的literal token）；
• 文档中提到的“否定符号不属于literal”，是指在语法解析阶段处理表达式时，比如-x中的-会被解析为一元负号操作符，此时-和x是两个独立的token。

你的宏在token层面进行匹配，-4确实是合法的literal token，这和文档描述并不矛盾，只是混淆了分词和语法解析的阶段逻辑。

2. 为什么-x会触发编译错误？ #

核心原因是Rust声明式宏的匹配规则：如果某个分支的片段匹配尝试触发语法错误，宏解析器不会回溯到下一个分支，而是直接报错。

当输入show_me!(-x)且literal分支排在前面时：

• 宏首先尝试第一个分支的$l:literal匹配，解析器会尝试将-x解析为literal，但-x不是合法的字面量，这会触发语法错误；
• 此时解析器不会继续尝试后续的(- $($tail:tt)*)分支，直接抛出编译错误。

而当你注释掉literal分支或把它移到最后时：

• 宏会首先尝试(- $($tail:tt)*)分支，这个分支匹配单独的-token，剩余的x作为$tail传入递归调用，后续会匹配ident分支，整个流程正常完成。

关于“匹配分支要么成功要么fallback”的期望 #

Rust宏的匹配逻辑并非简单的“fallback”：只有当分支的匹配尝试是合法但不匹配时，才会尝试下一个分支；如果匹配尝试直接触发语法错误，解析器会终止流程并报错。这是为了避免模糊的匹配行为，保证宏解析的确定性。

内容的提问来源于stack exchange，提问作者Edward Peters