arraylist源码分析1.8_may和might「建议收藏」

Java Jdk 1.8 ArrayList源码中有下面代码：

public ArrayList(Collection<? extends E> c) {
        elementData = c.toArray();
        size = elementData.length;
        // c.toArray might (incorrectly) not return Object[] (see 6260652)
        if (elementData.getClass() != Object[].class)
            elementData = Arrays.copyOf(elementData, size, Object[].class);
    }

c.toArray might (incorrectly) not return Object[] (see 6260652)意思就是：public Object[] toArray() 返回的类型不一定就是 Object[]，其类型取决于其返回的实际类型.

see 6260652 这个编号代表JDK bug库中的编号。可以去官网查看bug详情：

http://bugs.java.com/bugdatabase/view_bug.do?bug_id=6260652

这个bug是什么意思呢？我们先来看看一些测试代码：

    public static void test1()
    {
        SubClass[] subArray = {
  
  new SubClass(), new SubClass()};
        System.out.println(subArray.getClass());

        // class [Lcollection.SubClass;
        BaseClass[] baseArray = subArray;
        System.out.println(baseArray.getClass());

        // java.lang.ArrayStoreException
        baseArray[0] = new BaseClass();
    }

    public static void test2()
    {
        List<String> list = Arrays.asList("a,b,c");

        // class java.util.Arrays$ArrayList
        System.out.println(list.getClass());

        // class [Ljava.lang.String;
        Object[] objArray = list.toArray();
        System.out.println(objArray.getClass());

        objArray[0] = new Object(); // cause ArrayStoreException
    }

    public static void test3()
    {
        List<String> dataList = new ArrayList<String>();
        dataList.add("one");
        dataList.add("two");

        Object[] listToArray = dataList.toArray();

        // class [Ljava.lang.Object;返回的是Object数组
        System.out.println(listToArray.getClass());
        listToArray[0] = "";
        listToArray[0] = 123;
        listToArray[0] = new Object();

    }

关于test1()：

SubClass 继承自BaseClass，由于SubClass数组中每一个元素都是SubClass对象，所以BaseClass[] baseArray = subArray;这种强制类型转换不会报错。这其实就是java对象的向上转型，子类数组转换成父类数组是允许的。但是由于数组中元素类型都是SubClass类型的，所以 baseArray[0] = new BaseClass();会报错java.lang.ArrayStoreException。这也就是说假如我们有1个Object[]数组，并不代表着我们可以将Object对象存进去，这取决于数组中元素实际的类型。

关于test2()：

List<String> list = Arrays.asList("abc");需要注意，可以知道返回的实际类型是java.util.Arrays$ArrayList，而不是ArrayList。我们调用 Object[] objArray = list.toArray();返回是String[]数组，所以我们不能将Object对象，放到objArray数组中。

关于test3()：

ArrayList对象的toArray()返回就是Object[]数组，所以我们可以将任意对象存放到返回的Object[]数组中。

通过test2和test3可以看出，如果我们有1个List<String> stringList对象，当我么调用Object[] objectArray = stringList.toArray();的时候，objectArray 并不一定能够放置Object对象。这就是源码中的注释：c.toArray might (incorrectly) not return Object[] (see 6260652)。为了考虑这种情况，所以源码中进行了if判断，来防止错误的数组对象导致异常。Arrays.copyOf(elementData, size, Object[].class);这个方法就是用来创建1个Object[]数组，这样数组中就可以存放任意对象了。

CopyOnWriteArrayList.Java中的public CopyOnWriteArrayList(Collection<? extends E> c)方法也有类似问题，请自行验证。

扩展：

ArrayList 中 toArray() 的源码如下：

public Object[] toArray() {
        return Arrays.copyOf(elementData, size);
}

该方法为什么返回的不一定就是 Object[] 呢？原因很简单，因为由于继承的原因，我们父类实例的具体类型，实际上是取决于在 new 时，我们所使用的子类类型。

我们写个测试代码。

① 新建一个 MyList，该类继承 ArrayList

@SuppressWarnings("serial")
public class MyList<E> extends ArrayList<E> { 
   

   // toArray() 的同名方法
   public String[] toArray() {
       return new String[]{
  
  "1", "2", "3"};
   }

}

② 测试代码

/** * 测试：c.toArray might (incorrectly) not return Object[] (see 6260652) 这个官方 bug */

public void test3() {
    List<String> ss = new LinkedList<String>();// LinkedList toArray() 返回的本身就是 Object[]
    ss.add("123");
    Object[] objs = ss.toArray();
    objs[0] = new Object();

    // 此处说明了：c.toArray might (incorrectly) not return Object[] (see 6260652)
    ss = new MyList<String>();
    objs = ss.toArray();
    System.out.println(objs.getClass());// class [Ljava.lang.String;
    objs[0] = new Object(); // java.lang.ArrayStoreException: java.lang.Object
}

通过控制打印，我们知道，当我们调用 List的 toArray() 时，我们实际上调用的是其具体实现类 MyList 中重写的 String[] toArray() 方法。因此，返回数组并不是 Object[] 而是 String[]，而向下转型是不安全的，因此会抛出异常。

通过分析这个官方bug，我们就记住了：

1. 抽象类(接口)其具体类型，取决于实例化时所采用的导出类的类型。
2. 子类实现和父类同名的方法，仅仅返回值不一致时，默认调用的是子类的那个实现方法。如 MyList 中的 String[] toArray().

今天的文章arraylist源码分析1.8_may和might「建议收藏」分享到此就结束了，感谢您的阅读。