Question

在Scala中可以通过多种方式定义函数，这会导致混淆何时需要确切的函数参数类型。我通常从最简单的可能定义开始，然后向下工作直到编译器错误消失。我宁愿真正理解这是如何运作的。

例如：

_ + _

(x, y) => x + y

(x: Int, y: Int) => x + y

def sum(x: Int, y: Int) = x + y // as pointed out, this is a method,
                                // which not a function

指向文档链接的奖励积分。

Answer 1

有一些极端情况如下：必须明确键入递归方法，但通常经验法则如下：类型必须来自某个地方。

它们来自参考部分：

val function: (Int, Int) => Int = _ + _

或来自对象部分：

val function = (x: Int, y: Int) => x + y

并不重要。（在斯卡拉！）

我知道你的问题是关于函数的，但是这里有一个类似的例子来说明Scala的类型推断：

// no inference
val x: HashMap[String, Int] = new HashMap[String, Int]()
val x: HashMap[String, Int] = new HashMap[String, Int]

// object inference
val x: HashMap[String, Int] = new HashMap()
val x: HashMap[String, Int] = new HashMap
val x: HashMap[String, Int] = HashMap() // factory invocation

// reference inference
val x = new HashMap[String, Int]()
val x = new HashMap[String, Int]
val x = HashMap[String, Int]() // factory invocation

// full inference
val x = HashMap("dog" -> 3)

编辑根据要求，我添加了高阶函数案例。

def higherOrderFunction(firstClassFunction: (Int, Int) => Int) = ...

可以像这样调用：

higherOrderFunction(_ + _) // the type of the firstClassFunction is omitted

但是，这不是一个特例。明确提到了引用的类型。以下代码说明了一个类似的示例。

var function: (Int, Int) => Int = null
function = _ + _

这大致等同于高阶函数情况。

Answer 2

您的第四个示例是方法，而不是函数（请参阅this question）。您必须指定方法的参数类型。除非方法是递归的，否则可以推断出方法的返回类型，在这种情况下，必须明确指定它。

Scala：何时需要函数参数类型？

2 个答案: