有没有办法在宏中实现可选表达式？

Question

我有一个宏，可以简化从字符串中解析枚举的过程：

enum_printer!(Bar { fun1["AB","CD"]; fun2[] });

为了使其更容易使用，我想让[]可选的 ie 能够指定

enum_printer!(Bar { fun1["AB","CD"]; fun2; fun3 });

这是现在的代码

use failure::Error;
use std::convert::TryFrom;

macro_rules! enum_printer {
    ($name:ident { $($enumeration:ident [$($v:expr),*]);* }) => {
        #[derive(Debug)]
        enum $name {
            $(
                $enumeration,
            )*
        }
        impl<'a> TryFrom<&'a str> for $name {
            type Error = Error;
            fn try_from(value : &'a str) -> Result<$name,Error> {
            match value {
                $(
                    stringify!($enumeration) 
                    $(
                        | $v
                    )*                        
                    => Ok($name::$enumeration),
                )*
                _ => Err(err_msg("Could not convert from string to"))
            }                
            }
        }
    };
}

我尝试修改第一行：

($name:ident { $($enumeration:ident [$($v:expr),*]?);* }) => {

enum_printer!(Bar { fun1["AB","CD"]; fun2[] });

有办法实现这一点吗？

Answer 1

the 的语法与or?的语法相同：您必须像这样包围可选模式。*+$( <pattern> )?

例子：

#![feature(macro_at_most_once_rep)]

macro_rules! foo {
    ( $( $e:expr )? ) => {
        $( $e )?
    }
}

在您的示例中，您必须编写：

($name:ident {
    $(
        $enumeration:ident $(
            [$( $v:expr ),*]
        )? // optional parameter
    );* // possible multiple parameters
}) => {

（为了更清楚我把这条线分开了）