在 Scala 中调用协变方法

Question

我有一个class

class Getable [+T] (val data: T)

然后我为 class 创建了一个方法来打印 Number

def printNumber (in: Getable[Number]) = { println("It's " + in.data)}

所以它适用于

get(new Getable(10.0))

但不适用于

val g = new Getable(10.0)
get(g)

我收到此错误消息

scala> get(g)
<console>:16: error: type mismatch;
found   : Getable[Double]
required: Getable[Number]
   get(g)
       ^

但是克服错误信息是我们使用协方差的原因。

Answer 1

您必须使用 Getable.

类型提示编译器

val g: Getable[Number] = new Getable(10.0)

或

val g = new Getable[Number](10.0)

calling a Covariant method in Scala