对于不可变类,我们在构造器中或方法返回引用对象时要考虑进行保护性拷贝。
下面是一个不安全的例子:
public final class Period{
private final Data start;
private final Date end;
public Period(Date start, Date end){
//此处省略参数有效性检验。。。
this.start = start;
this.end = end;
}
public Date start(){ return start; }
public Date end(){ return end; }
}
这个类会遭到像下面这样的攻击:
Date s = new Date();
Date e = new Period();
p = new Period(s, e);
e.setYear(78); //改变了类内的对象!
//或者:
p.end().setYear(78); //由于方法直接返回对象的引用,所以可以直接调用setYear改变对象的值
出现上面的问题的一部分原因是Date类已经过时了,现在建议使用Instant(或LocalDateTime)代替Date。
更多的时候,对于不可变类我们要进行保护性拷贝。改进后的代码如下:
public final class Period{
private final Data start;
private final Date end;
public Period(Date start, Date end){
//此处省略参数有效性检验。。。
this.start = new Date(start.getTime());
this.end = new Date(end.getTime());
}
public Date start(){
return new Date(start.getTime());
}
public Date end(){
return new Date(end.getTime());
}
}
在构造器和getter方法中我们使用了保护性拷贝,也就是不直接使用对象,而是使用它们的拷贝,即是创建新的对象。如果返回的是数组,也有必要进行保护性拷贝。
如果Date也是不可变的,那么就没有必要进行保护性拷贝了。我们应该尽量使用不可变对象作为对象内部的组件。