Scala中如何使用泛型返回类型并在函数内获取对应类型信息

Scala的泛型存在类型擦除机制，泛型参数的类型信息在运行时会被抹除，因此无法直接对泛型参数A进行模式匹配。可以通过以下两种常用方案实现需求：

方案1：使用ClassTag获取运行时类型信息 #

通过隐式传入ClassTag可以保留泛型的运行时类信息，直接在运行时匹配类型分支，写法简单直接：

import scala.reflect.ClassTag

// 用上下文绑定的方式给泛型A绑定ClassTag
def getStuff[A : ClassTag](a: MyObj, b: String): Option[A] = {
  // 执行你的通用业务逻辑
  classTag[A].runtimeClass match {
    case cls if cls == classOf[String] => Some(a.getString(b)).asInstanceOf[Option[A]]
    case cls if cls == classOf[Integer] => Some(a.getInt(b)).asInstanceOf[Option[A]]
    // 补充其他需要支持的类型分支
    case _ => None
  }
}

• 优点：代码逻辑集中，无需额外定义结构，适合支持的类型数量少、逻辑固定的场景
• 缺点：需要手动做类型转换，类型安全性由业务逻辑保证，编译器无法提前发现类型匹配错误

方案2：使用类型类实现编译期类型分发 #

如果需要更高的类型安全性和扩展性，推荐用类型类方案，所有类型匹配逻辑在编译期完成，无需运行时判断和类型转换：

// 定义类型类特质
trait StuffGetter[A] {
  def get(a: MyObj, key: String): Option[A]
}

// 给需要支持的类型定义隐式实例
object StuffGetterInstances {
  implicit val stringStuffGetter: StuffGetter[String] = (a: MyObj, key: String) => Some(a.getString(key))
  implicit val intStuffGetter: StuffGetter[Integer] = (a: MyObj, key: String) => Some(a.getInt(key))
  // 后续新增类型支持只要加对应的隐式实例即可
}

import StuffGetterInstances._
// 泛型绑定类型类上下文
def getStuff[A : StuffGetter](a: MyObj, b: String): Option[A] = {
  // 执行你的通用业务逻辑
  implicitly[StuffGetter[A]].get(a, b)
}

• 优点：完全类型安全，没有匹配的类型实例会直接编译报错，无需手动类型转换，新增类型支持无需修改原有函数逻辑，符合开闭原则
• 缺点：需要额外定义类型类和隐式实例，代码结构相对复杂

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