是否可以定义一个处理语法案例的宏？

Question

我想定义一个可以像这样应用的宏callme。

fn main() {
    let a=4;
    let b=5;
    callme!(
        a (b) => { a+b } ;
        a (b) => { a*b } ;
        a (b) ~ C
    );
}

我不知道如何获得callme 的有效宏定义。目前我正在尝试这样的事情：

macro_rules! callme {
    (
        $($A: ident ($B: ident) => {$E: expr}) ; *
    ) => (
        $(
            println!("{:?} {:?} {:?}", $A, $B, $E);
        ) *
    );
    (
        $($A: ident ($B: ident) ~ $Q: ident) ; *
    ) => (
        $(
            println!("We got {:?} . {:?} . {:?}", $A, $B, $Q);
        ) *
    );
}

这不起作用，因为我不能同时使用这两种语法情况。

Answer 1

当您使用令牌流时，在这种情况下，将其留给递归处理您的片段会更容易。例如，您可以这样做：

macro_rules! callme {
    ($A:ident ($B:ident) => { $E:expr }; $($rest:tt)*) => {
        println!("{:?} {:?} {:?}", $A, $B, $E);

        callme!($($rest)*);
    };
    ($A:ident ($B:ident) ~ $Q:ident; $($rest:tt)*) => {
        println!("We got {:?} . {:?} . {:?}", $A, $B, $Q);

        callme!($($rest)*);
    };
    () => {};
}

fn main() {
    let a=4;
    let b=5;
    let c = "C";
    callme!(
        a (b) => { a+b } ;
        a (b) => { a*b } ;
        a (b) ~ c;
    );
}

(On Playground)

请注意，在每组令牌之后，您会收集所有剩余的令牌并将它们留给以后调用callme! 处理，最后一个() => {} 表示完成条件。