如何将 TupleN 值分配给 *: type 变量在 Scala 3 中起作用？

Question

来自scala中的类型层次树

让一个：Tuple2[Int,Int]，我知道 Tuple2[Int,Int] 从 Product2[Int,Int] 扩展；
设 b:1 *: 2 *: EmptyTuple 的类型为 Tuple（细化为 Int *: Int *: EmptyTuple）

它们是不同的类型，没有任何父级关系。他们唯一拥有的是 Product，他们都从 Product.

扩展而来

但是我可以将a分配给b并且相反，为什么？

Answer 1

它们是不同的类型，但这并不意味着它们没有关系。 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]]

Answer 2

在 Scala 3 中，Tuple1...Tuple22 类型由编译器综合修改以扩展 *: 类型。即，Tuple2[A, B] 被修改为扩展 A *: B *: EmptyTuple（扩展 Tuple）。

因此，您可以将 Tuple2[Int, Int] 分配给 Int *: Int *: EmptyTuple。同样，反过来也是可能的，因为 A *: ... EmptyTuple 将尽可能被视为 TupleN（<= 22 类型参数）。

如何将 TupleN 值分配给 *: type 变量在 Scala 3 中起作用？

How Assigning TupleN value to *: type variable works in Scala 3?

scala

scala-3

hlist

dotty

singleton-type