7

在我的库中，我有三个类型类：

trait Monoid[T] {
  val zero : T
  def sum(x : T, y : T) : T
}

trait AbelianGroup[T] extends Monoid[T] {
  def inverse(x : T) : T
  def difference(x : T, y : T) : T
}

//represents types that are represents lists with a fixed number of elements, such as
//the tuple type (Int, Int)
trait Vector[T, U] {
  ...
}

在以下条件下，这些类型类可以相互转换：

  • 如果 typeT是一个scala.math.Numeric类型，那么它也是一个AbelianGroup.
  • 如果 typeT是 an AbelianGroup，它也是 a Monoid（目前是AbelianGroupextends Monoid，但不一定是这种情况）
  • 如果 typeT是类型 U 上的 Vector，并且类型 U 是 a Monoid，那么 typeT也是 a Monoid。
  • 如果类型 T 是类型 U 上的 Vector，类型 U 是 a AbelianGroup，那么T也是 a AbelianGroup。

例如，因为(Int, Int)是 Vector over type Int，并且Int是 AbelianGroup，那么(Int, Int)也是 AbelianGroup。

这些关系和其他关系很容易在伴随类中实现，如下所示：

object Monoid {
  implicit def fromAbelianGroup[T : AbelianGroup] : Monoid[T] = implicitly[AbelianGroup[T]]
  implicit def fromVector[T : Vector[T, U], U : Monoid] : Monid[T] = ...
}

object AbelianGroup {
  implicit def fromNumeric[T : Numeric] : AbelianGroup[T] = ...
  implicit def fromOtherTypeX[T : ...] : AbelianGroup[T]
  ...
  implicit def fromVector[T : Vector[T, U], U : AbelianGroup] : AbelianGroup[T] = ...
}

在您尝试将元组类型之类的东西(Int, Int)用作 Monoid 之前，这非常有效。编译器找到两种方法来获取此类类型的 Monoid 类型类对象：

  1. Monoid.fromAbelianGroup(AbelianGroup.fromVector(Vector.from2Tuple, AbelianGroup.fromNumeric))

  2. Monoid.fromVector(Vector.from2Tuple, Monid.fromAbelianGroup(AbelianGroup.fromNumeric))

为了解决这种歧义，我修改了 Monoid 伴随类以包含从 Numeric 的直接转换（以及其他可直接转换为 的类型AbelianGroup）。

/*revised*/
object Monoid {
  //implicit def fromAbelianGroup[T : AbelianGroup] : Monoid[T] = implicitly[AbelianGroup[T]]
  implicit def fromNumeric[T : Numeric] : Monoid[T] = ... //<-- redundant
  implicit def fromOtherTypeX[T : ...] : AbelianGroup[T] = ... //<-- redundant
  ...
  implicit def fromVector[T : Vector[T, U], U : Monoid] : Monid[T] = ...
}

object AbelianGroup {
  implicit def fromNumeric[T : Numeric] : AbelianGroup[T] = ...
  implicit def fromOtherTypeX[T : ...] : AbelianGroup[T] = ...
  ...
  implicit def fromVector[T : Vector[T, U], U : AbelianGroup] : AbelianGroup[T] = ...
}

然而，这有点令人不满意，因为它本质上违反了 DRY 原则。当我为AbelianGroups 添加新的实现时，我必须在两个伴随对象中实现转换，就像我为Numeric和 OtherTypeX 等所做的那样。所以，我觉得我在某个地方走错了路。

有没有办法修改我的代码以避免这种冗余并解决编译时歧义错误？在这种情况下，最佳做法是什么？

4

1 回答 1

0

您可以将您希望具有较低优先级的隐式移动到伴随对象的超类型中：

trait LowPriorityMonoidImplicits {
  implicit def fromVector[T : Vector[T, U], U : Monoid] : Monoid[T] = ...
}

object Monoid extends LowPriorityMonoidImplicits  {
  implicit def fromAbelianGroup[T : AbelianGroup] : Monoid[T] = implicitly[AbelianGroup[T]]
}
于 2015-10-29T13:25:32.907 回答