4

我正在尝试扩展List该类以提供一些更简化的方式来比较大小，但是我遇到了标题中的错误...

这是我的代码：

implicit class RichList[A, B](input: List[A]) {
  def >(that: List[B]): Boolean = input.size > that.size
  def <(that: List[B]): Boolean = input.size < that.size
}

这个想法是，因为它所做的一切都是比较列表的大小，所以它们的类型可能不同并且没关系，但是当我尝试这样做时：

val test = List(1,2,3,4) < List(1,2,3,4,5)

我得到了前面提到的错误。如果我删除 B 并将其设置that为 typeList[A]它工作正常，但是我将无法使用包含 2 种不同类型的列表......

为什么A和B不能是同一类型？还是我错过了什么？

编辑：好的，我找到了错误的解决方案，这很简单：

implicit class RichList[A](input: List[A]) {
  def >[B](that: List[B]): Boolean = input.size > that.size
  def <[B](that: List[B]): Boolean = input.size < that.size
}

但是我的问题仍然存在；为什么我不能以其他方式做呢？

4

1 回答 1

6

在您的助手类中，您B在类初始化中定义类型。>但这种类型在方法或<用法之前是未知的。

我的解决方案是这样的。

implicit class RichList[A](input: List[A]) {
  def >[B](that: List[B]): Boolean = input.size > that.size
  def <[B](that: List[B]): Boolean = input.size < that.size
}

编辑

既然您问了，为什么它不可能以其他方式，请考虑以下示例。

List(1,2,3) > List("1", "2")

我们希望这将隐式扩展到（这不会发生）

new RichList[Int, B](List[Int](1,2,3)).>(List[String]("1", "2"))

但是，类型B不解析为String. 因此，编译器忽略了这种隐式转换，并给出了编译错误。

于 2014-04-07T09:59:54.357 回答