在使用宏定义特征时，我应该使用什么宏片段说明符来匹配方法声明？

Question

我试图用宏定义一个特征。

我还没有找到与方法声明相匹配的片段说明符，我最好能得到以下内容：

macro_rules! decorated_trait (
    ($tid:ident {
        $( fn $b:ident($($args:expr),*) );*
    }) => {
        trait $tid {
            fn default_function(&self, _x: i32, _y: &str) {
            }

            $( fn $b( $( $args ),* ); )*
        }
    };
);

decorated_trait!(MyTrait { 
    fn my_function(&self, x: i32);
    fn another(&self)
});

struct Foo {}

impl MyTrait for Foo {

    fn my_function(&self) {
        self.default_function(1, "bar");
    }

    fn another(&self) {}
}

fn main() {
    let _foo = Foo{};
}

错误是：

error: expected type, found `&self`
  --> src/main.rs:11:26
   |
11 |               $( fn $b( $( $args ),* ); )*
   |                            ^^^^^

Answer 1

虽然在技术上可以正确匹配trait方法的参数。。。不值得这么麻烦。只需将它们作为原始标记进行匹配：

macro_rules! decorated_trait (
    ($tid:ident {
        $( fn $b:ident($($args:tt)*) );*
    }) => {
        trait $tid {
            fn default_function(&self, _x: i32, _y: &str) {
            }

            $( fn $b( $( $args )* ); )*
        }
    };
);

宏无法工作的原因是参数不是类型。它们是一个可选的“self-ish”参数，可以采用多种不同的形式，后跟零对或多对pattern:type对，除非它们没有模式。

就像我说的，不值得这么麻烦。