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

【问题标题】：underscore for generic type argument produces compile error in Scala?泛型类型参数的下划线会在 Scala 中产生编译错误？
【发布时间】：2021-09-21 12:44:44
【问题描述】：

我有

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

这么写


case class MyBaseContainer(myBase: MyBase[_])

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

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？

【问题讨论】：

错误消息似乎可以解释问题：_ 不受限制，但MyBase 的类型参数需要限制T <: MyBase[T] 或更严格。
@Tim 除了将T 作为类型参数传递给MyBaseContainer 之外，还有另一种语法方式来约束它吗？
我不这么认为，但不是专家
@James 你可以写case class MyBaseContainer(myBase: MyBase[T] forSome {type T <: MyBase[T]})
stackoverflow.com/questions/4323140/…stackoverflow.com/questions/62365400/…stackoverflow.com/questions/42696319/…stackoverflow.com/questions/54911369/…stackoverflow.com/questions/54890617/…

标签： scala generics type-conversion existential-type f-bounded-polymorphism

【解决方案1】：

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

import scala.language.existentials

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


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

【讨论】：