数组和第一类工具

无论利用的数组属于什么范例，数组标识符实际都是指向真实工具的一个句柄。那些工具自己是在内存“堆”里建设的。堆工具既可“隐式”建设（即默认发生），亦可“显式”建设（即明晰指定，用一个new表达式）。堆工具的一部门（实际是我们能会见的独一字段或要领）是只读的length（长度）成员，它汇报我们谁人数组工具里最多能容纳几多元素。对付数组工具，“[]”语法是我们能回收的独一另类会见要领。
下面这个例子展示了对数组举办初始化的差异方法，以及如何将数组句柄分派给差异的数组工具。它也展现出工具数组和根基数据范例数组在利用要领上险些是完全一致的。独一的不同在于工具数组容纳的是句柄，而根基数据范例数组容纳的是详细的数值（若在执行此措施时碰着坚苦，请参考第3章的“赋值”小节）：
 

//: ArraySize.java
// Initialization & re-assignment of arrays
package c08;

class Weeble {} // A small mythical creature

public class ArraySize {
  public static void main(String[] args) {
    // Arrays of objects:
    Weeble[] a; // Null handle
    Weeble[] b = new Weeble[5]; // Null handles
    Weeble[] c = new Weeble[4];
    for(int i = 0; i < c.length; i++)
      c[i] = new Weeble();
    Weeble[] d = {
      new Weeble(), new Weeble(), new Weeble()
    };
    // Compile error: variable a not initialized:
    //!System.out.println("a.length=" + a.length);
    System.out.println("b.length = " + b.length);
    // The handles inside the array are 
    // automatically initialized to null:
    for(int i = 0; i < b.length; i++)
      System.out.println("b[" + i + "]=" + b[i]);
    System.out.println("c.length = " + c.length);
    System.out.println("d.length = " + d.length);
    a = d;
    System.out.println("a.length = " + a.length);
    // Java 1.1 initialization syntax:
    a = new Weeble[] {
      new Weeble(), new Weeble()
    };
    System.out.println("a.length = " + a.length);

    // Arrays of primitives:
    int[] e; // Null handle
    int[] f = new int[5];
    int[] g = new int[4];
    for(int i = 0; i < g.length; i++)
      g[i] = i*i;
    int[] h = { 11, 47, 93 };
    // Compile error: variable e not initialized:
    //!System.out.println("e.length=" + e.length);
    System.out.println("f.length = " + f.length);
    // The primitives inside the array are
    // automatically initialized to zero:
    for(int i = 0; i < f.length; i++)
      System.out.println("f[" + i + "]=" + f[i]);
    System.out.println("g.length = " + g.length);
    System.out.println("h.length = " + h.length);
    e = h;
    System.out.println("e.length = " + e.length);
    // Java 1.1 initialization syntax:
    e = new int[] { 1, 2 };
    System.out.println("e.length = " + e.length);
  }
} ///:~

Here’s the output from the program:
 

b.length = 5
b[0]=null
b[1]=null
b[2]=null
b[3]=null
b[4]=null
c.length = 4
d.length = 3
a.length = 3
a.length = 2
f.length = 5
f[0]=0
f[1]=0
f[2]=0
f[3]=0
f[4]=0
g.length = 4
h.length = 3
e.length = 3
e.length = 2

个中，数组a只是初始化成一个null句柄。此时，编译器会克制我们对这个句柄作任何实际操纵，除非已正确地初始化了它。数组b被初始化成指向由Weeble句柄组成的一个数组，但谁人数组里实际并未安排任何Weeble工具。然而，我们仍然可以查询谁人数组的巨细，因为b指向的是一个正当工具。这也为我们带来了一个困难：不行知道谁人数组里实际包括了几多个元素，因为length只汇报我们可将几多元素置入谁人数组。换言之，我们只知道数组工具的巨细或容量，不知其实际容纳了几多个元素。尽量如此，由于数组工具在建设之初会自动初始化成null，所以可查抄它是否为null，判定一个特定的数组“空位”是否容纳一个工具。雷同地，由根基数据范例组成的数组会自动初始化成零（针对数值范例）、null（字符范例）可能false（布尔范例）。
数组c显示出我们首先建设一个数组工具，再将Weeble工具赋给谁人数组的所有“空位”。数组d展现出“荟萃初始化”语法，从而建设数组工具（用new呼吁明晰举办，雷同于数组c），然后用Weeble工具举办初始化，全部事情在一条语句里完成。
下面这个表达式：

a = d;

向我们展示了如何取得同一个数组工具毗连的句柄，然后将其赋给另一个数组工具，就象我们针对工具句柄的其他任何范例做的那样。此刻，a和d都指向内存堆内同样的数组工具。
Java 1.1插手了一种新的数组初始化语法，可将其想象成“动态荟萃初始化”。由d回收的Java 1.0荟萃初始化要领例必需在界说d的同时举办。但若回收Java 1.1的语法，却可以在任那里所建设和初始化一个数组工具。譬喻，假设hide()要领用于取得一个Weeble工具数组，那么挪用它时传统的要领是：
hide(d);
但在Java 1.1中，亦可动态建设想作为参数通报的数组，如下所示：
hide(new Weeble[] {new Weeble(), new Weeble() });
这一新式语法使我们在某些场所下写代码更利便了。
上述例子的第二部门展现出这样一个问题：对付由根基数据范例组成的数组，它们的运作方法与工具数组极为相似，只是前者直接海涵了根基范例的数据值。

1. 根基数据范例荟萃
荟萃类只能容纳工具句柄。但对一个数组，却既可令其直接容纳根基范例的数据，亦可容纳指向工具的句柄。操作象Integer、Double之类的“封装器”类，可将根基数据范例的值置入一个荟萃里。但正如本章后头会在WordCount.java例子中讲到的那样，用于根基数据范例的封装器类只是在某些场所下才气发挥浸染。无论将根基范例的数据置入数组，照旧将其封装进入位于荟萃的一个类内，都涉及到执行效率的问题。显然，若能建设和会见一个根基数据范例数组，那么比起会见一个封装数据的荟萃，前者的效率会跨越很多。
虽然，如果筹备一种根基数据范例，同时又想要荟萃的机动性（在需要的时候可自动扩展，腾出更多的空间），就不宜利用数组，必需利用由封装的数据组成的一个荟萃。各人或者认为针对每种根基数据范例，都应有一种非凡范例的Vector。但Java并未提供这一特性。某些形式的建模机制或者会在某一天辅佐Java更好地办理这个问题（注释①）。

①：这儿是C++比Java做得好的一个处所，因为C++通过template要害字提供了对“参数化范例”的支持。