为何末尾逗号会导致Rust macro_rules!宏编译失败？

我在学习Rust宏时写了下面这段示例代码：

macro_rules! Reflect
{
($name:ident {$($field_name:ident : $field_type:ty), *}) =>
{
  
    struct $name
    {
        $($field_name : $field_type), *
 
    }
 
};
}

Reflect!(
    Test
    {
        field : usize,
        field2 : usize,
    }
);

调用这个宏时触发了编译错误：

|
183 | macro_rules! Reflect
    | -------------------- when calling this macro
...
202 |     }
    |     ^ no rules expected this token in macro call

但移除field2后的末尾逗号就能正常编译。我很困惑：宏匹配模式里明明包含逗号，为什么不支持末尾逗号？

问题原因 #

macro_rules!里的重复模式($(...), *)的逻辑是匹配零个或多个被逗号分隔的项，这里的逗号是项与项之间的分隔符——也就是说，每个项后面跟着逗号，但最后一个项之后不能有多余的逗号。

当你在调用宏时给最后一个字段加了末尾逗号，相当于在最后一个field2 : usize之后多了一个逗号，但原宏的匹配模式里没有对应这个多余逗号的规则，宏解析器无法匹配，就抛出了“没有规则预期这个token”的错误。

解决方法 #

要让宏支持末尾逗号，只需要在匹配模式里添加可选的末尾逗号声明$(,)?即可，修改后的宏代码如下：

macro_rules! Reflect
{
($name:ident {$($field_name:ident : $field_type:ty),* $(,)?}) =>
{
  
    struct $name
    {
        $($field_name : $field_type),* $(,)?
 
    }
 
};
}

$(,)?表示末尾的逗号是可选的，这样不管调用时有没有加末尾逗号，宏都能正确匹配并展开。Rust标准库中的很多内置宏（比如vec!、HashMap!）都是用这种方式来支持末尾逗号的，提升代码编写的灵活性。

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