Scala TypeTag未显示类型参数的异常行为问询

让我们一步步拆解这个问题，搞清楚为什么输出和你的预期存在差异：

1. 非泛型Dummy类的情况 #

首先看你最初的非泛型定义：

case class Dummy(l: List[Int])

这个Dummy是没有类型参数的普通类——它的字段l虽然是泛型类型List[Int]，但类本身并没有定义任何类型参数。

当你调用paramInfo(Dummy(List(1,2)))时，TypeTag捕获的类型N就是Dummy（而非某个泛型实例）。此时typeOf[N]匹配TypeRef(_, _, args)时，args必然是空列表，因为Dummy本身没有类型参数。所以输出type of Dummy(List(1, 2)) has type arguments List()是完全符合Scala反射逻辑的，你的预期在这里是错误的，因为混淆了「类的类型参数」和「类字段的类型参数」。

2. 泛型Dummy类的情况 #

当你改成泛型类：

case class Dummy[X](l: List[X])

此时Dummy是一个泛型类，拥有类型参数X。调用paramInfo(Dummy[Int](List(1,2)))时，TypeTag捕获的类型N是Dummy[Int]——也就是Dummy这个类型构造器被Int实例化后的类型。

TypeRef(_, _, args)中的args对应的是当前泛型类本身的类型参数实例，也就是X被替换成的Int，所以输出type of Dummy(List(1, 2)) has type arguments List(Int)是正确的。

你的预期List(Dummy(List(Int)))是完全误解了TypeRef的作用：TypeRef不会递归解析类内部字段的类型参数，它只关注当前类型本身的类型参数。如果想要获取字段l的类型参数，需要主动去解析类的成员类型。

如何获取字段的类型参数？ #

如果你想获取Dummy中字段l的类型参数，可以修改paramInfo函数，主动解析case class的访问器方法（也就是字段的getter）：

import scala.reflect.runtime.universe._

def paramInfo[N: TypeTag](x: N): Unit = {
  val tpe = typeOf[N]
  
  // 获取当前泛型类本身的类型参数
  val classTypeArgs = tpe match {
    case TypeRef(_, _, args) => args
  }
  println(s"type of $x has class type arguments $classTypeArgs")

  // 解析case class字段l的类型参数
  tpe.decls.collectFirst {
    case m: MethodSymbol if m.isCaseAccessor => m.returnType
  }.foreach { fieldType =>
    val fieldTypeArgs = fieldType match {
      case TypeRef(_, _, args) => args
    }
    println(s"field 'l' has type arguments $fieldTypeArgs")
  }
}

case class Dummy[X](l: List[X])
paramInfo(Dummy[Int](List(1,2)))

执行这段代码会输出：

type of Dummy(List(1, 2)) has class type arguments List(Int)
field 'l' has type arguments List(Int)

核心总结 #

你预期的错误源于混淆了两个不同的概念：

• 泛型类的类型参数：是定义类时声明的类型变量（比如Dummy[X]中的X），对应TypeRef的args，代表类本身的实例化参数。
• 类字段的类型参数：是类内部字段的泛型参数（比如List[X]中的X），需要主动解析字段的类型才能获取，不会自动出现在当前类型的TypeRef参数中。

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