Was ist ein "Maximaler Sub-Ausdruck" in der Scala 2.8 Spezifikation §6.26.5 Eta Expansion?

Question

In Scala 2.8 language specification, §6.26.5 Eta Expansion, es besagt, dass wir einen maximalen Unterausdruck benötigen, jedoch keine Definition davon gefunden werden kann. Kann jemand das klären?

Answer 1

Beachten Sie Folgendes:

def list1 = { println("1st list!"); List(1, 2, 3) } 
def list2 = { println("2nd list!"); List(4, 5) } 
def empty = { println("Empty string!"); "" } 

Und dann:

scala> val foo = (list1 ++ list2).foldLeft(empty) _ 
Empty string! 
1st list! 
2nd list! 
foo: ((String, Int) => String) => String = <function1> 

Hier (list1 ++ list2).foldLeft(empty) ist der Ausdruck der Methodentyp und list1 ++ list2 und empty sind seine maximale Unterausdrücke, die ihr gerade buchstäblich größte konstituierende Ausdrücke. Wir verwenden _, um eine Erweiterung zu erzwingen, aber in einigen Kontexten wäre das nicht notwendig.

Es macht Sinn, dass wir würden list1 ++ list2 nicht wollen, jedes Mal wenn wir die Funktion foo verwenden, zum Beispiel ausgewertet werden, und das ist, was die in §6.26.5 beschriebenen Umwandlung erreicht-es stellt sicher, dass die Unterausdrücke ist einmal bewertet und gespeichert, bevor die Funktion erstellt wird.

Wenn wir die REPL mit -print angefangen hatte, würden wir die folgende (umformatiert für Klarheit) gesehen haben:

$read$$iw$$iw.this.foo = { 
    <synthetic> val eta$0$1: String = $line5.$read$$iw$$iw.empty(); 
    <synthetic> val eta$1$1: List = $line3.$read$$iw$$iw.list1().++(
    $line4.$read$$iw$$iw.list2(), 
    immutable.this.List.canBuildFrom() 
).$asInstanceOf[List](); 
    { 
    (new anonymous class anonfun$1(eta$0$1, eta$1$1): Function1) 
    } 
}; 

Wenn Sie sich fragen, jemals, was genau ein Unterausdruck in einem bestimmten darstellt Situation, dies ist eine einfache Möglichkeit zu überprüfen - nur nach den Zeilen beginnend mit <synthetic> val suchen.