这可能听起来像一个新手的错误,但我做了很多。在将惰性求值块或值传递给函数时,如果我忘记某种方式使该函数的相应参数变为lazy(通过名称传递/调用),则会导致一些混淆,因为它会强制进行评估。非常小的ex;
lazy val a = {println("a");1}
def myfunc(b:Int){println("hello")}
myfunc(a);
输出:
a
Hello
所以我的问题是,这个问题是否有任何编译器帮助?(标志等)或者这是我应该注意的一种事情?
您可以将问题移到类型系统中。
lazy val
s,而是......class Lazy[A](body: => A) {
lazy val value = body
}
object Lazy {
def apply[A](body: => A) = new Lazy[A](body)
}
现在您将获得编译器的一些帮助:
val a = Lazy {
println("a")
1
}
def myfunc(b: Lazy[Int]) = {
println("hello")
}
myfunc(a) // ok, and it doesn't print "a" since it never uses it
// myfunc(42) // won't compile
def myfunc2(b: Int) = b + 42
// myfunc2(a) // does not compile
myfunc2(a.value) // ok, explicitly evaluate - or consider refactoring myfunc2