1. Class 对象与 == 运算符的基础
在Java中，每个类在运行时都有一个对应的Class对象，它代表了该类的类型信息。我们可以通过两种主要方式获取Class对象：
-
.class 字面量： 例如 String.class，它返回 Class
类型。 - getClass() 方法： 对于一个对象实例 obj，obj.getClass() 返回 Class extends T>，其中 T 是 obj 的声明类型。例如，如果 String s = "hello"; 那么 s.getClass() 返回 Class extends String>。这种带有通配符的类型参数是 Java 泛型为了保证类型安全而设计的。
== 运算符用于比较两个对象的引用是否相同。对于Class对象而言，Class>类型是泛型类型，当使用==运算符进行比较时，Java编译器会执行严格的类型兼容性检查。这不仅仅是检查它们是否是同一个运行时Class实例，更重要的是检查它们的泛型类型参数是否允许这种比较。
考虑以下示例代码：
class A {}
class B extends A {}
public class ClassComparisonDemo {
public static void main(String[] args) {
A a = new A();
B b = new B();
Class aClass = a.getClass(); // 运行时实际是 Class，但类型为 Class
Class bClass = b.getClass(); // 运行时实际是 Class，但类型为 Class
System.out.println("aClass == bClass: " + (aClass == bClass)); // #1 false
System.out.println("aClass == A.class: " + (aClass == A.class)); // #2 true
System.out.println("aClass == B.class: " + (aClass == B.class)); // #3 false
// System.out.println("bClass == A.class: " + (bClass == A.class)); // #4 编译错误
System.out.println("bClass == B.class: " + (bClass == B.class)); // #5 true
}
}在上述代码中，#4 行会导致编译错误：non comparable type: java.lang.Class
立即学习“Java免费学习笔记（深入）”；
2. 泛型类型参数对 Class 比较的影响深度解析
问题的关键在于编译器如何处理带有泛型通配符的Class类型。
- Class extends A>：表示一个Class对象，它代表的类是A本身或者A的任何子类。
- Class extends B>：表示一个Class对象，它代表的类是B本身或者B的任何子类。
2.1 编译通过的场景分析
我们来看 aClass == B.class (对应代码中的 #3) 为什么能够编译通过：
- aClass 的声明类型是 Class extends A>。
- B.class 的类型是 Class。
- 由于 B 是 A 的子类，所以 Class 完全符合 Class extends A> 的类型约束。编译器认为，aClass 所代表的类 可能 就是 B 类，因此允许这种比较。虽然在这个特定的例子中 aClass 实际代表的是 A.class，导致结果为 false，但从类型兼容性角度看，这种比较是合法的。
为了进一步说明，考虑以下情况：
A anotherA = new B(); // A类型的变量，但实际指向B的实例
Class anotherAClass = anotherA.getClass(); // 运行时实际是 Class，类型为 Class
System.out.println("anotherAClass == B.class: " + (anotherAClass == B.class)); // true这里，anotherAClass 的类型仍是 Class extends A>，但它实际引用的是 B.class。由于 B.class 满足 Class extends A> 的类型要求，所以比较 anotherAClass == B.class 是完全合理且类型安全的。
2.2 编译失败的场景分析：non comparable type 错误
现在我们分析 bClass == A.class (对应代码中的 #4) 为什么会导致编译错误：
- bClass 的声明类型是 Class extends B>。这意味着它所代表的类必须是 B 或 B 的子类。
- A.class 的类型是 Class。
- A 类是 B 类的父类，而不是 B 类或 B 的子类。因此，Class 永远不可能满足 Class extends B> 的类型约束。
- 编译器在编译时就识别出这种逻辑上的不可能，即 Class extends B> 类型的变量不可能引用 Class 对象。为了防止这种类型不兼容的比较，编译器会抛出 "non comparable type" 错误。
这类似于在 Java 中直接比较一个 String 类型和一个 Integer 类型：
这本书给出了一份关于python这门优美语言的精要的参考。作者通过一个完整而清晰的入门指引将你带入python的乐园，随后在语法、类型和对象、运算符与表达式、控制流函数与函数编程、类及面向对象编程、模块和包、输入输出、执行环境等多方面给出了详尽的讲解。如果你想加入 python的世界，David M beazley的这本书可不要错过哦。 (封面是最新英文版的,中文版貌似只译到第二版)
String s = "hello"; Integer i = 123; // System.out.println(s == i); // 编译错误：incomparable types: String and Integer
尽管在运行时，String 和 Integer 都是 Object 的子类，但编译器知道 String 和 Integer 之间没有直接的继承关系，因此它们在类型层面是不可比较的。然而，如果我们将它们向上转型为 Object，比较就变得合法了：
Object so = s; Object io = i; System.out.println(so == io); // 编译通过，输出 false
这个类比强调了编译器是在编译时根据声明类型进行严格的兼容性检查，而不是在运行时根据实际对象进行判断。
3. 总结与注意事项
编译器进行类型检查： == 运算符在比较 Class 对象时，Java 编译器会执行严格的泛型类型兼容性检查。它会判断两侧的类型参数是否存在逻辑上的可能性使其引用相同的 Class 对象。
理解泛型通配符： Class extends T> 表示该 Class 对象代表的类型是 T 或 T 的任何子类。理解这一点对于预测 == 比较结果至关重要。
getClass() 返回类型： getClass() 方法返回的 Class 类型会带有 ? extends T 通配符，这是为了保证类型安全和向上兼容性。
避免编译错误： 当你遇到“non comparable type”错误时，通常意味着你正在尝试比较两种在类型系统上不兼容的 Class 泛型类型。
-
运行时类型检查：isAssignableFrom()： 如果你的目标是检查一个 Class 对象是否是另一个 Class 对象的父类或子类，或者是否可以从某个类型赋值，应该使用 Class.isAssignableFrom() 方法。这个方法提供了更灵活、更准确的运行时类型关系判断。
例如，要检查 bClass 所代表的类是否是 A 的子类，或者 A 是否是 bClass 所代表的类的父类，你可以这样做：
System.out.println("A.class.isAssignableFrom(bClass.getActualClass()): " + A.class.isAssignableFrom(b.getClass())); // true (B is assignable to A) System.out.println("bClass.getActualClass().isAssignableFrom(A.class): " + b.getClass().isAssignableFrom(A.class)); // false (A is not assignable to B)这里 b.getClass() 返回的是 Class，而非 Class extends B>。isAssignableFrom() 方法直接操作的是实际的类类型，忽略了泛型通配符带来的编译时限制。
通过深入理解 Java 泛型类型参数和 == 运算符在 Class 对象上的行为，我们可以更有效地编写类型安全且无编译错误的 Java 代码。
