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

Question

我有一些与下面的 sn-p 等效的 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`

将$type 替换为A + B 进行编译。

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

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

Answer 1

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

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