这些语句有什么区别?
val numbers = List(1, 2, 3, 4)
numbers map println
// vs.
numbers map (x => println(x))
map 将转换单个元素的函数作为其参数。然后map 会将此函数应用于每个元素并返回一个包含转换后元素的集合。 (顺便说一句,这就是为什么这段代码没有意义的原因:a)map 的返回值被忽略,b)println 总是返回Unit,所以你最终会得到一个Units 的列表. foreach 是在这里使用的正确方法。)
在您的第二个示例中,您将 λ(一个匿名的一等函数对象)传递给 map。
在第一个示例中,究竟你传递给map的是什么?看起来您正在传递一个方法,但那不可能:a) map 接受一个函数,而不是一个方法,并且 b) 方法不是对象,所以您只是 不能 传递反正他们在身边。您必须以某种方式将方法转换和/或包装到函数中。
在您的第二个示例中,您非常明确地这样做:您有一个调用该方法的函数。第一个例子更加隐含。 Scala 有一个叫做 η-expansion 的特性,它可以让你“提升”一个方法来运行,这会将方法部分应用到它的隐式 this 参数,但不绑定它的其他(常规)参数。
其语法是无处不在的下划线:foo.bar _ 表示“采用foo 的方法bar,将其this 绑定到foo 并将其转换为函数”。在这种特殊情况下,您使用println,将其this 绑定到顶级REPL 上下文对象(这并不重要,因为println 实际上并不关心它的this,所以使用它像一个过程)并把它变成一个函数。
但是等等,没有下划线?这是正确的。如果 Scala 编译器可以确定您实际上不想调用该方法,而是将其包装到一个函数中(即,当您不传递参数列表时,该方法需要一个参数列表,并且上下文需要一个与方法的类型兼容的类型),那么 Scala 将为您执行 隐式 η-expansion。
那么,让我们回到你的问题:
这些语句有什么区别?
嗯,一方面,差异是我上面描述的:第一个示例使用隐式 η 展开,第二个示例使用显式 λ。 OTOH,没有区别:他们都从 println 方法创建一个函数,第二个只是以更复杂的方式。
Scala 怎么知道 println 会重复处理每个数量的 numbers?
它没有。 a) “处理每个数字”的不是 println,而是 map,并且 b) Scala 什么都不知道,这就是 map 的编写方式。
非常简单,map 看起来像这样:
sealed trait MyList[+T] {
def map[U](function: T ⇒ U): MyList[U]
def foreach(procedure: T ⇒ Unit)
}
case object EmptyList extends MyList[Nothing] {
// mapping the empty list returns the empty list
def map[U](function: Nothing ⇒ U) = EmptyList
def foreach(procedure: Nothing ⇒ Unit) = ()
}
final case class ListCell[+T](first: T, rest: MyList[T]) extends MyList[T] {
// mapping a non-empty list returns the result of transforming the first
// element of the list and recursively mapping the rest of the list
def map[U](function: T ⇒ U) = ListCell(function(first), rest map function)
def foreach(procedure: T ⇒ Unit) = { procedure(first); rest foreach procedure }
}
下面是我们如何使用这个简单的小列表:
val list: MyList[Short] = ListCell(1, ListCell(2, ListCell(3, EmptyList)))
list map (1+)
// => ListCell(2, ListCell(3, ListCell(4, EmptyList)))
list map(_.toString)
// => ListCell(1, ListCell(2, ListCell(3, EmptyList)))
list map println
// 1
// 2
// 3
// => ListCell((), ListCell((), ListCell((), EmptyList)))
// here you can see the useless list of Units that is returned
list foreach println
// 1
// 2
// 3
// foreach just returns nothing