Scala匹配表达式中的构造函数模式和变量绑定模式有什么区别？

debugcn 发表于 Dev

可选的

在Scala中，我试图理解模式匹配，但是大多数模式都是自我解释的，但构造函数模式和变量绑定模式对我来说却令人困惑。我尝试了来自Programming Scala，2ed的以下示例

case class Address(street: String, city: String, country: String)
case class Person(name: String, age: Int, address: Address) 

object ScalaCaseDemoMain extends App{

    val alice   = Person("Alice",   25, Address("1 Scala Lane", "Chicago", "USA"))
    val bob     = Person("Bob",     29, Address("2 Java Ave.",  "Miami",   "USA"))
    val charlie = Person("Charlie", 32, Address("3 Python Ct.", "Boston",  "USA"))

    for (person <- Seq(alice, bob, charlie)) {
    person match {
        case p @ Person("Alice", 25, address) => println(s"Hi Alice! $p")
        case p @ Person("Bob", 29, a @ Address(street, city, country)) =>
        println(s"Hi ${p.name}! age ${p.age}, in ${a.city}")
        case p @ Person(name, age, _) =>
      println(s"Who are you, $age year-old person named $name? $p")
  }
}

    }

我想知道何时使用构造函数模式

case Person("Alice", 25, address) => //some action here

以及何时使用变量绑定模式

case p @ Person("Alice", 25, address) //some action here

在模式匹配方面，我总是很困惑。

安德烈亚斯·纽曼（Andreas Neumann）

构造函数与提取器

在大多数情况下，您称为构造函数的模式称为Extractor或Deconstructor。正如它通过调用的方法可以看到的那样，它就像一个反向的构造函数unapply。

如果它出现在右侧或外侧，pattern match则就像您指出的Constructor。

回答

@仅用于pattern matching将解构的实体绑定到变量。目的是提供捕获整个表达式的选项，并且仍然能够在以后的步骤中使用提取的值。

因此，总会有一种不需要使用的方式来排列代码，@但它可以大大提高可读性。

例子

的使用示例@是：您想向所有名称早于“ 21”的名为“爱丽丝”的人发送邮件，但该地址不是重要的选择标准。

case p @ Person("Alice", age, _) if age > 21 => storePersonForMailing(p)

在这里，模式匹配通过强调用于选择的值来清楚地表明您的意图，并且由于以后需要发送邮件的地址时，丢弃它不是一个好主意。

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。

编辑于2021-06-18

我来说两句

0条评论

登录后参与评论

来自分类Dev