我自己学习Scala并遇到了这个问题。继Link的出色答案之后,假设我有以下代码:
object Example extends App {
val x = Seq(1, 2, 3)
val y = Seq("1", "2", "3")
class Or[A, B]
implicit def orA[A, B](implicit ev: A): Or[A, B] = new Or
implicit def orB[A, B](implicit ev: B): Or[A, B] = new Or
def f1[T](seq: Seq[T])(implicit ev: Or[T =:= Int, T =:= String]) = {
println(seq)
}
f1(Seq(1, 2, 3))
f1(Seq("1", "2", "3"))
}
这编译得很好。但是现在让我们假设我改变了函数,使它采用一个序列列表,而不只是序列,然后尝试以下操作:
object Example extends App {
val x = Seq(1, 2, 3)
val y = Seq("1", "2", "3")
class Or[A, B]
implicit def orA[A, B](implicit ev: A): Or[A, B] = new Or
implicit def orB[A, B](implicit ev: B): Or[A, B] = new Or
def f1[T](seq: List[Seq[T]])(implicit ev: Or[T =:= Int, T =:= String]) = {
println(seq)
}
f1(List(Seq(1, 2, 3), Seq("1", "2", "3")))
}
但是,此操作失败。错误消息是:
找不到参数ev的隐式值:conusviz.Example.Or [Any =:= Int,Any =:= String]
我的问题是,为什么会这样?我只是包装了一些编译器应该能够推断出的其他类型的东西。有没有办法让这个工作?
我想让函数接受一个Int(或确实AnyVal)列表或字符串,并且仍然可以使用。我对为什么编译器感到困惑感到困惑。从学习的角度来看,对编码答案的任何解释都将深深地受到赞赏。
[Seq(1, 2, 3)
具有类型Seq[Int]
,Seq("1", "2", "3")
具有类型Seq[String]
。 Seq[Int]
和Seq[String]
都是Seq[Any]
的子类型。因此,List(Seq(1, 2, 3), Seq("1", "2", "3"))
的类型为List[Seq[Any]]
。
如果要保留Seq[Int]
和Seq[String]
类型,则不需要List
,而需要HList
import shapeless.{HList, HNil}
import shapeless.ops.hlist.LiftAll
def f[L <: HList](seq: L)(implicit ev: LiftAll[({type l[T] = Or[T =:= Seq[Int], T =:= Seq[String]]})#l, L]) = {
println(seq)
}
f(Seq(1, 2, 3) :: Seq("1", "2", "3") :: HNil)