如何将 TupleN 值分配给 *: type 变量在 Scala 3 中起作用?
How Assigning TupleN value to *: type variable works in Scala 3?
来自scala中的类型层次树
- 让一个:
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
(<= 22 类型参数)。
来自scala中的类型层次树
- 让一个:
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
(<= 22 类型参数)。