Scala 2.11泛型与模式匹配类型不匹配问题及优化咨询

首先明确问题根源：getFoo返回的是存在类型Foo[_ <: A]，编译器仅知道它的类型参数是A的子类，但无法确定具体是哪一个；而getA返回的A同样是抽象的父类型，编译器无法证明两者的具体子类类型一致，因此调用foo时出现类型不匹配。

以下是几种更简洁的函数式写法：

1. 用偏函数封装匹配逻辑 #

把重复的匹配逻辑提取到一个偏函数中，既保持代码简洁，又方便扩展：

def example(): Unit = {
  val process: PartialFunction[(Foo[_ <: A], A), Unit] = {
    case (bar: Bar, b: B) => bar.foo(b)
    case (car: Car, c: C) => car.foo(c)
    // 可添加更多Foo子类的匹配规则
  }
  process((getFoo("1"), getA()))
}

如果需要处理不匹配的情况，可以给偏函数添加默认分支：

val process: PartialFunction[(Foo[_ <: A], A), Unit] = {
  // ... 原有分支
  case _ => throw new IllegalArgumentException("类型不匹配")
}

2. 重构为Handler模式（推荐） #

通过引入Handler trait，将Foo与对应A的匹配逻辑封装在一起，彻底消除重复代码：

// 新增Handler trait，统一处理逻辑
trait Handler {
  def handle(a: A): Unit
}

// 对应Bar的Handler
class BarHandler extends Handler {
  override def handle(a: A): Unit = a match {
    case b: B => new Bar().foo(b)
    case _ => // 处理类型不匹配的场景，如日志或异常
  }
}

// 对应Car的Handler
class CarHandler extends Handler {
  override def handle(a: A): Unit = a match {
    case c: C => new Car().foo(c)
    case _ => // 处理类型不匹配的场景
  }
}

// 修改MyImpl中的getFoo为getHandler
class MyImpl {
  // ... 原有getA方法不变

  def example(): Unit = {
    getHandler("1").handle(getA())
  }

  def getHandler(something: String): Handler = {
    something match {
      case "1" => new BarHandler()
      case "2" => new CarHandler()
    }
  }
}

这种方式把类型匹配的细节封装在Handler实现中，example方法只需调用统一的handle方法，代码更简洁且符合开闭原则。

3. 利用模式匹配的类型绑定（Scala 2.11支持） #

通过在模式匹配中绑定类型变量，让编译器推导出匹配关系：

def example(): Unit = {
  (getFoo("1"), getA()) match {
    case (f: Foo[t @unchecked], arg: t) => f.foo(arg)
  }
}

注意这里需要添加@unchecked注解，因为Scala的类型擦除会导致编译器无法在运行时完全验证t的类型，适合你能确保getFoo和getA返回的类型一定匹配的场景。

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