Rust：用于指定性状实现类型的便利性语法？

Question

使用结构s考虑以下代码，并具有约束的通用类型参数idx和iDx的默认值。

use num::{PrimInt, Unsigned};

struct S<Idx = u32>
where
    Idx: Unsigned + PrimInt, {
    // ... Some fields
}

impl<Idx: Unsigned + PrimInt> Clone for S<Idx> {
    fn clone(&self) -> Self {
        S {}
    }
}

impl<Idx: Unsigned + PrimInt> Eq for S<Idx> {
    fn eq(&self, rhs: &Self) -> bool {
        true
    }
}

我想为s实现一堆特征，但是我发现始终指定IDX键入参数乏味的约束。如果我在特征实现上不指定iDx，则代码编译，但仅具有idx = u32的实现。

是否有一些便利性语法，我不必始终指定idx：unsigned + primint，但仍然正确地实现了这些特征？

Answer 1

没有内置的语法，但是您可以使用宏来制作一个语法：

macro_rules! s_impl {
    ( $($t:path => $i:tt)+ ) => {
        $(impl<Idx: Unsigned + PrimInt> $t for S<Idx> $i)+
    }
}

然后您可以做：

s_impl!(
    Clone => {
        fn clone(&self) -> Self {
            S {}
        }
    }
    PartialEq => {
        fn eq(&self, rhs: &Self) -> bool {
            true
        }
    }
);

Answer 2

@cdhowie的答案是正确的，但我想指出，有一个接受（但尚未实现，截至写作时间）RFC可以允许您省略此类界限 - rfc＃2089含义界限。

但是，尚不清楚该功能的形式是什么，因为它是 semver危害。