Scala 2中编写偏函数简写时如何抑制unchecked类型擦除警告？

你的问题出在**@unchecked注解的作用范围不对**：你把注解加在了Match类和apply方法参数上，但警告是来自调用点定义的偏函数内部的模式匹配，外部注解管不到这块代码的检查。

具体解决方案： #

1. 给单个模式匹配加@unchecked

直接在偏函数的模式上标注@unchecked，精准抑制该模式的擦除警告：

trait H {
  type Unknown <: String

  Match("abc": Serializable).apply(
    { case v: Unknown @unchecked => 1 }, // 在此处添加@unchecked
    { case v: Any => 2 }
  )
}

2. 全局抑制相关警告（适合大量场景）

如果有很多这类偏函数不想逐个处理，可以在编译时添加参数，全局屏蔽对应警告：

# 单独屏蔽两个警告
scalac -Wconf:msg=abstract type pattern is unchecked:s -Wconf:msg=The outer reference in this type test cannot be checked:s YourFile.scala

# 合并为单个参数
scalac -Wconf:msg=abstract type pattern is unchecked;s,msg=The outer reference in this type test cannot be checked:s YourFile.scala

补充说明： #

Scala的@unchecked注解是局部生效的，只能作用于它直接标注的代码块或模式。你之前的注解仅告知编译器不要检查Match类定义和cases参数的unchecked操作，但偏函数是在调用时动态创建的，其内部的类型测试警告需要单独处理。

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