构造函数与提取器

Question

在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

我总是对模式匹配感到困惑？

Answer 1

构造函数与提取器

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

如果它出现在pattern match的右侧或外侧，那么就像您注意到Constructor一样。

答案

仅在@中使用

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

因此，总会有一种方法以您不需要使用@的方式排列代码，但它可以帮助您实现可读性。

实施例

@的使用示例是：您想要发送邮件给所有名为“Alice”的人，这些人的年龄大于“21”，但地址不是重要的选择标准。

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

这里的模式匹配通过强调您用于选择的值来清楚地显示您的意图，并且因为您稍后需要地址来发送邮件，所以放弃它不是一个好主意。

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

1 个答案:

构造函数与提取器

答案

实施例