在Scala中创建元组时发生类型绑定错误

时间:2019-02-26 17:02:16

标签: scala existential-type

说我有类型

trait Mode[T]
trait MyType[T, M <: Mode[T]]

此编译

val t: MyType[_, _] = ???
t

但不是这个

val t: MyType[_, _] = ???
"some_string" -> t

错误提示类似type arguments [_$0,_$1] do not conform to trait MyType's type parameter bounds

所以我的问题是,为什么这不能在创建元组时进行编译?

1 个答案:

答案 0 :(得分:1)

实际上,t"some string" -> t都会在运行时因相同的问题而中断:

import scala.language.existentials
import scala.reflect.runtime.universe._

type SubMode[T] = M forSome { type M <: Mode[T] }

val t: MyType[_, _] = new MyType[String, SubMode[String]] {}
// t: MyType[_, _] = $anon$1@596afb2f

"some string" -> t
// error: type arguments [_$1,_$2] do not conform to trait MyType's type parameter bounds [T,M <: Mode[T]]

reify(t)
// error: type arguments [_$1,_$2] do not conform to trait MyType's type parameter bounds [T,M <: Mode[T]]

reify("some string" -> t)
// error: type arguments [_$1,_$2] do not conform to trait MyType's type parameter bounds [T,M <: Mode[T]]

实际上,编译时的问题并不特定于Tuples。例如:

List(t)
// error: type arguments [_$1,_$2] do not conform to trait MyType's type parameter bounds [T,M <: Mode[T]]

我的猜测是,尽管仅t的定义不会触发编译错误,但对t的附加“触摸”可能会。如果让编译器推断正确的类型,那么一切都会很好:

val t2 = new MyType[String, SubMode[String]] {}
t2: MyType[String,SubMode[String]] = $anon$1@19d53ab4

"some string" -> t2
// res1: (String, MyType[String,SubMode[String]]) = (some string,$anon$1@19d53ab4)

List(t2)
// res2: List[MyType[String,SubMode[String]]] = List($anon$1@19d53ab4)