如何在 rust 宏中扩展多个特征边界？

Question

我有一些 Rust 代码相当于下面的代码片段，它不能编译

trait A {}
trait B {}

macro_rules! implement {
    ( $type:ty ) => {
        struct C<T: $type> { // <-- Changing "$type" to "A + B" compiles
            t: T,
        }
    }   
}

implement!(A + B); 

fn main() {}

用rustc 1.44.1编译它会产生：

error: expected one of `!`, `(`, `,`, `=`, `>`, `?`, `for`, lifetime, or path, found `A + B`

同时用A + B替换$type编译。

我的问题是为什么它不能按原样编译，如何改变它呢？

（注意：Rust 有点新，我相信 go 有更简单的方法来解决这个问题，任何建议都会有所帮助）

Answer 1

ty宏参数类型有不同的用途：它是type ，而不是bound 。 您可以为此使用多个令牌：

macro_rules! implement {
    ( $($token:tt)* ) => {
        struct C<T: $($token)*> {
            t: T,
        }
    }
}