意外的 Scala 模式匹配语法

发布于 2024-09-20 00:05:27 字数 533 浏览 7 评论 0原文

我有一个如下所示的 Scala 元组列表：

val l = List((1,2),(2,3),(3,4))

我想将其映射到 Int 列表中，其中每个项目都是相应元组中 Int 的总和。我也不想使用 x._1 表示法，所以我通过像这样的模式匹配解决了问题

def addTuple(t: (Int, Int)) : Int = t match { 
    case (first, second) => first + second 
}
var r = l map addTuple

这样做，我按预期获得了列表 r: List[Int] = List(3, 5, 7) 。此时，几乎是偶然，我发现我可以使用如下所示的缩写形式获得相同的结果：

val r = l map {case(first, second) => first + second}

我在我拥有的文档中找不到对此语法的任何引用。这正常吗？我错过了一些微不足道的事情吗？

原文

I had a List of Scala tuples like the following:

val l = List((1,2),(2,3),(3,4))

and I wanted to map it in a list of Int where each item is the sum of the Ints in a the corresponding tuple. I also didn't want to use to use the x._1 notation so I solved the problem with a pattern matching like this

def addTuple(t: (Int, Int)) : Int = t match { 
    case (first, second) => first + second 
}
var r = l map addTuple

Doing that I obtained the list r: List[Int] = List(3, 5, 7) as expected. At this point, almost by accident, I discovered that I can achieve the same result with an abbreviated form like the following:

val r = l map {case(first, second) => first + second}

I cannot find any reference to this syntax in the documentation I have. Is that normal? Am I missing something trivial?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

默嘫て 2024-09-27 00:05:36

方法 map 接受一个函数。在第一个示例中，您创建一个函数，将其分配给一个变量，然后将其传递给 map 方法。在第二个示例中，您直接传递创建的函数，省略将其分配给变量。你也在做同样的事情。

回复收藏 0 原文

寄意 2024-09-27 00:05:35

<代码> {案例（第一，第二）=> First + Second} 被视为 PartialFunction 文字。请参阅“部分函数”部分中的示例：http://programming-scala.labs。 oreilly.com/ch08.html 或《Scala 编程》第 15.7 节。

回复收藏 0 原文

鸵鸟症 2024-09-27 00:05:33

请参阅语言参考的第 8.5 节“模式匹配匿名函数”。

匿名函数可以通过一系列情况来定义
<代码>{case p1 =>b1 ... case pn => bn }
显示为没有先前匹配的表达式。必须部分定义此类表达式的预期类型。对于某些 k > ，它必须是 scala.Functionk[S1, ..., Sk, R] 0，或 scala.PartialFunction[S1, R]，其中参数类型 S1, ..., Sk 必须完全确定，但结果类型 < code>R 可能未确定。

预期类型决定是否将其转换为 FunctionN 或 PartialFunction。

scala> {case x => x}  
<console>:6: error: missing parameter type for expanded function ((x0$1) => x0$1 match {
  case (x @ _) => x
})
       {case x => x}
       ^

scala> {case x => x}: (Int => Int)
res1: (Int) => Int = <function1>

scala> {case x => x}: PartialFunction[Int, Int]
res2: PartialFunction[Int,Int] = <function1>

See Section 8.5 of the language reference, "Pattern Matching Anonymous Functions".

An anonymous function can be defined by a sequence of cases
{case p1 =>b1 ... case pn => bn }
which appear as an expression without a prior match. The expected type of such an expression must in part be defined. It must be either scala.Functionk[S1, ..., Sk, R] for some k > 0, or scala.PartialFunction[S1, R], where the argument type(s) S1, ..., Sk must be fully determined, but the result type R may be undetermined.

The expected type deternines whether this is translated to a FunctionN or PartialFunction.

scala> {case x => x}  
<console>:6: error: missing parameter type for expanded function ((x0$1) => x0$1 match {
  case (x @ _) => x
})
       {case x => x}
       ^

scala> {case x => x}: (Int => Int)
res1: (Int) => Int = <function1>

scala> {case x => x}: PartialFunction[Int, Int]
res2: PartialFunction[Int,Int] = <function1>

回复收藏 0 原文

~没有更多了~