泛型类型参数的下划线在 Scala 中产生编译错误？

如何解决泛型类型参数的下划线在 Scala 中产生编译错误？

我有

trait MyBase[T <: MyBase[T]] {
  def myid: String
}

这么写

case class MyBaseContainer(myBase: MyBase[_])

为 T 中的 MyBase 产生类型绑定错误

type arguments [_$1] do not conform to trait MyBase's type parameter bounds [T <: Playground.MyBase[T]]

同时写成

case class MyBaseContainer[T <: MyBase[_]](myBase: T)

编译清除任何错误。

为什么会这样？ MyBaseContainer 的这两个签名在语义上是不是等价的？

是否有一种语法方法可以将类型参数 MyBase 限制为所需的边界，而不将 T 作为类型参数传递给 MyBaseContainer？

解决方法

正如 Dmytro Mitin 在评论中提到的，这会起作用：

import scala.language.existentials

case class MyBase[T <: MyBase[T]] (
   myid: String
)


case class MyBaseContainer(myBase: MyBase[T] forSome {type T <: MyBase[T]})