Why does Scala evaluate the argument for a call-by-name parameter if the method is infix and right-associative?

后端 未结 2 374
别跟我提以往
别跟我提以往 2021-01-17 16:47

As I understood call-by-name parameters of a method, the corresponding argument expression will not be evaluated when passing it to the method, but only when (a

相关标签:
2条回答
  • 2021-01-17 17:20

    It's a bug. An old one, at that.

    See SI-1980 and PR #2852.

    The linked pull request added a compiler warning when using the -Xlint flag:

    <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
                 ^
    
    0 讨论(0)
  • 2021-01-17 17:40

    By-name arguments are evaluated whenever they are mentioned. The spec says that right-associative operator method calls are evaluated like this:

    a op_: b
    

    desugars to:

    { val someFreshName = a; b.op_:(someFreshName) }
    //                   ↑↑↑
    // Eval happens here ↑↑↑
    
    0 讨论(0)
提交回复
热议问题