使參數變懶而不更改函數簽名？

Question

已知：

scala> def f(x: Int, y: Int): Int = 
    | if(x == 55) x else y 
f: (x: Int, y: Int)Int 

scala> def yFn: Int = {println("y"); 42} 
yFn: Int 

調用f(55, yFn)導致f的評價，由y打印輸出中。

scala> f(55, yFn) 
y 
res0: Int = 55 

f的簽名如何可以保持不變：

(Int, Int) => Int

但y懶洋洋地評估沒有使y一個by-name參數？

Answer 1

談到f成宏將有效地做你想要什麼：

import language.experimental.macros 
import scala.reflect.macros.whitebox.Context 

object Macros { 
    def f(x: Int, y: Int): Int = macro fImpl 

    def fImpl(c: Context)(x: c.Expr[Int], y: c.Expr[Int]): c.Expr[Int] = { 
    import c.universe._ 
    c.Expr(q"if ($x == 55) $x else $y") 
    } 
} 

f的簽名具有Int，不=> Int，但調用f(55, yFn)將僅僅通過if (55 == 55) 55 else yFn所取代，這不會評價yFn。

從這裏你可以看到，任何宏沒有看到它的參數結構有效地使用它們的名稱;如果你想確保一次參數被評估一次，你需要將它分配給一個局部變量：q"{ val x = $x; if (x == 55) x else $y }"。

但是，如果你想f轉換成對象，而不是一個方法，這將丟失，因爲生成的類的apply方法不會是一個宏（它不能;一個宏不能實現抽象方法（或者覆蓋具體的方法））。