arraylist扩容机制的核心是：触发条件为size == elementdata.length；初始容量采用延迟初始化，无参构造创建空数组，首次add才设为10；增长公式为newcapacity = oldcapacity + (oldcapacity >> 1)，即高效位运算实现的1.5倍扩容；数据迁移通过arrays.copyof委托system.arraycopy完成jvm级内存块复制。
构建关于 ArrayList 扩容机制的底层知识图谱，关键在于把零散的技术点组织成有逻辑、可追溯、能支撑理解与面试表达的结构化网络。不是罗列源码，而是理清“为什么这样设计”“在什么环节起作用”“和其他组件如何联动”。
扩容机制的核心节点必须包含
一个完整的知识图谱起点，是锚定四个不可替代的核心要素：
- 触发条件：size == elementData.length（不是“快满了”，而是插入前精确判定已满）
- 初始容量：无参构造创建空数组（DEFAULTCAPACITY_EMPTY_ELEMENTDATA），首次 add 才初始化为 10
- 增长公式：newCapacity = oldCapacity + (oldCapacity >> 1)，即 1.5 倍（非四舍五入，是位运算，高效且避免浮点）
- 数据迁移：Arrays.copyOf 底层调用 System.arraycopy，是 JVM 层优化的内存块复制，非逐个赋值
向上关联集合框架定位
扩容不是孤立行为，它嵌套在 ArrayList 的整体生命周期中：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- 它依赖于 AbstractList 提供的通用增删改查骨架，但扩容逻辑完全由 ArrayList 自己实现
- 它和 RandomAccess 接口强相关——因为连续数组才能支持 O(1) 访问，而扩容正是维持这种连续性的代价补偿机制
- 它区别于 LinkedList 的“无扩容”特性：后者没有固定容量概念，每次 add 都新建 Node，代价均摊但无突增开销
向下延伸到底层运行细节
真正理解扩容，要看到 JVM 内存和数组本质：
- elementData 是 transient Object[]，序列化时被跳过，扩容后新数组不继承旧对象引用，只复制元素引用（浅拷贝）
- grow 方法中，ArraysSupport.newLength 不仅计算 1.5 倍，还会确保 newCapacity ≥ minCapacity（比如 ensureCapacity(20) 强制扩到至少 20）
- 当 oldCapacity 为 0（如空构造后第一次 add），直接走 else 分支：new Object[Math.max(10, minCapacity)]，避免 0→0 的无效循环
横向对比强化认知边界
把扩容放在对比坐标系里，才能看清它的取舍：
- vs Vector：Vector 扩容是 2 倍且线程安全（synchronized），ArrayList 选择 1.5 倍是为了在空间效率和扩容频次间折中
- vs 自定义顺序表：很多手写顺序表用 2 倍扩容，但 ArrayList 的 1.5 倍经实测摊还成本更优，减少内存浪费同时控制 resize 次数
- vs CopyOnWriteArrayList：后者写操作全程复制整个数组，扩容逻辑完全不同，适用于读多写极少场景
这个图谱不需要一次性画完，可以从“add → size 判断 → grow → newLength → copyOf”这条主路径出发，逐步挂载约束条件、异常分支（如内存溢出）、性能影响（GC 压力、CPU 缓存失效）等子节点。真正扎实的底层理解，就藏在这些连接关系里。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
