call-by-name:
我们用调用and(true,loop),会发现会陷入死循环。原因是两个参数都是做 call-by-value操作的,那么它就一直找一个loop值,就这样一直找下去。所以就无限期的循环。
突然发现又陷入死循环。原因是:第二个参数是call-by-name,在一开始的时候,不会去用它,知道真正调
执行对象的方法后者返回对象的属性,对象的句柄(引用)传递给调用方法,所有的操作都是通过这个句柄作用在这
个句柄指向的对象上,并没有制作副本。这样方法调用结束后,这个对象的状态是改变过的,不可恢复的
call-by-value:制作传入的参数的一个副本,操作都是对这个副本进行的(基本类型都是call by value)
1、var,val和def的区别
首先看看下面定义的x,y,z:
class sheet1 {
val x = 1
var y = 2
def z = 3
}
通过编译如下:
public class sheet1
{
private final int x = 1;
private int y = 2;
public int x()
{
return this.x; }
public int y() { return this.y; }
public void y_$eq(int x$1) { this.y = x$1; }
public int z() { return 3;
}
}
三者的区别:
1、var和val都会做call-by-value操作,而val 是用final修饰,也就是val是不可以改变的。
2、def是做call-by-name操作的。
3、def和val都是不可以改变的。
再如下:
class sheet1 {
//死循环
def loop:Boolean = loop
//会做call-by-value,下面语句block住
val x = loop
var y = loop
//def 是call-by-name,当真正用到z的时候才去寻根
def z = loop
}
2、函数定义中call-by-value和call-by-name
用函数实现and,有如下定义:
def and(x: Boolean, y: Boolean) =
if (x) y else false
<pre name="code" class="plain">def loop:Boolean = loop
我们用调用and(true,loop),会发现会陷入死循环。原因是两个参数都是做 call-by-value操作的,那么它就一直找一个loop值,就这样一直找下去。所以就无限期的循环。
我们把这个函数变成call-by-name操作,如下:
def and(x: Boolean, y: => Boolean) =
if (x) y else false
def loop:Boolean = loop
我们试一下 :and(false, loop)
scala> and(false, loop)
res0: Boolean = false<span style="font-weight: bold;">
</span>
发现可以正常运行,返回的是false,那么我们在试一下
and(true, loop)
突然发现又陷入死循环。原因是:第二个参数是call-by-name,在一开始的时候,不会去用它,知道真正调
用的时候,就开始寻根了
注意:此刻y的定义为:y: => Boolean