Fatal编程技术网
  • scala/
  • 在scala中，协变类型参数怎么可能是抽象类型的上界，而不是另一个不变类型参数？

在scala中，协变类型参数怎么可能是抽象类型的上界，而不是另一个不变类型参数？

scala

在scala中，协变类型参数怎么可能是抽象类型的上界，而不是另一个不变类型参数？,scala,covariance,contravariance,Scala,Covariance,Contravariance,下面的代码清楚地说明了这一点： trait Poly1Group[-IUB，+OUB]{ trait Case[-I所有路径依赖类型都是不变的 [Error] .../Poly1Group.scala:16: covariant type OUB occurs in contravariant position in type <: OUB of type O one error found

下面的代码清楚地说明了这一点：

trait Poly1Group[-IUB，+OUB]{

trait Case[-I所有路径依赖类型都是不变的

[Error] .../Poly1Group.scala:16: covariant type OUB occurs in contravariant position in type  <: OUB of type O
one error found