Tại sao Scala đánh giá đối số cho tham số gọi theo tên nếu phương thức là infix và right-associative?

Question

Khi tôi hiểu các tham số call-by-name của một phương thức, biểu thức đối số tương ứng sẽ không được đánh giá khi chuyển nó sang phương thức, nhưng chỉ khi (và nếu) giá trị của tham số được sử dụng trong thân phương thức. Tuy nhiên, trong ví dụ sau đây, điều này chỉ đúng trong hai cuộc gọi phương thức đầu tiên, nhưng không phải trong ví dụ thứ hai, mặc dù nó chỉ là một biến thể đơn thuần của trường hợp thứ hai !?

Tại sao biểu thức đối số được đánh giá trong cuộc gọi phương thức thứ ba?

(Tôi thử mã này sử dụng 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-tên đối số được đánh giá bất cứ khi nào họ được đề cập. The spec says mà phải kết hợp lời gọi phương thức điều hành được đánh giá như thế này:

a op_: b 

desugars tới:

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

Answer 2

Đó là một lỗi. Một cái cũ, lúc đó.

Xem SI-1980 và PR #2852.

Yêu cầu kéo liên kết thêm một cảnh báo trình biên dịch khi sử dụng -Xlint cờ:

<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 
      ^