Scala类型擦除场景下ClassTag如何保留运行时类型信息？

1. ClassTag 保留运行时类型的核心逻辑 #

Scala 遵循 JVM 的泛型擦除规范，所有泛型参数编译后都会被擦除到上限类型（默认是 Object），但 ClassTag 本质是编译器在编译期自动生成的类型信息载体，根本不需要从运行时的泛型中读取信息，所以不存在擦除丢失的问题。

你看到的上下文绑定语法 def method[T: ClassTag] {...} 只是语法糖，编译器会自动给方法补充一个隐式参数：

// 开发者编写的代码
def method[T: ClassTag]() = { ... }

// 编译器编译后的等价代码
def method[T]()(implicit evidence: ClassTag[T]) = { ... }

当你调用方法传入具体类型时，比如 method[String]()，编译器会在调用点自动生成对应 ClassTag[String] 的实例，作为隐式参数传入方法。这个实例里直接存储了对应类型的 Class 对象，运行时直接读取实例中的信息即可，完全不需要从已经被擦除的泛型 T 中获取数据。

典型的应用场景是创建泛型数组：如果没有 ClassTag，擦除后 T 变为 Object，只能得到 Array[Object]；加了 ClassTag 上下文绑定后，编译器会直接用隐式传入的 ClassTag 里存储的 Class 对象，创建对应类型的数组，擦除机制完全不会影响已经生成好的实例。

2. TypeTag、WeakTypeTag 的工作原理 #

这两个是比 ClassTag 能力更强的类型信息载体，同样是编译器在编译期生成的隐式实例，区别在于它们存储的是完整的 Scala 类型信息，不局限于 JVM 层面的 Class：

• ClassTag 仅存储 JVM 运行时可识别的裸 Class 信息，无法区分参数化泛型，比如 ClassTag[List[String]] 和 ClassTag[List[Int]] 拿到的都是 List 类的 Class 对象，二者没有区别。
• TypeTag 可以保存完整的 Scala 类型信息，包括泛型参数，你可以通过 typeOf[T] 拿到完整的类型结构，可直接区分 List[String] 和 List[Int] 的差异，但它要求类型是静态可知的，不能包含未绑定的泛型参数。
• WeakTypeTag 是更宽松的 TypeTag，允许类型中包含未绑定的泛型参数，适合用在通用宏、泛型推导场景中，不会因为存在未绑定泛型就抛出编译错误。

三者的核心实现逻辑完全一致：都是在你使用上下文绑定、或者显式要求隐式参数时，编译器在编译期的调用点，根据当前已知的类型信息自动生成对应的 Tag 实例，作为隐式参数传入方法，运行时直接读取提前生成好的实例信息即可，完全绕开了 JVM 的泛型擦除机制。

内容的提问来源于stack exchange，提问作者user3103957