一、引言：一个看似简单的问题
1.1 每天都在用的 List
C# 开发者的日常几乎离不开List<T>。我们随手就能写出这样的代码：
List<int>nums=new();for(inti=0;i<1000000;i++){nums.Add(i);}这段代码运行流畅，毫无停顿，但如果我们停下来想一想，会发现它背后藏着一些值得深挖的问题：
- 数组长度不是固定的吗？
List<T>为什么能够看似无限增长？Add方法的时间复杂度为什么被认为是 O(1)？- 为什么扩容选择 2 倍，而不是 1.5 倍或 3 倍？
这些问题的答案，正好反映了高级语言集合类在现代工程中的精巧设计。
1.2 一个优秀容器背后的工程权衡
本文将从以下几个角度展开：
- 动态数组的内部原理
- 数学推导与等比数列
- 摊还分析（Amortized Analysis，如哈希表冲突解决、动态数组扩容均依赖此方法）
- CLR 内存模型与 GC
- 不同语言的扩容策略对比
最终，我们将彻底解释为什么List<T>最终选择了 2 倍扩容策略。
二、List 的本质：动态数组
2.1 List 的内部结构
List<T>的核心数据结构非常简洁，本质上就是对一个数组的封装：
privateT[]_items;// 存放数据的内部数组privateint_size;// 实际元素个数_items负责存储所有元素，其长度就是当前容量（Capacity）。_size记录当前实际存储的元素数量，它一定小于或等于容量。
可以这样理解：
List<T> 本质上就是 T[] 的高级封装2.2 数组为什么无法扩容
连续内存布局
数组元素在内存中是连续存放的，例如一个包含 4 个 int 的数组：
┌────┬────┬────┬────┐ │ 10 │ 20 │ 30 │ 40 │ └────┴────┴────┴────┘这种连续布局带来了巨大的性能优势：
- 缓存友好（Cache Friendly）：由于 CPU 以缓存行（Cache Line，通常为 64 字节）为单位加载数据，连续内存意味着一次加载就能将多个相邻元素拉入缓存，完美契合局部性原则。
- 可能触发 CPU 预取（Prefetch）：因内存连续，硬件预取器能够提前猜测访问模式并将后续数据加载到缓存中。
- O(1) 随机访问：通过基地址加偏移量立即定位任意元素。
长度在创建时即确定
当我们在 C# 中创建一个数组：
vararr=newint[4];CLR 在堆上分配的内存结构大致为：
[对象头] + [数组长度] + [元素存储区]一旦分配完成，长度字段就是不可变的。假设我们想把这个数组的容
