Rust 宏接受具有泛型参数的类型

发布于01月12日

我有一个宏实现了一个特征，impl_Trait!().现在，它适用于没有泛型参数的类型，但我不确定如何将类型参数添加到impl关键字.

macro_rules! impl_FooTrait {
    ($name:ty) => {
        impl $crate::FooTrait for $name { ... }
    };
}

struct Bar(i32);
impl_FooTrait!(Bar);
// All OK

struct Baz<'a>(&'a i32);
impl_FooTrait!(Baz<'a>);
// use of undeclared lifetime name `'a`

推荐答案

您可以使用tt(单令牌)标识符在另一个宏臂(playground link)中接受您想要的生存期

macro_rules! impl_FooTrait {
    ($name:ty, $lifetime:tt) => {
        impl<$lifetime> $crate::FooTrait for $name {  }
    };
    ($name:ty) => {
        impl $crate::FooTrait for $name {  }
    };
}

struct Bar(i32);
impl_FooTrait!(Bar);

struct Baz<'a>(&'a i32);
impl_FooTrait!(Baz<'a>, 'a); // Use and declare the lifetime during macro invocation

这是an example that actually implements something美元.

我想这看起来有点奇怪.我有兴趣看到其他的答案.也许有更好的方法可以做到这一点；我还不太熟悉宏观经济.