如何分隔 Rust 宏中重复表达式中的最后一个表达式？

Question

我想要这个宏：

macro_rules! macro1 {
    ($f1:expr, $($f2:expr),+, $f3:expr) => {
        $f1(|a| {
            $(
                $f2(a, |b| {
                    $f3(a, b);
                });
            )*
        });
    }
}

然而，这local ambiguity when calling macro错误: multiple parsing options: built-in NTs expr ('f3') or expr ('f2'). . 如果将宏规则中的最后一个,替换为; ，我可以解决此错误。 相反，它清楚地将重复的f2和最后一个f3分开，但我想尽可能保留逗号以类似于 function。我也可以交换f2和f3 ，但在我的代码中f2往往很短，而f3会很长，所以如果可能的话，我也想保留这个订单。

有没有其他方法可以写这个宏来达到这个效果呢？

Answer 1

只有非常强大但难以理解的TT 咀嚼：

macro_rules! macro1 {
    ($f1:expr, $($f2_and_3:expr),+) => {
        macro1! { @transpose $f1, [ ] $($f2_and_3),+ }
    };
    (@transpose $f1:expr, [ $($f2_parsed:expr,)* ] $f2:expr, $($f2_rest_and_3:expr),+ ) => {
        macro1! { @transpose $f1, [ $($f2_parsed,)* $f2, ] $($f2_rest_and_3),+ }
    };
    (@transpose $f1:expr, [ $($f2:expr,)+ ] $f3:expr ) => {
        $f1(|a| {
            $(
                $f2(a, |b| {
                    $f3(a, b);
                });
            )*
        });
    }
}