scala - 如何区分参数类型？

Question

我对 Scala 中的子类型感到困惑。我的主要问题是如何C[T1]区分C[T2]. 有两种情况：

C[T1]“等于” C[T2]，因为它们都是C.
C[T1]不“相等” C[T2]，因为C[T1]和C[T2]最终是不同的类型。

我尝试了一些方法，例如.getClass，似乎这种策略不起作用，因为我们有原始类型。

println(List[Int](1).getClass == List[Double](1.0).getClass) // True
println(List[Int](1).getClass.getCanonicalName) // scala.collection.immutable.$colon$colon
println(Array[Int](1).getClass == Array[Double](1.0).getClass) // False
println(Array[Int](1).getClass.getCanonicalName) // int[]

我现在想知道有什么方法可以做到这一点吗？

score 4 · Accepted Answer

List[Int]并且List[Double]具有相同的类，但类型不同。

import scala.reflect.runtime.universe._

println(typeOf[List[Int]] =:= typeOf[List[Double]])//false
println(typeOf[List[Int]].typeConstructor =:= typeOf[List[Double]].typeConstructor)//true
println(typeOf[List[Int]])//List[Int]
println(showRaw(typeOf[List[Int]]))//TypeRef(SingleType(SingleType(ThisType(<root>), scala), scala.package), TypeName("List"), List(TypeRef(ThisType(scala), scala.Int, List())))

println(classOf[List[Int]] == classOf[List[Double]])//true
println(classOf[List[Int]])//class scala.collection.immutable.List
println(classOf[List[Int]].getCanonicalName)//scala.collection.immutable.List

Array[Int]并且Array[Double]有不同的类和类型。

println(typeOf[Array[Int]] =:= typeOf[Array[Double]])//false
println(typeOf[Array[Int]].typeConstructor =:= typeOf[Array[Double]].typeConstructor)//true
println(typeOf[Array[Int]])//Array[Int]
println(showRaw(typeOf[Array[Int]]))//TypeRef(ThisType(scala), scala.Array, List(TypeRef(ThisType(scala), scala.Int, List())))

println(classOf[Array[Int]] == classOf[Array[Double]])//false
println(classOf[Array[Int]])//class [I
println(classOf[Array[Int]].getCanonicalName)//int[]

https://docs.scala-lang.org/overviews/reflection/overview.html

https://typelevel.org/blog/2017/02/13/more-types-than-classes.html

Scala中的类型擦除