Java中的等式
比较原始类型的相等与比较两个对象相等是不同的。假如数值5存放在两个不同的int变量中，比较两个变量是否相等将产生结果为 boolean 值 true：
public class TestIntComparison {
public static void main(String[] args) {
int x = 5, y = 5;
System.out.println(
"x == y yields " + (x == y));
}
}
TestIntComparison 产生以下输出：
D:\Java TestIntComparison
x == y yields true
相等操作符由于原始类型时比较的是它们的值。而用于对象时比较的是对象的引用而不是对象的实际内容。 您可能问："这些引用都指向同一个对象么？" 为了说明清楚，请看下面只含有 tag 和 age 的 Dog 的又一版本：
class Dog {
int tag;
int age;
public void setTag(int t) {tag=t;}
public void setAge(int a) {age=a;}
}
假如有两只狗(dog)，即使它们的内容都相同，用 == 操作符时它们并不相等。下面代码段的输出表明在用 "==" 时 a 和 b 并不相等：
Dog a = new Dog();
a.setTag(23129);
a.setAge(7);
Dog b = new Dog();
b.setTag(23129);
b.setAge(7);
if ( a==b ) {
System.out.println("a is equal to b");
}
else {
System.out.println("a is not equal to b");
}
那么，应该怎么比较两个对象的值而不是比较它们的引用呢？Java(TM) 编程语言有一个约定，方法 equals() 用来定义对象值相等。 类 Object 中定义了方法equals()，假如在其子类中没有被重载，那么默认使用的就是它。 为了比较两只狗(dog) a 和 b 的值，你应该重写上面的比较部分：
if ( a.equals(b) ) {
System.out.println("a is equals() to b");
}
else {
System.out.println("a is not equals() to b");
}
上面的代码中，假如在 Dog 中没有重载 equals() 方法，两只狗依旧不等。因为 Object.equals() 实际模拟的是 == 操作符的功能。 Dog 中 equals() 的定义很好懂：
class Dog {
int tag;
int age;
public void setTag(int t) {tag=t;}
public void setAge(int a) {age=a;}
public boolean equals(Object o) {
Dog d = (Dog)o;
if ( tag==d.tag && age==d.age ) {
return true;
}
return false;
}
}
为什么 equals() 的参数类型是 Object 而不是 Dog 呢？因为你是在重载父类 Object 的方法 equals()，所以必须用相同的方法标记。但我们希望传进的参数是另一只Dog，所以为了能够访问参数的字段需将其类型转换为 Dog。
但是，由于 equals() 是在 Dog 中定义的，你必须检查传入的对象是否是一只 Dog，因为有人可能这样用：
fido.equals("blort");
字符串 "blort" 也是一个 Object ，因此与 Dog 中 equals() 的标记是匹配的。equals() 的正确写法是：
public boolean equals(Object o) {
if ( o instanceof Dog ) {
Dog d = (Dog)o;
if ( tag==d.tag && age==d.age ) {
return true;
}
}
// false if not Dog or contents mismatched
return false;
}
操作符 instanceof 询问 o 是否是 Dog (包括 Dog 的子类) 的实例。
字符串的比较引入了对象比较的最后一个问题，那就是
"abc"=="def"
表达式的值为 true 还是 false 呢？是false，因为他们是本质都不同的对象(显而易见，他们的内容都不同)。但是，下面的表达式
"abc"=="abc"
是 true 还是 false 呢？不幸的是，这由编译器决定。假如编译器将对 "abc" 的两个引用优化为一个对象而不是两个对象，那么表达式的值为 true。但是，假如编译器不做这种优化，表达式的值则应为 false！
假如你真的想判定两个字符串在物理上是不是同一个对象，请用 equals() 方法：
boolean b = "abc".equals("def"); // false
boolean c = "abc".equals("abc"); // true