《Java成神之路》-张洪亮 笔记
1.求值策略
在计算机科学中,求值策略是确定编程语言中表达式的求值的一组(通常确定性的)规则。求值策略定义何时和以何种顺序求值给函数的实际参数、什么时候把它们代换入函数、和代换以何种形式发生。
求值策略分为两大基本类,基于如何处理给函数的实际参数,分位严格的和非严格的。
2.严格求值
在“严格求值”中,函数调用过程中,给函数的实际参数总是在应用这个函数之前求值。多数现存编程语言对函数都使用严格求值。
在严格求值中有几个关键的求值策略是我们比较关心的,那就是传值调用(Call by value)、传引用调用(Call by reference)以及传共享对象调用(Call by sharing)。
- 传值调用(值传递)
- 在传值调用中,实际参数先被求值,然后其值通过复制,被传递给被调函数的形式参数。因为形式参数拿到的只是一个"局部拷贝",所以如果在被调函数中改变了形式参数的值,并不会改变实际参数的值。
- 传引用调用(引用传递)
- 在传引用调用中,传递给函数的是它的实际参数的隐式引用而不是实参的拷贝。因为传递的是引用,所以,如果在被调函数中改变了形式参数的值,改变对于调用者来说是可见的。
- 传共享对象调用(共享对象传递)
- 传共享对象调用中,先获取到实际参数的地址,然后将其复制,并把该地址的拷贝传递给被调函数的形式参数。因为参数的地址都指向同一个对象,所以我们称也之为"传共享对象",所以,如果在被调函数中改变了形式参数的值,调用者是可以看到这种变化的。
传共享对象调用和传值调用的过程几乎是一样的,都是进行"求值"、“拷贝”、“传递”。通常我们认为传共享对象调用是传值调用的特例
传值调用是指在调用函数时将实际参数复制
一份传递到函数中,传引用调用是指在调用函数时将实际参数的引用直接
传递到函数中。
例:
你有一把钥匙,当你的朋友想要去你家的时候,如果你直接把你的钥匙给他了,这就是引用传递。
这种情况下,如果他对这把钥匙做了什么事情,比如他在钥匙上刻下了自己名字,那么这把钥匙还给你的时候,你自己的钥匙上也会多出他刻的名字。
你有一把钥匙,当你的朋友想要去你家的时候,你复刻了一把新钥匙给他,自己的还在自己手里,这就是值传递。
这种情况下,他对这把钥匙做什么都不会影响你手里的这把钥匙。
3.Java中的求值策略
Java中的基本数据类型是值传递的,但java中的对象传递并不是引用传递,也是值传递
因为在将对象的地址传递过去之后其实会产生一个新的引用,但是仍然指向原来的对象,在方法调用完成之后,这个新的引用就会被销毁掉,所以java没有引用传递,只有值传递,传递对象就是传共享对象,穿共享对象又是传值的一种特殊形式
如果你给一个方法传递了一个对象,并修改了其中的值:
你复制了一把你家里的钥匙给到你的朋友,他拿到钥匙以后,并没有在这把钥匙上做任何改动,而是通过钥匙打开了你家里的房门,进到屋里,把你家的电视给砸了。
这个过程,对你手里的钥匙来说,是没有影响的,但是你的钥匙对应的房子里面的内容却是被人改动了。
如果你给一个方法传递了一个对象,但是这个你又重新new了一个对象:
你复制了一把钥匙给到你的朋友,你的朋友拿到你给他的钥匙之后,找个锁匠把他修改了一下,他手里的那把钥匙变成了开他家锁的钥匙。这时候,他打开自己家,就算是把房子点了,对你手里的钥匙,和你家的房子来说都是没有任何影响的。