Java 基础：数组

标签：

一、数组声明:

int[] x;
int x[];

在Java中一般使用前者，机把int[]看做一个类型，C++中只能后者

二、数组初始化:

直接提供值：

int[]   x = {1, 3, 4};
int[][] y = {
                   {1, 2, 3},
                   {4, 5}
            };

各个维度的长度信息直接根据提供的值得出。这种使用大括号包裹的值序列作为数组看待，仅仅在数组初始化时才成立，其他情况均认为语法错误。

赋值初始化：

1.默认数组对象：

int[] x = new int[5];
Integer[] y = new Integer[5];

基本类型数组元素为0/false，引用类型的数组元素初值全为null

2.匿名数组对象

int x[] = new int[] { 1, 2 };

匿名数组可以指定数组内的值，不仅可以用在数组类型变量的初始化（其实就是一个赋值）还可以作为函数参数：

    public static void main(final String[] args) {
        print(new String[] { "first line", "second line" });
    }

    public static void print(final String[] lines) {
        for (String line : lines) {
            System.out.println(line);
        }
    }

匿名数组再指定其内值后不能再指定其维度上的长度，也就是说默认数组对象和匿名数组对象只能二选一。

三、数组类型

数组是协变类型(covariant)，参见stackoverflow上的讨论：http://stackoverflow.com/questions/18666710/why-are-arrays-covariant-but-generics-are-invariant

简单来说就是如果Male是Man的子类那么，Male[]也是一个Man[]。由讨论可知早期的Java是没有泛型的，所以类似的任务需要把不同类型一些通用处理函数的形参定为Object[]来处理。

现在依旧可以直接使用如下代码：

        ArrayList x = new ArrayList();
        x.add(new Integer(100));
        System.out.println(x.get(0));

只不过会给出警告:

"ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized" raw type就是Object类型。

当加入类型参数后就不会有警告了，即有了泛型后，可以保证容器在编译阶段的类型安全，但实际上编译后使用的其实还是raw type那份代码，不像C++模板真的会有一份独立的代码生成，这个过程称为类型擦除。

如果把数组和泛型结合起来会失败：

        List<String>[] x = new List<String>[] { new ArrayList<String>() };
        List<String>[] y = new List<String>[2];

以上两行均有错误提示不能创建对应的泛型list容器的数组。按照Thinking in Java上的说法是：类型擦除会移除数组的类型信息，而数组必须知道他们所持有的确切类型，以强制保证类型安全。不过我们知道，List<String>是List的子类型（这么说是否合适？），而数组又是协变的，那么可以这么做实现上述操作：

        List<String>[] z = new List[10];
        z[0] = new ArrayList<String>();
        z[0].add("haha");
        System.out.println(z[0].get(0));

只有第一行会出现警告，后面的操作其实都包含了泛型检查（信息来自List<String>数组定义）。

Java 基础：数组

标签：

原文地址：http://www.cnblogs.com/lailailai/p/4229851.html