将 TupleN 值分配给 *: 类型变量如何在 Scala 3 中工作？

问题描述

来自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。