如何匹配宏中的特征边界？

Question

我正在尝试匹配泛型类型的特征边界：

macro_rules! test {
    (
        where $(
            $bounded_type:ident: $( $bound:tt )++,
        )+
    ) => {
        // Dummy expansion for test:
        struct Foo<T, U>
        where $(
            $bounded_type : $( $bound )++,
        )+
        {
            t: T,
            u: U
        }
    }
}

test! {
    where
        T: PartialEq + Clone,
        U: PartialEq,
}

fn main() {}

不幸的是，如果我理解得很好，匹配 trait 的唯一方法是 tt 片段，但是这个片段几乎可以匹配任何东西，所以无论我做什么，都会出错：

error: local ambiguity: multiple parsing options: built-in NTs tt ('bound') or 1 other option.

如何匹配这段代码？

请注意，我不需要非常优雅的东西（我不需要公共用户），但当然，越优雅越好。

Answer 1

最好的办法是阅读source code for the parse-generics-shim crate；它有点旧，但希望仍然可以工作。这方式太复杂了，无法在 Stack Overflow 问题中解释，因为它基本上涉及复制 + 粘贴该板条箱的来源到答案中。

更简单的方法是不解析实际的Rust语法，并使用宏解析器可以处理的东西，比如将约束包装在一个组中（比如{ ... } )。

Answer 2

我能够通过将第一个绑定与其余绑定分开来使其匹配。

macro_rules! test {
    (
        where $(
            $bounded_type:ident: $bound:tt $(+ $others:tt )*,
        )+
    ) => {
        // Dummy expansion for test:
        struct Foo<T, U>
        where $(
            $bounded_type : $bound $(+ $others)*,
        )+

        {
            t: T,
            u: U
        }
    }
}

但是，如果特征有参数，这将不起作用。

Answer 3

自 2016 年左右this issue 关闭以来，您可以使用path 宏类型来匹配TypePaths。

以我自己的代码为例：

($name:ident<$($l:lifetime, )*$($x:ident : $xt:path),+>($s:ident$(, $a:ident: $t:ty)*) -> $ret:ty  => $body:block) => {
}