亲爱的斯卡拉，
scala> val f1: ((Int, Int)) => Int = { case (a, b) => a + b }
f1: ((Int, Int)) => Int = <function1>
scala> val f2: (Int, Int) => Int = { case (a, b) => a + b }
f2: (Int, Int) => Int = <function2>
啊？!
scala> f1(1, 2)
res2: Int = 3
好的...
scala> def takesIntInt2Int(fun: (Int, Int) => Int) = fun(100, 200)
takesIntInt2Int: (fun: (Int, Int) => Int)Int
scala> def takesTuple2Int(fun: ((Int, Int)) => Int) = fun(100, 200)
takesTuple2Int: (fun: ((Int, Int)) => Int)Int
scala> takesIntInt2Int(f2)
res4: Int = 300
scala> takesIntInt2Int(f1)
<console>:10: error: type mismatch;
found : ((Int, Int)) => Int
required: (Int, Int) => Int
takesIntInt2Int(f1)
^
scala> takesTuple2Int(f1)
res6: Int = 300
scala> takesTuple2Int(f2)
<console>:10: error: type mismatch;
found : (Int, Int) => Int
required: ((Int, Int)) => Int
takesTuple2Int(f2)
对。现在，看看这个!
scala> takesTuple2Int { case (a, b, c) => a + b + c }
<console>:9: error: constructor cannot be instantiated to expected type;
found : (T1, T2, T3)
required: (Int, Int)
takesTuple2Int { case (a, b, c) => a + b + c }
^
scala> takesIntInt2Int { case (a, b, c) => a + b + c }
<console>:9: error: constructor cannot be instantiated to expected type;
found : (T1, T2, T3)
required: (Int, Int)
takesIntInt2Int { case (a, b, c) => a + b + c }
喜欢， srsly ? o_O 两者都导致
required: (Int, Int)错误。
为什么然后使用
case在这样的匿名函数中？
请您参考如下方法:
请参阅 Scala 引用 ( http://www.scala-lang.org/files/archive/nightly/pdfs/ScalaReference.pdf ) 的第 8.5 节。表达式 { case (a, b) => a + b }根据预期的类型进行不同的解释。在您对 f1 的定义中它创建了一个 PartialFunction[(Int, Int), Int]被转换为 Function1[(Int, Int), Int] ，即 ((Int, Int)) => Int而在 f2 的定义中它创建了一个 Function2[Int, Int, Int] ，即 (Int, Int) => Int .
这两种解释与您通常在匿名函数中使用 case 的两种情况有关。
一种用于编写接受元组并处理其组件的匿名函数，就像您对 f1 所做的那样。 .一个例子是你传递给 foreach 的函数或 map Map 上的方法，例如Map(1 -> 2, 3 -> 4) map { case (k, v) => k + v } .
第二个是编写一个匿名函数来执行 match在它的唯一参数上。您的 f2正在这样做，但没有任何有用的方式。一个例子是匿名函数传递给 collect ，例如List(1, -2, 3) collect { case x if x > 0 => -x } .
请注意，两者可以结合使用，即 f1 之类的函数也可以做复杂的匹配。例如，Map(1 -> 2, 3 -> 4) collect { case (k, v) if k < 2 => v } .
编辑:res2因为元组而起作用。如果应用程序不进行类型检查，编译器将在失败之前尝试将 args 包装在元组中。
但这只是针对应用程序进行的尝试；正如您所发现的，这不是一般的转换。它不会尝试升级值 Function2[A, B, C]至 Function1[(A, B), C] .
