Question

鉴于以下类型

trait N[X]
trait M[X, Y <: N[X]]

scala如何翻译：

M[_,_]

我尝试过以下但没有成功：

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> typeOf[Class[_]] =:= typeOf[Class[C] forSome { type C }]
res4: Boolean = true

scala> typeOf[List[Class[_]]] =:= typeOf[List[Class[C] forSome { type C }]]
res5: Boolean = true

scala> typeOf[M[_,_]] =:= typeOf[M[X,Y] forSome { type X; type Y <: N[X] }]
res5: Boolean = false

warning: the existential type M[X,Y] forSome { type X; type Y <: N[X] }, which cannot be expressed by wildcards,  
should be enabled by making the implicit value scala.language.existentials visible.

相当令人费解？如果它不能用通配符表示那么编译器应该产生错误而不是警告，不应该吗？

Answer 1

Scala将M[_,_]翻译为M[X, Y] forSome { type X; type Y }。这很容易证明：

scala> type Foo = M[_,_]
defined type alias Foo

scala> type Bar = M[X, Y] forSome { type X; type Y }
defined type alias Bar

scala> implicitly[ Foo =:= Bar]
res0: =:=[Foo,Bar] = <function1>

或使用反射：

scala> typeOf[Foo] =:= typeOf[Bar]
res2: Boolean = true

至于你得到的警告，它说的是M[X,Y] forSome { type X; type Y <: N[X] }没有相应的使用通配符。通配符只是存在类型的有限子集的语法糖，并且scala编译器将存在性视为应该显式启用的高级功能，因此警告（除非存在性可以映射到简单的通配符，编译器不认为是通配符要求明确启用的功能，这就是为什么警告提到存在主义不能用通配符表达的原因。）

Scala存在M [_，_]的占位符转换，其中M [X，Y＆lt;：N [X]]

1 个答案: