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和BooleanValue不应用的方法都需要一个String,静态类型的模式是String,这样的类型,x是String.

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

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