Warum wertet Scala das Argument für einen Call-by-Name-Parameter aus, wenn die Methode infix und rechtsassoziativ ist?

Question

Wie ich call-by-name Parameter einer Methode verstanden habe, wird der entsprechende Argumentausdruck nicht ausgewertet, wenn er an die Methode übergeben wird, sondern nur wenn (und falls) der Wert des Parameters im Methodenrumpf verwendet wird.

Im folgenden Beispiel gilt dies jedoch nur für die ersten beiden Methodenaufrufe, nicht aber für den dritten, obwohl es sich um eine einfache syntaktische Variante des zweiten Falles handeln sollte !?

Warum wird der Argumentausdruck im dritten Methodenaufruf ausgewertet?

(I getestet mit diesem Code Scala 2.11.7)

class Node(x: => Int) 

class Foo { 
    def :: (x: =>Int) = new Node(x) // a right-associative method 
    def !! (x: =>Int) = new Node(x) // a left-associative method 
} 

// Infix method call will not evaluate a call-by-name parameter: 
val node = (new Foo) !! {println(1); 1} 
println("Nothing evaluated up to here") 

// Right-associative method call will not evaluate a call-by-name parameter: 
val node1 = (new Foo).::({println(1); 1}) 
println("Nothing evaluated up to here") 

// Infix and right-associative method call will evaluate a call-by-name parameter - why?? 
val node2 = {println(1); 1} ::(new Foo) // prints 1 
println("1 has been evaluated now - why??") 

Answer 1

By-Name Argumente ausgewertet werden, wann immer sie genannt werden. The spec says dass rechts assoziativer Operator Methodenaufrufe wie folgt bewertet werden:

a op_: b 

desugars zu:

{ val someFreshName = a; b.op_:(someFreshName) } 
//     ↑↑↑ 
// Eval happens here ↑↑↑ 

Answer 2

Es ist ein Fehler. Ein alter, bei dem.

Siehe SI-1980 und PR #2852.

Die verknüpfte Pull-Anforderung hinzugefügt, um eine Warnung Compiler, wenn die -Xlint Flag verwendet:

<console>:13: warning: by-name parameters will be evaluated eagerly when called as a right-associative infix operator. For more details, see SI-1980. 
     def :: (x: =>Int) = new Node(x) // a right-associative method 
      ^