Scala：从通用特征调用方法时类型不匹配

Question

让我们先来看一些代码：

trait Foo[T] {
  def fooize(value : T) : Unit
}
object TestFoo {
  def testFooForType[T[_] <: Foo[_]](obj : T[Int]) {
    obj.fooize(5)
  }
}

为什么不进行类型检查，如何克服这个困难？ 我想要做的是测试针对特定类型T （在示例中为Int ）实现给定特征Foo任何类。

Answer 1

T[_] <: Foo[_]表示“ T forSome类型”扩展了“ Foo forSome类型”。

它必须允许类型不同的情况。 （T [A]扩展为Foo [B]）

将T与Int类型绑定不会影响Foo的类型，Foo的类型仍然不受限制。

您可以指定Foo的类型：

def testFooForType[T[_] <: Foo[Int]](obj : T[_]) {
    obj.fooize(5)
}

或者您可以使类型关系明确：

def testFooForType[T[V] <: Foo[V]](obj : T[Int]) {
    obj.fooize(5)
}