为什么Object [] .class.isAssignableFrom(String [] .class)== true？

Question

为什么Object[].class.isAssignableFrom(String[].class) == true,有String[].getSuperClass()或getGenericInterfaces()无法得到Object[]？

我检查了JDK的来源,但我认为我自己无法得到答案.现在,我知道JDK使用树来存储类之间的关系,并使用深度来指示它的级别,Class::isAssignableFrom()搜索链,所以绝对数组在那个树中.并且还String[]连接到Object[].

我可以说那String[]是一个子类Object[]吗？或者它只是Java的另一个奇怪的东西？

Answer 1

Class.isAssignableFrom()基本上检查子类型关系."subtype"和"subclass"是两个不同的概念.类层次结构(即子类化)只是子类型的一部分.

基元类型和数组类型具有子类型的特殊情况.

数组类型的子类型规则是这样的(注意"> ₁ "表示"是一个直接的子类型"):

• 如果S和T都是引用类型,那么S[]> ₁ T[] iff S> ₁ T.
• Object> ₁ Object[]
• Cloneable> ₁ Object[]
• java.io.Serializable> ₁ Object[]
• 如果p是原始类型,则:
  • Object> ₁ p[]
  • Cloneable> ₁ p[]
  • java.io.Serializable> ₁ p[]

您的问题的重要部分是第一项:当且仅当组件类型是组件类型的子类型时,数组类型X[]是数组类型的子类型.Y[]XY

另请注意,严格来说既不是课程Object[]也不String[]是课程.它们是"唯一"类型.虽然每个类隐式都是一个类型,但事实并非如此.这不是类类型的另一个例子是基本类型:boolean,byte,char,short,int,long,float和double是类型,但它们不是类.

造成混淆的另一个原因是您可以轻松获取java.lang.Class表示这些类型的对象.还是那句话:这并不能意味着这些类型的类.