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