Scala 3中不使用TypeTag，如何获取类/类型参数的方差？

核心结论 #

Scala的协变（+）、逆变（-）信息确实存储在字节码中，无需依赖Scala 2的TypeTag，通过字节码操作库即可直接读取。

具体实现方案（以ASM为例） #

ASM是轻量级字节码操作库，关键步骤如下：

• 加载类字节码：用ASM的ClassReader读取目标类的字节流。
• 自定义类访问器：实现ClassVisitor并重写visitTypeParameter方法——Scala编译器会把协变/逆变标记编码在类型参数的signature参数里。
• 解析签名判断方差：在visitTypeParameter方法中解析签名字符串：
  • 协变类型参数签名以+开头，例如+T
  • 逆变类型参数签名以-开头，例如-U
  • 不变类型参数无前缀，直接为参数名，例如V

示例代码片段 #

import org.objectweb.asm.{ClassReader, ClassVisitor, Opcodes}

class VarianceVisitor extends ClassVisitor(Opcodes.ASM9) {
  override def visitTypeParameter(name: String, signature: String): Unit = {
    val variance = signature match {
      case s if s.startsWith("+") => "协变(+)"
      case s if s.startsWith("-") => "逆变(-)"
      case _ => "不变"
    }
    println(s"类型参数 $name: $variance")
  }
}

// 使用示例
val cr = new ClassReader("com.example.MyScalaClass")
cr.accept(new VarianceVisitor(), 0)

原理说明 #

Scala编译器生成字节码时，会将类型参数的协变/逆变信息嵌入到类型参数签名中，这是Scala特有的字节码扩展。Java反射API不会解析这类自定义签名，因此只能通过字节码工具直接读取。

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