为什么 Class 对象不能用==比较呢，但强转 Object 后就可以了？

泛型不一样 左边是 Class<Integer> 右边是 Class<String>

// ok
boolean result = ((Class) String.class) == ( Integer.class);
// 报错
boolean result1 = ( String.class) == ( Integer.class);
// 报错
boolean result2 = new ArrayList<String>() == new ArrayList<Integer>();

jawa 的泛型默認是不變 (invariant): Class<String>和 Class<Integer>沒有共通的祖先類, 是兩個 "完全無關" 的類型. 即使 String 和 Interger 有共同的祖先類 (Object).

@aguesuka #1 @momocraft #3 其实这并不是重点，Class<Integer> 和 Class<String> 都是 Object 的派生类（并不能说是“完全无关”），楼主想要问为什么引用比较不直接假设隐式转换为 Object 后引用比较。

根据 JLS 12：

15.21.3 Reference Equality Operators == and !=
If the operands of an equality operator are both of either reference type or the null type, then the operation is object equality.
It is a compile-time error if it is impossible to convert the type of either operand to the type of the other by a casting conversion (§5.5). The run-time values of the two operands would necessarily be unequal (ignoring the case where both values are null).
...

如果 a == b 里面 a、b 的编译期类型分别是非 String 的引用类型 A、B，则必须存在 A 到 B 的隐式转换或存在 B 到 A
的隐式转换，否则编译失败。这是一个人为限制，动机主要是绝大多数情况下这两个的比较结果都是“不引用相等”。

只需要把一个比较运算数转换为 Object 即可编译成功。

想了半天，发现想歪了

楼主问的不是为啥 Integer.class 和 String.class 的 Class 对象的泛型不一样导致==结果返回 false

而是为啥不能用 == 比较

所以 #3 没有共同祖先类 的说法感觉靠谱

。。

== 是用于比较基本和引用数据类型的关系运算符

Class 对象俩都不算的吧，所以编译报错了

光记着比地址值，忽视了比的是啥

打扰了，胡言乱语一通
看#4

只有赋值相容才可以用==比较，也就是说要么 a 能赋值给 b，或者相反，否则就是编译是错误，想明白这点是为什么就不难理解了

@aguesuka
boolean result = ((Class) String.class) == ( Integer.class); 所以右边的就可以隐式转换为泛型的原生类型了。

@geelaw
谢谢解答，直接解开了我的疑惑

@ZredoC
哈哈哈哈，不打扰不打扰

@SoloCompany
确实，赋值相容，就是代表可以隐式转换。