记得vamcily 曾问我:“为什么获取数组的长度用.length(成员变量的形式),而获取String的长度用.length()(成员方法的形式)?”
我当时一听,觉得问得很有道理。做同样一件事情,为什么采用两种风格迥异的风格呢?况且,Java中的数组其实是完备(full-fledged)的对象,直接暴露成员变量,可能不是一种很OO的风格。那么,设计Java的那帮天才为什么这么做呢?
带着这个疑问,我查阅了一些资料,主要是关于“JVM是如何处理数组”的。
数组对象的类是什么?
既然数组都是对象,那么数组的类究竟是什么呢?当然不是java.util.Arrays啦!我们以int一维数组为例,看看究竟。
在SUN JDK 1.6上运行上述代码,输出为:
[I
看起来数组的类很奇怪,非但不属于任何包,而且名称还不是合法的标识符(identifier)。具体的命名规则[1]可以参见java.lang.Class.getName()的javadoc。简单的说,数组的类名由若干个'['和数组元素类型的内部名称组成,'['的数目代表了数组的维度。
具有相同类型元素和相同维度的数组,属于同一个类。如果两个数组的元素类型相同,但维度不同,那么它们也属于不同的类。如果两个数组的元素类型和维度均相同,但长度不同,那么它们还是属于同一个类。
数组的类有哪些成员呢?
既然我们知道了数组的类名是什么,那么就去看看数组的类究竟是什么样的吧?有哪些成员变量?有哪些成员方法?length这个成员变量在哪?是不是没有length()这个成员方法?
找来找去,在JDK的代码中没有找打'[I'这个类。想想也对,'[I'都不是一个合法的标识符,肯定不会出现public class [I {...}这样的Java代码。我们暂且不管[I类是谁声明的,怎么声明的,先用反射机制一探究竟吧。
在SUN JDK 1.6上运行上述代码,输出为:
0
0
0
0
0
class java.lang.Object
可见,[I这个类是java.lang.Object的直接子类,自身没有声明任何成员变量、成员方法、构造函数和Annotation,可以说,[I就是个空类。我们立马可以想到一个问题:怎么连length这个成员变量都没有呢?如果真的没有,编译器怎么不报语法错呢?想必编译器对Array.length进行了特殊处理哇!
数组的类在哪里声明的?
先不管为什么没有length成员变量,我们先搞清楚[I这个类是哪里声明的吧。既然[I都不是合法的标识符,那么这个类肯定在Java代码中显式声明的。想来想去,只能是JVM自己在运行时生成的了。JVM生成类还是一件很容易的事情,甚至无需生成字节码,直接在方法区中创建类型数据,就差不多完工了。
还没有实力去看JVM的源代码,于是翻了翻The JavaTM Virtual Machine Specification Second Edition,果然得到了验证,相关内容参考5.3.3 Creating Array Classes。
规范的描述很严谨,还掺杂了定义类加载器和初始化类加载器的内容。先不管这些,简单概括一下:
- 类加载器先看看数组类是否已经被创建了。如果没有,那就说明需要创建数组类;如果有,那就无需创建了。
- 如果数组元素是引用类型,那么类加载器首先去加载数组元素的类。
- JVM根据元素类型和维度,创建相应的数组类。
呵呵,果然是JVM这家伙自个偷偷创建了[I类。JVM不把数组类放到任何包中,也不给他们起个合法的标识符名称,估计是为了避免和JDK、第三方及用户自定义的类发生冲突吧。
再想想,JVM也必须动态生成数组类,因为Java数组类的数量与元素类型、维度(最多255)有关,相当相当多了,是没法预先声明好的。
居然没有length这个成员变量!
我们已经发现,偷懒的JVM没有为数组类生成length这个成员变量,那么Array.length这样的语法如何通过编译,如何执行的呢?
让我们看看字节码吧!编写一段最简单的代码,使用jclasslib查看字节码。
使用SUN JDK 1.6编译上述代码,并使用jclasslib打开Main.class文件,得到main方法的字节码:
0 iconst_2 //将int型常量2压入操作数栈
1 newarray 10 (int) //将2弹出操作数栈,作为长度,创建一个元素类型为int, 维度为1的数组,并将数组的引用压入操作数栈
3 astore_1 //将数组的引用从操作数栈中弹出,保存在索引为1的局部变量(即a)中
4 aload_1 //将索引为1的局部变量(即a)压入操作数栈
5 arraylength //从操作数栈弹出数组引用(即a),并获取其长度(JVM负责实现如何获取),并将长度压入操作数栈
6 istore_2 //将数组长度从操作数栈弹出,保存在索引为2的局部变量(即i)中
7 return //main方法返回
可见,在这段字节码中,根本就没有看见length这个成员变量,获取数组长度是由一条特定的指令arraylength实现(怎么实现就不管了,JVM总有办法)。编译器对Array.length这样的语法做了特殊处理,直接编译成了arraylength指令。另外,JVM创建数组类,应该就是由newarray这条指令触发的了。
很自然地想到,编译器也可以对Array.length()这样的语法做特殊处理,直接编译成arraylength指令。这样的话,我们就可以使用方法调用的风格获取数组的长度了,这样看起来貌似也更加OO一点。那为什么不使用Array.length()的语法呢?也许是开发Java的那帮天才对.length有所偏爱,或者抛硬币拍脑袋随便决定的吧。 形式不重要,重要的是我们明白了背后的机理。
Array in Java
最后,对Java中纯对象的数组发表点感想吧。
相比C/C++中的数组,Java数组在安全性要好很多。C/C++常遇到的缓存区溢出或数组访问越界的问题,在Java中不再存在。因为Java使用特定的指令访问数组的元素,这些指令都会对数组的长度进行检查。如果发现越界,就会抛出java.lang.ArrayIndexOutOfBoundsException。
Java数组元素的灵活性比较大。一个数组的元素本身也可以是数组,只要所有元素的数组类型相同即可。我们知道数组的类型和长度无关,因此元素可以是长度不同的数组。这样,Java的多维数组就不一定是规规矩矩的矩阵了,可以千变万化。
[1] The JavaTM Language Specification, Third Edition. Page 75, “see the specification of Class.getName for details”.
分享到:
相关推荐
1. 错误的初始化语句是_ABD_,因为A选项字符串长度超过数组长度,B选项同样如此,D选项字符数组不能直接用字符串初始化。 2. 错误的引用是_B_,因为数组下标越界。 3. 正确的二维数组初始化语句是_B_,因为A和C...
### Java数组与内存控制 #### 一、Java数组在内存分配方面的知识 ##### 1.1 数组初始化 - **声明数组的时候如何分配内存:** - 在Java中,数组的声明并不直接分配内存,而仅仅是创建了一个数组引用变量。例如: ...
4. **数组长度** 要获取数组的长度,可以使用`length`属性: ```java int length = numbers.length; ``` 5. **多维数组** Java还支持多维数组,如二维数组,可以理解为数组的数组: ```java int[][] matrix ...
Java数组是程序设计中的基本构建块,它允许程序员存储多个相同类型的数据在一个单一的结构中。在Java中,数组是一种对象,它们具有固定的大小,并且一旦创建,就不能更改其长度。数组提供了通过索引来访问其元素的...
`length` 属性是所有Java数组都有的,可以获取数组的元素数量。例如,`numbers.length` 返回数组`numbers`的元素个数。 4. **多维数组** Java支持多维数组,即数组的数组。例如,创建一个2D数组(矩阵): ```...
Java数组是程序设计中不可或缺的基础概念,它是一种数据结构,允许我们存储同类型的多个元素。在Java中,数组是对象,具有固定的大小,一旦创建,其长度就不能改变。本篇文章将深入探讨Java数组的各个方面,包括创建...
5. **数组长度** `length`属性用于获取数组的长度: ```java int arrayLength = numbers.length; ``` 6. **复制数组** 使用`System.arraycopy()`方法可以复制数组: ```java int[] copy = new int[numbers...
以上内容涵盖了Java数组求和计算的基本知识以及相关的扩展话题。理解并掌握这些知识点对于进行有效的Java编程至关重要。在实际应用中,根据具体需求,可能还需要考虑性能优化、异常处理等方面的问题。
【Java数组】是Java编程语言中基础且重要的数据结构,它允许存储固定数量的相同类型的数据。数组在Java中属于引用类型,也就是说数组本身是一个对象,数组中的每个元素相当于这个对象的成员变量。数组可以包含任何...
### Java数组和字符串详解 #### 实验目标与背景 本次实验旨在深化理解Java中的数组与字符串操作,聚焦于`String`类与`StringBuffer`类的掌握,包括它们的常用方法、相等性判断的不同方式、数组的创建及引用机制,...
Java数组堆栈的实现是通过创建一个名为ArrayStack的类,该类提供了堆栈的基本操作。该类使用泛型T来表示堆栈中元素的数据类型。 在ArrayStack类中,使用了一个Object类型的数组来存储堆栈中的元素。由于Java不支持...
### Java数组讲解 #### 1. 数组基本概念与初始化 - **定义**: 数组是一种基本的数据结构,用于存储相同类型的多个元素。这些元素在内存中是连续存储的。 - **初始化**: 可以通过两种方式进行初始化:动态初始化和...
数组的长度可以使用 length 属性来获取,例如:arr.length; Java 数组的常用操作包括: * 数组元素的赋值:arr[0] = 10; * 数组元素的访问:int element = arr[0]; * 数组的遍历:for (int element : arr) { ...
- 索引范围为0到数组长度减1。 5. **遍历数组** - 可以通过for循环遍历数组的所有元素,例如: ``` for (int i = 0; i ; i++) { System.out.println(myArray[i]); } ``` 6. **多维数组** - Java支持一维、...
本文将围绕Java数组的一些核心概念展开讨论,特别是关于数组长度的获取方式及其背后的设计理念。 #### 数组的长度获取方式 Java中存在两种获取长度的方式:对于数组,使用`.length`(成员变量);而对于`String`等...
### Java数组中的查找:基础知识与实现细节 在Java编程中,数组是一种常用的数据结构,用于存储固定大小的同类型元素序列。对数组进行查找是基本且频繁的操作之一,特别是对于初学者而言,掌握如何在数组中查找特定...
### Java数组总结使用手册 #### 一、数组基础概念 **1.1 什么是数组** 数组是一种基本的数据结构,用于存储一系列相同类型的元素。在Java中,数组是一种对象,它包含固定数量的相同类型的元素。数组中的每一个...
// 分配空间,长度为10 ``` 在这里,`int[] myArray;`仅声明了一个int类型的数组引用,并未实际分配内存空间给这个数组。因此,必须通过`myArray = new int[10];`来显式地分配内存空间。 2. **初始化数组并赋...
2. **数组长度**:数组长度是固定的,由声明时的大小决定,不能在运行时改变。 3. **遍历数组**:介绍for循环和增强for循环(foreach)遍历数组的方法。 4. **多维数组**:讨论二维数组和其他多维数组的概念及使用...
插入元素通常需要创建新数组,因为Java数组长度固定。可以创建一个更大的数组,复制旧数组内容,然后在指定位置插入新元素。 7. **数组的删除操作**: 删除元素同样涉及数组的重组。可以选择移动后面的元素覆盖...