Scala中如何高效判断集合对象是否为可变集合？

你现在写的基于类名字符串前缀匹配的isMutable方法，既不是最高效的实现，也不具备长期可靠性。

现有字符串匹配方案的缺陷 #

• 性能差：每次判断都要走getClass、类名转字符串、字符串前缀匹配的流程，字符串操作的开销远高于JVM原生的类型检查。
• 误判率高：
  • 第三方实现的符合Scala集合规范的可变集合、可变集合的视图/包装类，如果不在scala.collection.mutable包下，会被直接误判为不可变；
  • 经过字节码增强、动态代理生成的集合子类，类名格式和预期不符时，判断逻辑直接失效；
  • 没有官方约定保证未来Scala版本不会调整内部类的包路径，靠包名前缀判断没有长期兼容性。

推荐的标准实现 #

Scala集合库的顶层层级本身就对可变性做了明确拆分：所有标准库、以及合规第三方实现的可变集合，都一定继承scala.collection.mutable.Iterable特质；所有不可变集合都一定继承scala.collection.immutable.Iterable特质。这是Scala集合设计的核心约定，不管后续版本新增多少集合类型，都会遵守这个继承规则，完全不需要你穷举所有可变类，也不存在未来版本兼容问题。

直接用模式匹配做类型检查即可，性能是JVM原生级别，比字符串匹配快数倍：

import scala.collection.{Iterable, immutable, mutable}

object IsMutable extends App {
  val mutableMap: mutable.Map[String, Int] = mutable.Map("Apples" -> 4,"Pineapples" -> 1,"Oranges" -> 10,"Grapes" -> 7)
  val immutableMap: immutable.Map[String, Int] = Map("Apples" -> 4,"Pineapples" -> 1,"Oranges" -> 10,"Grapes" -> 7)

  def isMutable[A](obj: Iterable[A]): Boolean = obj match {
    case _: mutable.Iterable[_] => true
    case _: immutable.Iterable[_] => false
    // 仅当业务中会用到自定义Iterable实现时需要保留兜底，可按需调整默认返回值
    case _ => false
  }

  println(isMutable(mutableMap))
  println(isMutable(immutableMap))
}

如果你要按计划用隐式方式给集合扩展这个方法，直接把上述判断逻辑封装到扩展方法里即可，不需要做额外改动。

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