关于不可变类和可变类
所谓不可变类,是指当创建了这个类的实例后,就不允许修改它的属性值。在JDK的基本类库中,所有基本类型的包装类,如Integer和Long类,都是不可变类,java.lang.String也是不可变类。以下代码创建了一个String对象和Integer对象,它们的值分别为“Hello”和 10,在程序代码中无法再改变这两个对象的值,因为Integer和String类没有提供修改其属性值的接口。
String s=new String("Hello");
Integer i=new Integer(10);
用户在创建自己的不可变类时,可以考虑采用以下设计模式:
1..把属性定义为private final类型。
2.不对外公开用于修改属性的setXXX()方法。
public Name(String firstname, String lastname) {
3.只对外公开用于读取属性的getXXX()方法。
4.在构造方法中初始化所有属性。
5.覆盖Object类的equals()和hashCode()方法。在equals()方法中根据对象的属性值来比较两个对象是否相等,并且保证用 equals()方法判断为相等的两个对象的hashCode()方法的返回值也相等,这可以保证这些对象能正确地放到HashMap或HashSet集合中。
如果需要的话,提供实例缓存和静态工厂方法,允许用户根据特定参数获得与之匹配的实例。
例程11-9的Name类就是不可变类,它仅仅提供了读取sex和description属性的getXXX()方法,但没有提供修改这些属性的setXXX()方法。
例程11-9 Name.java
public class Name {
private final String firstname;
private final String lastname;
this.firstname = firstname;
this.lastname = lastname;
}
public String getFirstname(){
return firstname;
}
public String getLastname(){
return lastname;
}
public boolean equals(Object o){
if (this == o) return true;
if (!(o instanceof Name)) return false;
final Name name = (Name) o;
if(!firstname.equals(name.firstname)) return false;
if(!lastname.equals(name.lastname)) return false;
return true;
}
public int hashCode(){
int result;
result= (firstname==null?0:firstname.hashCode());
result = 29 * result + (lastname==null?0:lastname.hashCode());
return result;
}
public String toString(){
return lastname+" "+firstname;
}
}
假定Person类的name属性定义为Name类型:
public class Person{
private Name name ;
private Gender gender;
…
}
以下代码创建了两个Person对象,他们的姓名都是“王小红”,一个是女性,另一个是男性。在最后一行代码中,把第一个Person对象的姓名改为“王小虹”。
Name name=new Name("小红","王");
Person person1=new Person(name,Gender.FEMALE);
Person person2=new Person(name,Gender.MALE);
name=new Name("小虹","王");
person1.setName(name); //修改名字
与不可变类对应的是可变类,可变类的实例属性是允许修改的。如果把以上例程11-9的Name类的firstname属性和lastname属性的 final修饰符去除,并且增加相应的public类型的setFirstname()和setLastname()方法,Name类就变成了可变类。以下程序代码本来的意图也是创建两个Person对象,他们的姓名都是“王小红”,接着把第一个Person对象的姓名改为“王小虹”:
//假定以下Name类是可变类
Name name=new Name("小红","王");
Person person1=new Person(name,Gender.FEMALE);
Person person2=new Person(name,Gender.MALE);
name.setFirstname(" 小虹"); //试图修改第一个Person对象的名字
以上最后一行代码存在错误,因为它会把两个Person对象的姓名都改为“王小虹”。由此可见,使用可变类更容易使程序代码出错。因为随意改变一个可变类对象的状态,有可能会导致与之关联的其他对象的状态被错误地改变。
不可变类的实例在实例的整个生命周期中永远保持初始化的状态,它没有任何状态变化,简化了与其他对象之间的关系。不可变类具有以下优点:
l 不可变类能使程序更加安全,不容易出错。
l 不可变类是线程安全的,当多个线程访问不可变类的同一个实例时,无须进行线程的同步。
由此可见,应该优先考虑把类设计为不可变类,假使必须使用可变类,也应该把可变类尽可能多的属性设计为不可变的,即用final修饰符来修饰,并且不对外公开用于改变这些属性的方法。
在创建不可变类时,假如它的属性的类型是可变类型,在必要的情况下,必须提供保护性拷贝,否则,这个不可变类实例的属性仍然有可能被错误地修改。这条建议同样适用于可变类中用final修饰的属性。
例如例程11-10的Schedule类包含学校的开学时间和放假时间信息,它是不可变类,它的两个属性start和end都是final类型,表示不允许被改变,但是这两个属性都是Date类型,而Date类是可变类。
例程11-10 Schedule.java
import java.util.Date;
public final class Schedule{
private final Date start; //开学时间,不允许被改变
private final Date end; //放假时间,不允许被改变
public Schedule(Date start,Date end){
//不允许放假日期在开学日期的前面
if(start.compareTo(end)>0)
throw new IllegalArgumentException(start +" after " +end);
this.start=start;
this.end=end;
}
public Date getStart(){return start;}
public Date getEnd(){return end;}
}
尽管以上Schedule类的start和end属性是final类型的,但由于它们引用Date对象,在程序中可以修改所引用Date对象的属性。以下程序代码创建了一个Schedule对象,接下来把开学时间和放假时间都改为当前系统时间。
Calendar c= Calendar.getInstance();
c.set(2006,9,1);
Date start=c.getTime();
c.set(2007,1,25);
Date end=c.getTime();
Schedule s=new Schedule(start,end);
end.setTime(System.currentTimeMillis()); //修改放假时间
start=s.getStart();
start.setTime(System.currentTimeMillis()); //修改开学时间
为了保证Schedule对象的start属性和end属性值不会被修改,必须为这两个属性使用保护性拷贝,参见例程11-11。
例程11-11 采用了保护性拷贝的Schedule.java
import java.util.Date;
public final class Schedule {
private final Date start;
private final Date end;
public Schedule(Date start,Date end){
//不允许放假日期在开学日期的前面
if(start.compareTo(end)>0)throw new IllegalArgumentException(start +" after " +end);
this.start=new Date(start.getTime()); // 采用保护性拷贝
this.end=new Date(end.getTime()); // 采用保护性拷贝
}
public Date getStart(){return (Date)start.clone() ;} // 采用保护性拷贝
public Date getEnd(){return (Date)end.clone() ;} // 采用保护性拷贝
}
通过采用保护性拷贝,其他程序无法获得与Schedule对象关联的两个Date对象的引用,因此也就无法修改这两个Date对象的属性值。
Tips
如果Schedule类中被final修饰的属性所属的类是不可变类,就无须提供保护性拷贝,因为该属性所引用的实例的值永远不会被改变。这进一步体现了不可变类的优点。
分享到:
相关推荐
前言 nodejs中大量的api与流有关,曾经...后两种其实是对可读和可写流的应用。所以我想先聊聊可读流和可写流。 可读流 可读流有两种模式,并随时可以转换,我们可以通过监听可读流的事件来操作它。 两种模式(引用自n
实现bootstrap table可设置列宽和可拖动列宽 Bootstrap Table列宽拖动的方法 Bootstrap Table拖动改变列宽的方法 bootstrap-table 列宽动态拖拽改变宽度 BootStrap table实现表格行拖拽效果 bootstrap-table如何设置...
在有限补拓扑空间和可数补拓扑空间的基本性质的基础上对他们子集的导集、闭集、内部和边界进行讨论,求出了有限补拓扑空间的子集在有限和无限的情况下的导集、闭集、内部和边界,及可数补拓扑空间的子集在可数和不可...
不可变的 Python的不可变映射类型。 基础数据结构是在Clojure,Scala,Haskell和其他功能语言中使用的哈希数组映射树(HAMT)。 CPython 3.7中的contextvars模块中使用了此实现(有关更多详细信息,请参见和 )。 ...
基于不可分辨性和可分辨性关系的属性约简
利用卡诺定理证明了温度绝对零的不可及性。 因此,这种不可实现性不同于热力学第三定律的普朗克-费-米陈述,即熵在T = 0时消失。 结果表明,等温压缩率KT通常大于绝热压缩率Ks,并且在低温极限时差KT-Ks消失。
功能性,可组合,不变和可管理的promise序列,可自动处理Promise解决方案。 0.8kb压缩并GZIP压缩。 受到同名功能的启发。 目录 要求 pipeP没有依赖项,并且作为UMD模块导出,因此它应该在任何地方都可以使用。 但是...
使用LIME和SHAP覆盖时间序列模型的可解释性,以及与自然语言处理相关的任务,如文本分类,ELI5的情感分析和不证明。本书以使用CAPTUM框架展示特征归因、神经元归因和激活归因的复杂模型分类、类回归神经网络和深度...
帮助类的目的是为了提高代码的可重用性和可维护性,避免重复编写相似的功能代码。 帮助类通常被设计为无状态的,也就是说它们不保存任何数据状态,只负责执行特定的功能。帮助类可以存在于单独的类文件中或者作为一...
Java中的String是可变字符串还是不可变字符串? 答:String是不可变字符串,一旦创建就不可更改。 Java中的四种访问修饰符分别是什么,并描述其作用? 答:四种访问修饰符分别是public、protected、default、...
国际植保组织 不可变- with s一起使用with而不是setter 静态类型-您的工具喜欢它可克隆-没有参考共享可序列化-JSON,数组和字符串―自动生成的普通PHP对象。 :shield: 在其最严格的级别上验证lib的源代码及其生成的...
1.版本:matlab2014/2019a,内含运行结果,不会运行可私信 2.领域:智能优化算法、神经网络预测、信号处理、元胞自动机、图像处理、路径规划、无人机等多种领域的Matlab仿真,更多内容可点击博主头像 3.内容:标题...
利用椭圆曲线上的双线性对,构造一个新的可验证加密签名方案,该方案在随机预言模型下具有不可伪造性和不透明性。由于该方案只有两次对运算,所以运算效率很高。可验证加密签名常用来构造优化公平交换协议,在电子...
帮助类的目的是为了提高代码的可重用性和可维护性,避免重复编写相似的功能代码。 帮助类通常被设计为无状态的,也就是说它们不保存任何数据状态,只负责执行特定的功能。帮助类可以存在于单独的类文件中或者作为一...
帮助类的目的是为了提高代码的可重用性和可维护性,避免重复编写相似的功能代码。 帮助类通常被设计为无状态的,也就是说它们不保存任何数据状态,只负责执行特定的功能。帮助类可以存在于单独的类文件中或者作为一...
帮助类的目的是为了提高代码的可重用性和可维护性,避免重复编写相似的功能代码。 帮助类通常被设计为无状态的,也就是说它们不保存任何数据状态,只负责执行特定的功能。帮助类可以存在于单独的类文件中或者作为一...
帮助类的目的是为了提高代码的可重用性和可维护性,避免重复编写相似的功能代码。 帮助类通常被设计为无状态的,也就是说它们不保存任何数据状态,只负责执行特定的功能。帮助类可以存在于单独的类文件中或者作为一...