Scala 中的类型提取

Question

我对 Scala 和高级编程语言还很陌生。我尝试解决以下问题。

我已经得到：

val s: Seq[SomeMutableType[_]]

我假设序列中的所有元素都属于同一类型（但目前不知道是哪一个）。

我该如何调用：

def proc[T](v0: SomeMutableType[T], v1: SomeMutableType[T]) { /* ... */ }

编译器抱怨

proc(s(0), s(1))

：

• 类型不匹配；找到：SomeMutableType[_$351]，其中类型 _$351 需要： SomeMutableType[Any] 注意：_$351 <：Any，但是类 SomeMutableType 在类型 T 中是不变的。 可能希望将 T 定义为 +T。 （SLS 4.5）

我考虑过协变的事情，但我不认为它对我的情况有意义。我只是希望编译器相信我说的 s(0) 和 s(1) 是同一类型！我通常通过一些转换来完成此操作，但我无法在这里转换为 SomeMutableType[T]，因为 T 由于擦除而未知。当然，我不能改变proc的定义。

Answer 1

问题是你确实无法做出这样的保证。例如：

scala> import scala.collection.mutable.Buffer
import scala.collection.mutable.Buffer

scala> val s: Seq[Buffer[_]] = Seq(Buffer(1), Buffer("a"))
s: Seq[scala.collection.mutable.Buffer[_]] = List(ArrayBuffer(1), ArrayBuffer(a))

看到了吗？您不知道s(0)和s(1)是同一类型，因为它们可能不是同一类型类型。

此时，您应该问一个关于您想要完成什么的问题，而不是问您想要如何解决问题，如何。你采取的这些方法行不通。退后一步，思考您试图用这种方法解决什么问题，并询问如何解决该问题。

例如，你说：

我假设序列中的所有元素都具有相同的类型（但不知道是哪个）
此时一个）。

您可能想要做的是参数化一个类或方法，并在声明 s 时使用其类型参数。或者，也许根本就没有s。

Answer 2

我是 Scala 的新手，但据我所知，您的问题是在声明 s 时使用通配符类型参数：

val s: Seq[SomeMutableType[_]]

据我所知，类型擦除总是会发生，而您真正想要的是参数化类型绑定到 s 初始化的位置。

例如：

scala> class Erased(val s: List[_])
defined class Erased

scala> new Erased(List(1,2,3)).s.head
res21: Any = 1

如果您改为使用

scala> class Kept[T](val s: List[T])
defined class Kept

scala> new Kept(List(1,2,3)).s.head
res22: Int = 1

那么 s 的内容将保留其类型信息，因为它绑定到 T。即，这正是您告诉编译器“s(0) 和 s(1) 具有相同类型”的方式。