问题描述
来自scala中的类型层次树
- let a:
Tuple2[Int,Int]
,我知道Tuple2[Int,Int]
从Product2[Int,Int]
扩展; - 让 b:
1 *: 2 *: EmptyTuple
的类型为Tuple
(精炼为Int *: Int *: EmptyTuple
)
它们是不同的类型并且没有任何父关系。它们唯一拥有的是 Product
,它们都从 Product
扩展。
但是我可以将 a
分配给 b
和相反的,为什么?
解决方法
它们是不同的类型,但这并不意味着它们不相关。 1 *: 2 *: EmptyTuple
是 Tuple2[Int,Int]
的子类型,因为单例文字 1
和 2
是 Int
的子类型,而 Tuple2
的类型参数是协变的。
您可以将 1 *: 2 *: EmptyTuple
的实例扩展为 Tuple2[Int,Int]
,但不能反过来。
请注意,Tuple2[A,B]
和 A *: B *: EmptyTuple
是等效的。 1 *: 2 *: EmptyTuple
被假定为基于问题语法的类型级表达式,但如果它是一个值级表达式,那么它的类型将是 Int *: Int *: EmptyTuple
,相当于 Tuple2[Int,Int]
。在那种情况下,两种类型的实例都可以“分配”给彼此。
参考代码:
@main def main() =
type T1 = Tuple2[Int,Int]
type T2 = 1 *: 2 *: EmptyTuple
val t1a: T1 = (1,2) //compiles
val t2a: T2 = (1,2) //compiles
val t1b: T1 = (2,1) //compiles
// val t2b: T2 = (2,1) // does not compile
// t1a: T2 //does not compile
t2a: T1 //compiles
summon[1 <:< Int] // compiles
// summon[1 =:= Int] // does not compile
summon[T2 <:< T1] //compiles
// summon[T1 <:< T2] // does not compile
// summon[T1 =:= T2] // does not compile
//these are the same types,not exclusively subtypes of one another
summon[Tuple2[Int,Int] =:= Int *: Int *: EmptyTuple]
summon[Tuple2[Int,Int] <:< Int *: Int *: EmptyTuple]
summon[Int *: Int *: EmptyTuple <:< Tuple2[Int,Int]]
,
在 Scala 3 中,Tuple1
...Tuple22
类型由编译器综合修改以扩展 *:
类型。也就是说,Tuple2[A,B]
被修改为扩展 A *: B *: EmptyTuple
(扩展 Tuple
)。
因此,您可以将 Tuple2[Int,Int]
分配给 Int *: Int *: EmptyTuple
。同样,相反的情况也是可能的,因为只要可以(A *: ... EmptyTuple 就会被视为 TupleN
。