AbstractCollection中toArray()方法的疑惑

先看toArray()方法的源码：

首先创建了一个和该集合当前size大小一致的数组，然后以数组的长度为指标进行for循环向数组中添加元素(注意：并不是遍历迭代器哦)。为什么不是遍历迭代器？
1.如果有多个线程操作该集合，其中某个线程向集合中添加了元素，此时如果在迭代器的遍历中向数组中添加元素，则会抛出数组越界异常。
2.可能你会说，每次添加之前可以判断下r.length和size()的大小，size()更大时对数组进行扩容。但是这样很耗费性能。还有一个原因如下
3.可以看到 if 条件不成立时，改方法并没有返回数组r本身，而是以 i 为长度重新复制了一个数组作为返回值。这是因为有可能某个线程对该集合进行了删除操作，导致r.length>size(),为了节省空间，因此返回一个较小的数组。（个人对源码的理解，若有不同看法，还请路过的大佬指点！）

该方法是先对数组遍历结束后有判断了下迭代器是否还有元素。如果有则调用finishToArray()方法。否则返回 r.
接着看finishToArray()方法。

先存储了r.length的值到变量 i,而后在每次的while循环中，又重新取了数组的长度和 i作比较，这是数组判断扩容的条件。 if语句后面，每次给数组赋值后，i都会加1，整个过程中，变量r指向的引用在变，但是变量i跟踪数组中元素的总量，当总量达到扩容后的数组长度时，又重新出发扩容操作。
最后返回值先判断数组中元素总量和数组容量的大小关系。如果一致返回数组本身，如果i<r.length，为了节省空间，返回复制后的数组。