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 中模式绑定(bind)器的行为方式。 §8.1.3。它说在模式 x@p:

The type of the variable x is the static type T of the pattern p.

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

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

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