Was sind in Scala die Regeln für die Herstellung von Verschlüssen mit Unterstrichen?

Question

Zuerst hatte ich geglaubt, dass Unterstrichen mit Schließungen zu machen (zB println _) für die Verwendung mit einem Pfeil nur eine Abkürzung waren (zB x => println x), aber ich habe gerade erfahren, vor kurzem, dass Sie auch die folgenden Aktionen durchführen:

def f(a: Int, b: Int) = a + 2 * b 
List(1, 2, 3).reduce(f _) 

Gegeben Meine bisherigen Annahmen, f _ sieht aus wie eine Schließung, die genau ein Argument akzeptiert und genau ein Argument an f übergibt. Ich nahm an, dass es mir sagen würde, dass es nicht kompilieren konnte, weil f zwei Argumente erwartet, und reduce sollte eine Funktion mit zwei Argumenten erwarten. Aber es funktioniert, als ob ich geschrieben hätte:

def f(a: Int, b: Int) = a + 2 * b 
List(1, 2, 3).reduce((x, y) => f(x, y)) 

Was geht hier vor? Welche Regeln gelten für das Erstellen von Closures mit Unterstrichen?

Answer 1

Nichts besonderes los. Methode reduce nimmt eine Funktion, die zwei Int s und produziert eine Int, so dass es mit einem f funktioniert gut funktioniert. Beachten Sie, dass, wenn Sie sagen, f _, die tatsächlich zu x => f x erweitert (oder, im Falle von zwei Parametern wie hier, (x, y) => f(x, y)). Sie können auch einfach f angeben, die dann direkt ohne den zusätzlichen anonymen Funktions-Wrapper verwendet werden.

Umwandlung einer Methode in eine Funktion f _ heißt eta-expansion (vollständige Offenlegung: Ich schrieb diesen Artikel). Der Unterschied ist subtil; Funktion ist ein Wert, während eine Methode eine Methode ist, die Sie für ein Objekt aufrufen, für das sie definiert ist, z. myObject.myMethod. Funktion kann eigenständig sein, in Sammlungen etc. gehalten werden. Definieren Sie Ihre Methode f direkt als eine Funktion wäre oder, mit Typ Inferenz, val f = (a: Int, b: Int) => a + b.

BTW Ich sehe nicht, wie das eine Schließung ist.