软件构造复习笔记5

OOP

set.contains(list); //false!
//甚至还有如下神奇的事情
for(List l: set)
set.contains(l); //false
小心：如果某个mutable的对象包含在Set集合类中，当其发生改变后，集合类的行为不确定。

在JDK中，不同的mutable类使用不同的等价性标准：

Date.equals()、List.equals()实现的是观察等价性。

StringBuilder.equals()实现的是行为等价性，它的equals()方法实际上是直接继承自Object类。

equals()和hashCode()
所以，对可变类型，实现行为等价性即可，也就是说，只有指向同样内存空间的对象才是相等的。所以对可变类型来说，无需重写这两个函数，直接继承Object的equals()和hashCode()即可。

3. 自动封装
   手动封装的结果：

Integer x = new Integer(3);
Integer y = new Integer(3);
x.equals(y); //true
x == y; //false
(int) x == (int) y; //true

自动封装的结果：

Map<String, Integer> a = new HashMap<>(), b = new HashMap<>();
a.put(“c”, 130); //被自动转换成了Integer
b.put(“c”, 130);
a.get(“c”) == b.get(“c”); //false，get获得的是Integer，并不会自动转换成原始的int
a.get(“c”).equals(b.get(“c”)); //true

特殊情况：

Map<String, Integer> a = new HashMap<>(), b = new HashMap<>();
a.put(“c”, 1);
b.put(“c”, 1);
a.get(“a”) == b.get(“a”); //true

原因：JVM为-128~127分配的空间位于常量池中，所以即使被自动封装成了对象类型也可以用==判断相等。

Integer x = 2;
Integer y = 2;
x == y; //true
/* 仅限于上面的方式创建的对象，通过new创建的对象不行 */
Integer x = new Integer(2);
Integer y = new Integer(2);