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)

main 方法中的require 将失败。
不过这个没问题

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

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

Answer 1

这是……两者兼而有之。

您可以查看Scala specification §8.1.3 中模式绑定器的行为方式。上面写着x@p：

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

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

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

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