第9讲相等、复制和视图.PDFVIP

第 9 讲 相等、复制和视图 9.1 对象契约 每个类都提供对象,而且继承类的全部方法。在所有的程序中，有以下两点特别重要, 即：测试相等的方法: public boolean equals(Object o) 和产生哈希码的方法: public int hashCode() 和超类的其他方法一样,这些方法也可以被忽略。我们将会在后面的一个关于图表类型 的讲义中看到，一个子类将是一个图表类型。这意味着子类应该遵从其超类的规约，所以子 类的一个对象可以被放在一个超类对象所要求的语境中，而且仍然能很正常地运行。 对象类的规约相当抽象，看起来可能难以理解，但是如果不遵从就会有不良的后果，而 且容易造成可怕的小错误。更糟的是，如果不理解这些规约和相应分枝,你很有可能把一些 缺陷弄进你的代码中，这些缺陷对程序会产生广泛的影响，如果不把主要程序重写，此缺陷 将难以消除。对象类的规约非常重要，常被称为“对象契约”。 在 Java API文件中的，这些契约可以在等价性和哈希码的方法规约中建立。声明如下： ·等价性必须定义一种等价关系――即：一种自反性的，对称性的，传递性的关系； ·等价性应该是一致的：对方法的重复调用能产生相同的结果，除非前后两次的主题改变了； ·对于非空参数 x ，x 为空时应该返回 false ； ·对于两个被等价方法认为相同的对象，哈希码应该产生相同的结果； 9.2 相等属性 首先让我们看看相等方法的属性。自反性是指一个对象总是等于它本身；对称性是指当 a=b 时，b＝a；传递性的意思是当 a＝b，b＝c，则a＝c。 这些属性看起来似乎非常明显，而且的确如此。如果没有这些属性，使用相等方法将很 难想象：例如，如果没有对称性，在是写 a.等于(b)，还是 b.等于(a)方面，你可能会犹豫 不决。 但是，在不经意间破坏这些属性是非常容易的。下面这个例子（来自 Joshua Bloch 的杰 作《有效 Java ：编程语言指南》，推荐的文章之一）说明了在继承中对称性和传递性是如何 被破坏的。 假设有一个实现二维空间点的简单类： public class Point{ private final int x; 1 private final int y; public Point (int x,int y){ this.x=x;this.y=y; } public Boolean equals(object o){ if(!o instanceofPoint)) return false; Point p=(Point) o; Return p.x==xp.y==y; } …} 现在设想我们增加颜色的概念: public class ColourPoint extends Point{ private Colour colour; public ColourPoint(int x,int y,Colour colour){ super(x,y); this.colour=colour; } … } ColourPoint类的对等方法会是什么样子呢？我们从点继承对等，即使两个ColourPoint 类的颜色不同，它们也会被认为是一样的。我们可以这样忽略它： public boolean equals (Object o) { if (!(o instanceof ColourPoint)) return false; ColourPoint cp = (Colo