Scala - 这个 map + case 语法是什么？

Question

我似乎无法找到关于此语言功能的更多信息，您可以在其中将 case 放入 map 中，如下所示:

   val sVersion = CrossVersion.partialVersion(scalaVersion)
      .map { case (major:Long, minor: Long) => s"_$major.$minor" } getOrElse ""

我已经开始使用这种语法，但它叫什么，我在哪里可以找到更多相关信息？

Answer 1

I've been starting to use this syntax, but what is it called […]

它的正式名称是模式匹配匿名函数。 Scala 社区有时也将其称为部分函数文字。

[…] and where can I find more information on it?

Scala 编程语言中所有事物的最终真相来源是 Scala Language Specification (aka SLS) .您会注意到我已经链接到规范的 2.13 版——不幸的是，Scala 3 的单一综合规范尚未发布。

参见 Scala Language Specification 8.5 Pattern Matching Anonymous Functions对于所有血腥的细节。简单地说，表达式

{
  case p1 => e1
  case p2 => e2
  // …
  case pn => en
}

相当于

(x1: S1, x2: S2, /* … */, xn: Sn) => (x1, x2, /* … */, xn) match {
  case p1 => e1
  case p2 => e2
  // …
  case pn => en
}

前提是结果类型是SAM-convertible至 FunctionN[S1, S2, /* … */, Sn, R] , 或者作为特殊情况 PartialFunction1[S1, R] (这就是名称​​部分函数文字的来源。)

在 Scala 3 中，有一个新特性可以使这段代码更加简洁:很长一段时间以来，Scala 设计者都希望统一元组和参数列表。换句话说，他们想让 Scala 中的方法只接受一个参数，而这个参数就是一个元组。不幸的是，事实证明 a) 这极大地破坏了向后兼容性，b) 极大地破坏了平台互操作性。

现在，Scala 3 是一个忽略问题 a) 的机会，但你不能忽略问题 b)，因为 Scala 的主要设计目标之一是与底层主机平台(例如， .NET 在现在废弃的 Scala.NET 的情况下，ECMASCript/HTML5/DOM/WebAPI 平台在 Scala.js 的情况下， native 操作系统在 Scala-native 的情况下，或 Java 平台(JRE， JDK、JVM、J2SE、J2EE、Java、Kotlin、Clojure 等)在 Scala-JVM 的情况下)。

然而，Scala 的设计者设法找到了一个折衷方案，其中参数和元组不是一回事，但是参数可以很容易地转换为元组，而元组也可以很容易地转换为参数。

这叫做 Parameter Untupling , 它基本上意味着 FunctionN[S1, S2,/* … */, Sn, R] 类型的函数可以自动转换为 Function1[(S1, S2,/* … */, Sn), R] 是 Function1[TupleN[S1, S2,/* … */, Sn], R] 的语法糖。/p>

简单来说，

(p1: S1, p2: S2, /* … */, pn: Sn) => e: R

可以自动转换为

(x: (S1, S2, /* … */, Sn)) => {
  val p1: S1 = x._1
  val p2: S2 = x._2
  // …
  val pn: Sn = x._n

  e
}

这样，您的代码将如下所示:

val sVersion = CrossVersion.partialVersion(scalaVersion)
  .map { (major: Long, minor: Long) => s"_$major.$minor" } getOrElse ""

---

注意:遗憾的是，目前还没有完整的 Scala 3 规范。有部分 Language Reference ，但是它只描述了与 Scala 2 的区别。因此，您通常必须在 SLS 和 Scala 3 文档之间来回切换。