Scala中Option模式匹配何时能优化至if语句性能水平？

基于if语句的实现 #

def ifA[A](fcond: Option[Boolean])(ifTrue: Option[A], ifFalse: Option[A]): Option[A] =
  if (fcond.isDefined) {
    if (fcond.get) ifTrue
    else ifFalse
  } else None

基于模式匹配的实现 #

def ifA[A](fcond: Option[Boolean])(ifTrue: Option[A], ifFalse: Option[A]): Option[A] =
  fcond match
    case Some(true) => ifTrue
    case Some(false) => ifFalse
    case None => None

使用scalac-3.0.0编译后，从字节码可见基于if语句的实现性能更优。

问题 #

1. 是否存在能将模式匹配版本优化至if语句版本性能水平的JVM？
2. scalac-3.0.0与新版本编译该代码是否存在差异？

解答 #

• 关于JVM优化：HotSpot JVM的C2即时编译器在代码达到足够执行热度后，可将模式匹配版本的代码优化到与if语句版本几乎一致的性能。C2会识别Option这类密封类的模式匹配逻辑，消除冗余的类型检查和分支判断，生成等价的机器码。冷启动阶段可能存在微小性能差距，但稳态运行时两者性能无显著差异。
• 关于Scala编译器版本差异：Scala 3.1及后续版本对密封类的模式匹配编译逻辑做了针对性优化。对于Option这类常见密封类的模式匹配，编译器会直接生成调用isDefined和get的字节码，与if语句版本的编译结果几乎完全一致，无需依赖JIT优化就能达到相同性能。

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