rust - 有没有办法在 Rust 中定义多参数特征？

Question

在 Haskell 中，我可以定义一个引用两个或更多类型的类型类:

class Combiner a b c where
  combine :: a -> b -> c

这称为多参数类型类。有没有办法直接或通过实现类似效果的宏在 Rust 中编写等效特征？像这样的东西:

trait Combiner {
    fn combine(&self1, &self2) -> self3;
}

Answer 1

是的，你可以参数化特征:

trait Combiner<A, B, C> {
    fn combine(a: &A, b: &B) -> C;
}

on the Rust playground