scala - 混合泛型类型

Question

我想在我的 中混合通用类型myTest

case class CC(i:Int, s:String, s2:String)

case class Value[V](value: V)

def myTest[F](values: (CC ⇒ Value[F])*) = Unit

class QF[M](x: M) {
  def eqs(v: M) = Value(x)
}

implicit def conversion[V](v: V): QF[V] = new QF(v)

myTest(_.i eqs 1)
myTest(_.s eqs "lol")
myTest(_.s eqs "lol", _.s2 eqs "lol2")

直到那时它都有效，但我认为当我尝试混合类型时会出现协方差错误。

当我做 :

myTest(_.i eqs 1, _.s eqs "lol")

我收到以下错误:

Error:(16, 13) type mismatch;
 found   : A$A135.this.CC => A$A135.this.Value[Int]
 required: A$A135.this.CC => A$A135.this.Value[Any]
myTest(_.i eqs 1, _.s eqs "lol");}
           ^

Answer 1

对，那是正确的。因为 Value在 V 中定义为不变量, 表示 Value[Int]和 Value[String]不是 Value[Any] 的子类型，但是 Any是Int最接近的普通父类(super class)型和 String ，即 F在 myTest .因为 V处于协变位置，您可以简单地修改它:

case class Value[+V](value: V)