scala - Scala 替代案例将语法与不同类型的提取值匹配

Question

object NoSense {
   def main(args: Array[String]) {
      val value = "true" match {
         case value @ (IntValue(_) | BooleanValue(_)) => value
      }
      require(value == true)
   }
}

class Value[T](val regex: Regex, convent: String => T) {
   def unapply(value: String): Option[T] = value match {
      case regex(value, _*) => Some(convent(value))
      case _ => None
   }
}
object IntValue extends Value[Int]("[0-9]+".r, _.toInt)
object BooleanValue extends Value[Boolean]("((true)|(false))".r, _.toBoolean)

该方法require将main失败。
但是这个没问题

def main(args: Array[String]) {
      val value = "true" match {
         case IntValue(value) => value
         case BooleanValue(value) => value
      }
      require(value == true)
   }

这是scala语言本身的限制还是我做错了

Answer 1

这是……两者兼而有之。

您可以查看模式绑定器在Scala 规范§8.1.3 中的行为方式。它在模式中说x@p：

变量 x 的类型是模式 p 的静态类型 T。

在您的情况下，模式p是IntValue(_) | BooleanValue(_). 因为IntValue和BooleanValueunapply-methods 都需要一个字符串，所以你的模式的静态类型是String，因此，类型x是String。

在第二种情况下，值从 BooleanValue 中提取并具有正确的类型。

不幸的是，scala 不支持提取器模式的替代方案，因此您必须坚持使用第二个版本。