如何在Rust声明式宏中传入任意令牌实现where子句？

完全可行，不用过程宏就能实现你要的效果，而且可以避免复用已有逻辑的$(...)*重复语法（这里仅用它来捕获任意令牌序列，不是用于多元素展开）。

直接看实现代码：

macro_rules! make_me_an_impl {
    ($struct:ty, $trait:ty, {$($params:tt)*}, {$($where_clause:tt)*}) => {
        impl<$($params)*> $trait for $struct where $($where_clause)* {
            fn some_function_or_other(&self) {
                println!("hello!");
            }
        }
    };
}

使用方式和你预期的完全一致：

// 先定义测试用的结构体和 trait
struct MyStruct<T>(T);
trait MyTrait {
    fn some_function_or_other(&self);
}
trait MyOtherTrait {}

// 调用宏生成 impl
make_me_an_impl!(MyStruct<T>, MyTrait, {T}, {T: MyOtherTrait});

原理说明 #

• 宏通过匹配{}包裹的内容，用$($params:tt)*和$($where_clause:tt)*捕获任意令牌序列，不管是单个泛型参数、多个泛型参数（比如{T, U}），还是复杂的where约束（比如{T: MyOtherTrait + Clone, U: Debug}）都能完美适配。
• 这里的$(...)*只是用来捕获所有传入的令牌，不是用于生成重复代码，不会和你已有逻辑里的重复语法冲突。

内容的提问来源于stack exchange，提问作者wallefan