Scala泛型方法isInstanceOf类型判断结果不一致问题咨询

我是Scala初学者，想要实现判断列表中是否包含某指定类型对象的功能。
我编写对应方法实现该逻辑时，得到了如下运行结果：

var l = List("Some string", 3)
def containsType[T] = l.exists(_.isInstanceOf[T])
containsType[Boolean]   // val res0: Boolean = true
l.exists(_.isInstanceOf[Boolean])   // val res1: Boolean = false

为何自定义的containsType方法返回结果，与最后一行直接编写的表达式返回结果存在差异？
——Johan

核心原因是JVM的泛型类型擦除机制：

• 你定义的泛型方法containsType[T]中，类型参数T仅在编译期做类型校验，到运行阶段会被擦除为它的上界（这里是Any，对应JVM层面的Object）。方法里的_.isInstanceOf[T]在运行时根本拿不到T的实际类型信息，这个检查会被编译为「判断对象是否是Object实例」——列表里的所有元素自然都满足这个条件，所以不管你传入什么类型参数，containsType都会返回true。
• 直接写l.exists(_.isInstanceOf[Boolean])时，Boolean是代码里明确写出的具体类型，不是未实化的泛型参数，编译器可以直接生成对应「判断是否为Boolean实例」的字节码，不需要依赖运行时的泛型参数信息，所以能得到正确的判断结果false。

如果要让泛型方法里的类型检查生效，需要让Scala保留T的运行时类型信息，用ClassTag即可：

import scala.reflect.ClassTag
var l = List("Some string", 3)
// 给T加ClassTag上下文绑定，运行时就能拿到T的实际类型做检查
def containsType[T: ClassTag] = l.exists(_.isInstanceOf[T])
containsType[Boolean]   // 此时返回false，和直接编写表达式的结果一致

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