0

来自scala中的类型层次树

  • 让一个：Tuple2[Int,Int]，我知道Tuple2[Int,Int]从Product2[Int,Int];
  • let b:1 *: 2 *: EmptyTuple有类型Tuple（精化为Int *: Int *: EmptyTuple）

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

但是我可以分配a给b和相反的，为什么？

4

2 回答 2

1

它们是不同的类型，但这并不意味着它们不相关。1 *: 2 *: EmptyTuple是的子类型，Tuple2[Int,Int]因为单例文字1和2是的子类型，Int并且类型参数Tuple2是协变的。

您可以扩大 to 的实例，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]]
于 2021-07-28T15:56:18.077 回答
1

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

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

于 2021-07-28T16:22:55.863 回答