如何简化含特定成员的类型类实例的模式匹配？

我有一个框架，定义了一个类型类，其大多数实例都包含某个隐式值：

import scala.reflect.runtime.universe.TypeTag

sealed trait Source

// many classes with implicit TypeTag
case class SourceA[T]()(implicit val ev: TypeTag[T]) extends Source
case class SourceB[T]()(implicit val ev: TypeTag[T]) extends Source
case class SourceC[T]()(implicit val ev: TypeTag[T]) extends Source
// a few classes without TypeTag
case class EmptySource() extends Source

在应用中，我希望用简洁代码访问上述示例中的ev，目前实现如下：

def retrieveTypeTagFromSource(source: Source): Option[TypeTag[_]] = source match {
  case s: SourceA[_] => Some(s.ev)
  case s: SourceB[_] => Some(s.ev)
  case s: SourceC[_] => Some(s.ev)
  // many more nearly identical lines
  // then handling the remaining classes
  case s: EmptySource => None
}

这段代码存在大量重复，并不理想。我希望消除重复，且不想仅将重复转移到框架端（如为适用样例类添加HasTypeTag特质）。尝试用以下代码匹配：

case s: {val ev: TypeTag[Any]} => Some(s.ev)

但Scala给出警告a pattern match on a refinement type is unchecked，不确定该写法是否可行。

1. 反射安全提取ev值 #

借助Scala反射API动态提取ev字段，无需硬编码所有Source子类：

import scala.reflect.runtime.universe._

def retrieveTypeTagFromSource(source: Source): Option[TypeTag[_]] = {
  val mirror = runtimeMirror(getClass.getClassLoader)
  val instanceMirror = mirror.reflect(source)
  val evSymbol = typeOf[Source].decl(TermName("ev")).asTerm
  if (source.getClass.getDeclaredFields.exists(_.getName == "ev")) {
    Some(instanceMirror.reflectField(evSymbol).get.asInstanceOf[TypeTag[_]])
  } else {
    None
  }
}

这种方式不需要修改框架代码，通过反射检查并提取目标字段，彻底避免重复分支。

2. 改进结构类型匹配（抑制警告+运行时校验） #

你尝试的结构类型写法本身可行，但因编译时无法验证匹配规则会触发unchecked警告。可以添加@unchecked注解抑制警告，同时增加运行时异常处理保障安全：

def retrieveTypeTagFromSource(source: Source): Option[TypeTag[_]] = source match {
  case s: {val ev: TypeTag[_]} @unchecked => 
    try {
      Some(s.ev)
    } catch {
      case _: NoSuchMethodException => None
    }
  case _ => None
}

注意：如果子类存在同名但类型不符的ev字段，可能引发类型转换错误，需谨慎使用。

3. 编译期自动生成匹配分支（宏方案） #

利用Scala宏在编译时自动生成所有带ev字段的子类匹配分支，兼顾简洁性与类型安全：

import scala.language.experimental.macros
import scala.reflect.macros.blackbox

def retrieveTypeTagFromSource(source: Source): Option[TypeTag[_]] = macro retrieveTypeTagMacro

def retrieveTypeTagMacro(c: blackbox.Context)(source: c.Tree): c.Tree = {
  import c.universe._
  val sourceType = weakTypeTag[Source].tpe
  val subclasses = sourceType.typeSymbol.asClass.knownDirectSubclasses
  
  val cases = subclasses.map { subclass =>
    val subclassType = subclass.asType.toType
    val hasEv = subclassType.decl(TermName("ev")).isTerm
    if (hasEv) {
      cq"x: $subclassType => Some(x.ev)"
    } else {
      cq"x: $subclassType => None"
    }
  }.toList
  
  q"$source match { ..$cases }"
}

该方案在编译阶段自动生成匹配逻辑，既没有手写重复代码，又保留了编译时类型检查，适合对代码质量要求较高的场景。

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