Warum erstellt Scala beim Entpacken eines Tupels ein neues Tupel?

8

Warum benutzt dieser Scala-Code:

%Vor%

erzeuge den folgenden Bytecode für bar() , der ein neues Tuple2 erstellt, übergibt das Tuple2 von foo() an es und holt dann die Werte heraus?

%Vor%

Liegt das daran, dass der Compiler nicht überprüft, dass der Rückgabewert foo() s kein Tupel ist?

Wird die JVM die Konstruktion trotzdem optimieren?

    
Blair Zajac 19.11.2011, 07:30
quelle

2 Antworten

4

Dies scheint gemäß der Spezifikation (in 4.1 Value Declarations und Definitionen - leicht umformatiert für Stackoverflow-Anzeige:

  

Wertdefinitionen können alternativ ein Muster (§8.1) als linke Seite haben. Wenn p ein anderes Muster als ein einfacher Name oder ein Name gefolgt von einem Doppelpunkt und einem Typ ist, wird die Wertdefinition val p = e folgendermaßen erweitert:

     
  1. Wenn das Muster p die Variablen x1, . . . , xn gebunden hat, wo n >= 1 :   Hier ist $x ein neuer Name.
    2.   
%Vor%

Die Tupelerzeugung erfolgt also in der Parser-Phase. Also setzt val (i, s) = (1, "s") am Ende der Parser-Phase auf:

%Vor%

Dies bei diesem einfachen Test an einer Million Iterationen messen:

%Vor%

ergibt

%Vor%

und mit -Optimize flag:

%Vor%     
huynhjl 19.11.2011, 17:05
quelle
4

Es scheint wie eine verpasste Optimierungsmöglichkeit in scalac.

Der relevante Teil des Compilers ist Entfernt # caseClassUnapplyReturnValue , wodurch TreeDSL#SOME aufgerufen wird, um Code zum Erstellen eines neuen TupleN

zu generieren     
retronym 19.11.2011 08:14
quelle

Tags und Links

Django: Verwenden von Annotate, Count und Distinct in einem Queryset git push nach git filter-branch abgelehnt