Decl宏中字面量被消费后无法匹配硬编码值的原因咨询

这是Rust声明式宏的片段参数传递与模式匹配规则导致的差异：

1. 直接调用is_a!('a')的情况 #

编译器处理的是原始token序列：'a'这个字符字面量token。宏is_a的第一个模式'a'是精确匹配该具体字面量token，优先级高于通用的$any:literal片段模式，因此匹配成功，输出Found literal a。

2. 通过to_lit!('a')调用的情况 #

• 首先to_lit!将'a'捕获为$any:literal类型的片段参数。
• 当把$any传递给is_a!时，这个参数是以片段类型的形式被传递，而非原始的具体字面量token。
• 此时is_a的匹配器会优先匹配通用片段模式$any:literal，而非精确的'a'模式——因为片段参数传递时，宏匹配器仅检查参数的类型（这里是literal），不会去解析其具体值来匹配精确字面量模式。

3. ident类型参数能正常匹配的原因 #

对于to_ident!(a)的情况，ident类型的片段参数在传递时，会保留其具体的标识符名称（a）。目标宏is_a的精确模式a是基于标识符名称的匹配，因此能成功匹配，输出Found ident a——这是ident与literal片段在匹配规则上的差异：标识符的精确模式会检查片段的具体名称，而字面量的精确模式无法对片段参数的具体值进行匹配。

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