数组是原始类型还是对象（或者完全是其他东西）？

Question

这个问题基本上是不言自明的。我还没有找到一个数组的应用编程接口（除了这个数组，但这只是定义了一堆用于处理实际数组的静态助手函数）。如果没有它的类，这似乎表明数组不可能是一个Object。

然而，数组有公共字段，比如length，以及它可以调用的方法，比如。等于（）和。clone（）似乎（非常强烈地）表明了完全相反的观点。

原语数组的奇怪表示和行为的解释是什么？

注意，我刚才试图在数组的. clone（）方法上使用“开放实现”Eclipse特性，希望我能够看看这个方法是在哪里以及如何定义的（因为它说int[]从Object覆盖它），但它实际上导致了我的整个Eclipse冻结并崩溃...

Answer 1

请参阅下面的代码。它汇编了：

    int[] arr = new int[2];
    System.out.println(arr.toString());

现在，在任何基元类型上，您都不能调用Object类中定义的方法（toString（））（或者，任何与此相关的方法）...因此，数组本质上是一个Object。

好的，给你：

从JLS第4.3节：

有四种引用类型：类类型（§8）、接口类型（§9）、类型变量（§4.4）和数组类型（§10）。

第10节：

在Java编程语言中，数组是对象（§4.3.1），是动态创建的，可以分配给Object类型的变量（§4.3.2）。类对象的所有方法都可以在数组上调用。

所以，从第一句话开始，Array实际上不是一个类。。。这是另一种类型。但是，从本质上说，数组是对象，虽然不是某些类，但它们是数组类型。所以它们不是某个类的实例，可能是数组的对象。。。

Answer 2

Java语言规范应该给你一个想法：

数组类型的直接超类是Object。

每种数组类型都实现了接口Cloneable和java。伊奥。可序列化。

此外：

对象是类实例或数组。

所以数组不是实例，因此不需要构造函数来创建它们。而是使用数组创建表达式。

Answer 3

每个数组类型都有一个类，所以有一个int[]类，有一个Foo[]类。这些类是由JVM创建的。您可以通过int[]. class，Foo[]. class来访问它们。这些类的直接超级类是Object.class

public static void main(String[] args)
{
    test(int[].class);
    test(String[].class);
}

static void test(Class clazz)
{
    System.out.println(clazz.getName());
    System.out.println(clazz.getSuperclass());
    for(Class face : clazz.getInterfaces())
        System.out.println(face);
}

还有一个编译时子类型规则，如果a是B的子类型，a[]是B[]的子类型。