我正在尝试扩展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
设置为List[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
}
然而我的问题仍然存在;为什么我不能这样做呢?
答案 0 :(得分: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
。因此,编译器忽略此隐式转换,并给出编译错误。