macros - 如何匹配宏中的方法？

Question

item 片段可以匹配函数，但是如果函数的第一个参数是 self 的变体，即 如果它是方法，它不被识别为 item:

macro_rules! test {
    ( $fn:item ) => {}
}

// Ok
test! {
    fn foo() -> bool {
        true
    }
}

// Not ok
test! {
    fn foo(self) -> bool {
        true
    }
}

fn main() {}

如何匹配方法？

Answer 1

采用self 的函数不是项，因为如果没有impl block 来为self 提供类型，它就不可能存在于顶层。

虽然周围的 impl block 是一个项目。

要匹配功能，您必须将其分解，可能像这样:

macro_rules! test {
    ( fn $fn:ident ( self ) -> $ret:ty $body:block ) => {};
}

但是你必须在 impl block 中使用 宏:

impl Foo {
    test! {
        fn foo(self) -> bool {
            true
        }
    }
}

尽管如此，您还必须在这里处理相当多的可能类型的函数排列，这最终可能会变得非常重复:

// enables the ? operator for optional parts
#![feature(macro_at_most_once_rep)]

macro_rules! test {
    ( fn $fn:ident ( $($name:ident : $type:ty),* ) $( -> $ret:ty )? 
        $body:block 
    ) => {};
    ( fn $fn:ident ( self $(, $name:ident : $type:ty)* ) $( -> $ret:ty )? 
        $body:block 
    ) => {};
    ( fn $fn:ident ( &self $(, $name:ident : $type:ty)* ) $( -> $ret:ty )? 
        $body:block 
    ) => {};
    ( fn $fn:ident ( &mut self $(, $name:ident : $type:ty)* ) $( -> $ret:ty )? 
        $body:block
    ) => {};
}

而且这些甚至不考虑生命周期或类型参数。

通过将这些情况委托(delegate)给另一个宏来重用代码可能会很棘手，因为您在宏中没有 self 类型，因此您可能无法摆脱不幸的是重复。