[Java学习笔记] 为什么.length是数组的成员,是字符串的方法?

转载 2013年12月03日 22:21:56

记得vamcily 曾问我:“为什么获取数组的长度用.length(成员变量的形式),而获取String的长度用.length()(成员方法的形式)?”

 

我当时一听,觉得问得很有道理。做同样一件事情,为什么采用两种风格迥异的风格呢?况且,Java中的数组其实是完备(full-fledged)的对象,直接暴露成员变量,可能不是一种很OO的风格。那么,设计Java的那帮天才为什么这么做呢?

 

带着这个疑问,我查阅了一些资料,主要是关于“JVM是如何处理数组”的。

 

数组对象的类是什么?

 

既然数组都是对象,那么数组的类究竟是什么呢?当然不是java.util.Arrays啦!我们以int一维数组为例,看看究竟。

 

Java代码 
  1. public class Main {  
  2.     public static void main(String args[]){  
  3.         int a[] = new int[10];  
  4.         Class clazz = a.getClass();  
  5.         System.out.println(clazz.getName());  
  6.     }  
  7. }  

在SUN JDK 1.6上运行上述代码,输出为:

[I

看起来数组的类很奇怪,非但不属于任何包,而且名称还不是合法的标识符(identifier)。具体的命名规则[1]可以参见java.lang.Class.getName()的javadoc。简单的说,数组的类名由若干个'['和数组元素类型的内部名称组成,'['的数目代表了数组的维度。

具有相同类型元素和相同维度的数组,属于同一个类。如果两个数组的元素类型相同,但维度不同,那么它们也属于不同的类。如果两个数组的元素类型和维度均相同,但长度不同,那么它们还是属于同一个类。

 

数组的类有哪些成员呢?

既然我们知道了数组的类名是什么,那么就去看看数组的类究竟是什么样的吧?有哪些成员变量?有哪些成员方法?length这个成员变量在哪?是不是没有length()这个成员方法?

找来找去,在JDK的代码中没有找打'[I'这个类。想想也对,'[I'都不是一个合法的标识符,肯定不会出现public class [I {...}这样的Java代码。我们暂且不管[I类是谁声明的,怎么声明的,先用反射机制一探究竟吧。

Java代码 
  1. public class Main {  
  2.     public static void main(String[] args) {  
  3.     int a[] = new int[10];  
  4.     Class clazz = a.getClass();  
  5.     System.out.println(clazz.getDeclaredFields().length);  
  6.     System.out.println(clazz.getDeclaredMethods().length);  
  7.     System.out.println(clazz.getDeclaredConstructors().length);  
  8.     System.out.println(clazz.getDeclaredAnnotations().length);  
  9.     System.out.println(clazz.getDeclaredClasses().length);  
  10.     System.out.println(clazz.getSuperclass());  
  11.     }  
  12. }  

在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

规范的描述很严谨,还掺杂了定义类加载器和初始化类加载器的内容。先不管这些,简单概括一下:

  1. 类加载器先看看数组类是否已经被创建了。如果没有,那就说明需要创建数组类;如果有,那就无需创建了。
  2. 如果数组元素是引用类型,那么类加载器首先去加载数组元素的类。
  3. JVM根据元素类型和维度,创建相应的数组类。

呵呵,果然是JVM这家伙自个偷偷创建了[I类。JVM不把数组类放到任何包中,也不给他们起个合法的标识符名称,估计是为了避免和JDK、第三方及用户自定义的类发生冲突吧。

 

再想想,JVM也必须动态生成数组类,因为Java数组类的数量与元素类型、维度(最多255)有关,相当相当多了,是没法预先声明好的。

 

居然没有length这个成员变量!

 

我们已经发现,偷懒的JVM没有为数组类生成length这个成员变量,那么Array.length这样的语法如何通过编译,如何执行的呢?

让我们看看字节码吧!编写一段最简单的代码,使用jclasslib查看字节码。

Java代码 
  1. public class Main {  
  2.     public static void main(String[] args) {  
  3.     int a[] = new int[2];  
  4.         int i = a.length;  
  5.     }  
  6. }  

使用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的多维数组就不一定是规规矩矩的矩阵了,可以千变万化。


原文链接:http://jarfield.iteye.com/blog/564721

java中split()方法分割字符串后数组长度问题

由于自学java过程中碰到了关于split()方法的一些”奇怪“之处,花费了好大的时间和精力才搞定,看了看网上的资源也很少有关于分割后数组长度的帖子,所以为了积累也为了给广大学者们提个醒,不要再入坑了...
  • u010039451
  • u010039451
  • 2016年01月01日 18:16
  • 3837

java 字符串转化为字符数组的3种方法

你可以选择最简单的方法解题,但是你需要掌握所有的方法当做知识储备 第一种最简单,但是其适用前提是输入:   4(个数)     然后是   1  2  3  4  (也就是输入数字),放入k...
  • Yiyuan_chen
  • Yiyuan_chen
  • 2017年02月07日 16:04
  • 1925

Tableau9.2 学习笔记(1)---初识Tableau

Tableau Desktop是Tableau公司开发的桌面系统中最简单的商业智能工具软件,Tableau没有强迫用户编写自定义代码,新的控制台也可完全自定义配置。在控制台上,不仅能够监测信息,而且还...
  • qianwenzhi
  • qianwenzhi
  • 2016年03月24日 15:22
  • 2354

java反射学习笔记(3)---使用Class来获取方法、成员变量、构造函数信息

1、基本知识点获取方法信息: 基本数据类型,void关键字都存在类类型 class.getMethods()方法获取是该类的所有public方法,包括从父类继承的方法; class.getDec...
  • jin970505
  • jin970505
  • 2017年11月24日 21:22
  • 99

Java之数据结构基础、线性表、栈和队列、数组和字符串,树—学习笔记

Java面试宝典之数据结构基础 —— 线性表篇         这部分内容作为计算机专业最基础的知识,几乎被所有企业选中用来作考题,因此,本章我们从本章开始,我们将从基础方面对数据结构进行讲解,内容...
  • zolalad
  • zolalad
  • 2013年12月05日 17:20
  • 4487

Java之数据结构基础、线性表、栈和队列、数组和字符串,树—学习笔记

Java面试宝典之数据结构基础 —— 线性表篇         本篇博文转载自:http://blog.csdn.net/zhangerqing/article/details/879651...
  • zhangyi880405
  • zhangyi880405
  • 2014年03月18日 22:52
  • 732

java学习笔记六——数组、向量、字符串

一、数组 1.数组在使用前必须先说明,也就是要先定义,一维数组的定义为: type arrayName[ ];或type[ ]arrayName; 其中,type可以为Java中任意的数据类型,...
  • u012260589
  • u012260589
  • 2014年03月15日 09:39
  • 812

java中 第六章 数组和字符串 学习笔记

1:数组          (1)同一种类型数据的集合。其实数组就是一个容器。
  • liukai520312
  • liukai520312
  • 2014年05月11日 15:07
  • 271

Java学习笔记--数组和字符串

3.4.1  一维数组 boolean [] array; 布尔型数组 float[] array; 浮点型数组 doub...
  • dubinglin
  • dubinglin
  • 2017年03月22日 17:59
  • 233

C\C++ 程序员从零开始学习Android - 个人学习笔记(四) - java基础 - 数据类型、变量、字符串、数组

1,数据类型   java数据类型分为基本类型(原始类型、原生类型)和引用类型两种。 1.1 基本类型   包括布尔类型、数值类型、returnAddress类型。 1...
  • CreateLight
  • CreateLight
  • 2012年01月20日 17:39
  • 645
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:[Java学习笔记] 为什么.length是数组的成员,是字符串的方法?
举报原因:
原因补充:

(最多只允许输入30个字)