今天说点什么好呢？来说一下集合（ArrayList）为什么会不安全吧。（继上回说的cas）

向右看齐 2021-10-09 08:54 231阅读 0赞

ArrayList，基本不陌生的，我们看看API

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70][]

很常用的一个动态数组，话不多说，直接上代码（笔者是jdk8）

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 1][]

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 2][]

注意观察其add方法，一进入就是两个！！，增加数量。哈哈哈

注意：arrayList将元素添加至list尾部。

一步一步分析哈

ensureCapacityInternal()是什么方法呢？

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 3][]

两个私有方法，跳来跳去，真的迷。

他到底做了个什么工作呢？

先看此方法

![20200731163450531.png][]

![20200731163600775.png][]

也就是说，ArrayList如果为空，那么必须最小容量是10，

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 4][]

![202007311639021.png][]

可以看到上述方法，简单注释了一下，我们可以发现这个modCount很多注释，

分析一下：

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 5][]

采用迭代器遍历，会抛并发修改异常。。

继续，我们看看grow()

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 6][]

不难理解，

（1）记录旧数组长度

（2）生成新数组长度（旧数组长度+ 旧数组长度>>1）也是就是假如原先长度为8，那么新长度为12，这也是他扩容的公式。

（3）判断新数组长度是否小于最小容量，取最大值

（4）判断新数组长度是否大于最大数组长度，大于的话，则进入hugeCapacity()

a.判断最小值是否为负数，是则抛OutOfMemoryError()；错误（内存不足错误）

b.然后再判断，哈！你竟然真的比最大数组值还大，那就是给你取Integer.MAX\_VALUE吧。否则，那你就是取MAX\_ARRAY\_SIZE;

（5）然后使用Arrays.copyOf()方法，将新的数组替换原先数组，注意，此处是将新的扩容后的数组，替换原先数组。

上面说到了一个常量MAX\_ARRAY\_SIZE，我们分析一下：

其实使用Integer.MAX\_VALUE没什么异议，都是为了保护VM，限制其大小

但是有趣的是其为什么-8,？？？？？？？？？？？？？？

通过查阅资料可得，我们在定义数组的时候，还会存在一些数组的元数据（结构，形状）。那么我们需要额外存储这些数据，那么这些数据就是占8个字节。那么我们在数组长度的时候，就会额外流出8个字节；这点类型mysql数据库中的隐藏字段（mvcc，记录更新时间）

![20200731170137611.png][]

最长字节为2的31次方。

言归正传，这个时候，好像并不直接报错了。那么我们直接搜索一下ArrayList这个类中

ConcurrentModificationException

发现，很多地方都会自动抛出这个异常

我们挑一个方法来分析一下

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 7][]

这个方法，他获取了modCount，然后执行了一系列动作后，再对比一下这个全局变量的modCount和这个局部变量的expectedModCount不一样，就毫不留情的跑异常。。。。

他可能是这么认为的，我写前是10个元素，写完后，元素个数变了。！！！我惊了。这不是欺负老实人吗！！我不答应。这不，抛异常了。

所以，很多地方都是如此设计的。我们再品。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 8][]

最核心的还是这个迭代器，你必须按规定使用，不按规定，直接抛异常。

先看看next();

（1）首先，定义了三个整形变量。一个默认值是0，一个默认值是-1，一个默认值是局部数组长度

（2）如果不使用hasNext()，直接next()会怎么样？基本知道，你都没判断当前数组下标是不是不等于整个数组大小了。直接下一个下标。基本上会出现数组下标溢出错误。但是笔者刚看到这里，不等于？？？如果我大于呢？这调用hasNext()，也会返回ture啊！！

（3）细节来了，![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 9][]

先用i接收当前指针位置，然后判断当前指针是否大于数组大小，大于，则立刻抛出“没有这样的元素异常”

（4）在进入next()前，第一步，先判断局部初始化的时候，判断两数组长度变量是否相等，不相等直接抛！！！！

![20200731180301442.png][]

（5）然后再活动当前指针的时候，又会判断是否大于等于刚刚获取到的数组的长度。大于等于，直接抛！

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 10][]

（6）然后再i+1,再获取对应下标元素

next()分析就到这里了，总结一句话，arrayList的实现，是一个极度缺乏安全感的集合。并且，他自身也极度缺乏，所以只有通过抛异常来表达自己的不公。

并且最后一步，其实也是不安全的，他只是判断是否大于，如果恰好不大于呢？那数据就有问题了。

总结而已，ArrayList不安全。

下一期，我们聊聊Set和Map，为什么一起聊他们两个呢？下次你就知道了！哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈

下次也聊聊

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 11][]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70]: /images/20211009/399ea05de7ee462b9442e60a4828a3ea.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 1]: /images/20211009/2b864b1d7be44c67bbb6640739d38a9d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 2]: /images/20211009/35600e2e559d4a469fa07e41db199091.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 3]: /images/20211009/06c5722ea60b4be09bb9eb3734c6ab1d.png
[20200731163450531.png]: /images/20211009/16dcdb12e4bf4893bd5dee3955ca7bee.png
[20200731163600775.png]: /images/20211009/861980de79a745a4aa8aba7308ac9e00.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 4]: /images/20211009/1f7c8ab10e11429ea26634f2e38c97a6.png
[202007311639021.png]: /images/20211009/f2ef4324a00b41f0bf88046a04237560.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 5]: /images/20211009/d77b42ca57204c69bf4a9a69263c1411.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 6]: /images/20211009/949c9a9937f04b068871265b9fb6fff0.png
[20200731170137611.png]: /images/20211009/303da9bf696c4be39374c00799708900.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 7]: /images/20211009/7ae56cf0f3b9433fa3d6112c9ea2c5c9.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 8]: /images/20211009/1a1c5e8e15d74244a837793874bc80a2.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 9]: /images/20211009/3e4c154a55c64a40a740ba519a00bf12.png
[20200731180301442.png]: /images/20211009/80e90aa8f9e94201bb63705192c7a68c.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 10]: /images/20211009/2276ea4c23ed4c7b9fce27db154b3ca6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMjIzNjg4_size_16_color_FFFFFF_t_70 11]: /images/20211009/b7a5607f2b714b8bb24451c05dcda678.png