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()即可。
- 自动封装
手动封装的结果:
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);