当我们使用可变数据类型时,会出现一定风险,如下面这个例子:
第一个函数是对数组元素的求和,第二个函数是对数组元素绝对值求和。再看主函数,乍一看似乎没什么问题。但如果仔细看主函数后两行的代码,或者运行一下,你会发现两个和是一样的。对有负数的数组来说也是如此,这肯定是出现了问题,但是哪里错了呢。
这实际上就是使用可变类型的弊端。我们看第二个函数会发现它的求和利用了第一个函数,它挨个把数组元素都替换成了绝对值,数组发生了变换。它是个可变数据类型,它被改变了,所以后面运行最后一行求和,求的不再是原来的数组,而是现在这个绝对值数组。
这种错误不容易被发现,乍一看程序没什么问题,但数组的值却悄悄地改变了。
那么我们该如何避免这种错误的发生呢?这就要用到防御式拷贝了。
通过防御式拷贝,给客户端返回一个全新的对象。
如下面这个例子
右下角倒数第二行new了一个Period类,有两个属性start和end。
倒数第一行改变了end,它同时也改变了Period的属性end。但我们本意并不想要Period也不改变,如果利用防御式拷贝,可以这样解决:
修改两个方法,使得他们返回一个全新的对象,用户得到了一样的值,但这次他们不能再改变Period本身的属性了,因为他们改变的是全新的对象。