Scala如何泛化匹配所有字段为None的Case Class实例？

假设我们有如下Scala代码：

case class A(a: Option[String], b: Option[String])
val v: A = A(None, None)
val vOp: Option[A] = v match {
  case A(None, None) => None  // 能否简化/泛化该写法
  // 其他分支
}

实际场景中，需要匹配的Case Class字段多且频繁变更，不想每次都逐个枚举所有字段的None值，有没有办法不用逐个写None就能匹配所有字段均为None的实例？

解决方案 #

1. 利用Case Class的Product属性（最简单直接）

Case Class默认继承Product特质，通过productIterator可以遍历所有字段，结合forall判断是否全为None：

val vOp: Option[A] = v match {
  case a: A if a.productIterator.forall(_ == None) => None
  case _ => Some(v)
}

不管后续字段怎么增减，这段匹配逻辑都不用修改，完全适配字段变更。

2. 自定义通用提取器（复用性更强）

如果需要在多个Case Class中复用这个逻辑，可以写一个通用的提取器：

object AllNone {
  def unapply[T <: Product](obj: T): Boolean = 
    obj.productIterator.forall(_ == None)
}

之后匹配时写法更简洁：

val vOp: Option[A] = v match {
  case AllNone() => None
  case _ => Some(v)
}

注意：这个提取器会匹配所有字段都是None的Product类型实例，如果Case Class里有非Option类型的字段，可能会出现误判（比如字段值刚好等于None的情况），如果需要类型安全的版本，可以看下面的Scala 3方案。

3. Scala 3 类型安全的inline宏方案

如果用Scala 3，可以通过inline和宏实现编译时检查字段类型，确保只有Option类型的字段才会被判断，避免误判：

import scala.quoted.*

inline def allNone[T <: Product](obj: T): Boolean = ${allNoneImpl[T](obj)}

def allNoneImpl[T <: Product](obj: Expr[T])(using Quotes, Type[T]): Expr[Boolean] = {
  val fields = TypeTree.of[T].symbol.caseFields.map(f => 
    Select.unique(obj.asExprOf[Product], f.name)
  )
  Expr.orNull(fields.map(f => '{ $f == None }).reduce('{ $a && $b }))
}

使用方式：

val vOp: Option[A] = v match {
  case a: A if allNone(a) => None
  case _ => Some(v)
}

这个版本会在编译时验证每个字段都是Option类型，运行时也没有反射开销，效率更高。

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