.NET集合源码中内部数组本地变量副本的作用探究

先看这段Peek的实现，里面的T[] array = _array;写法在.NET集合源码里很常见，核心作用主要有两个：性能优化和规避多线程下的潜在问题，具体拆解如下：

1. 性能层面的优化 #

类的字段_array是存储在堆上的对象引用，每次读取都需要通过对象实例的指针间接访问。而把它赋值给本地变量后，JIT编译器会把这个本地变量优化到栈上，后续访问的速度更快——尤其是在需要多次引用数组的场景里，能减少重复读取字段的开销。

2. 避免多线程下的潜在访问错误 #

虽然Stack<T>本身不是线程安全的集合（官方明确要求多线程操作必须手动加锁），但这个本地副本的写法能规避一种极端情况：假设在执行if ((uint)size >= (uint)_array.Length)之后，另一个线程刚好触发了扩容操作替换了_array字段，此时再去读取_array[size]就可能访问到一个长度更小的数组，直接引发索引越界异常。

用本地副本后，整个方法执行过程中用的都是同一个数组引用，判断长度和读取元素的操作基于同一个数组，不会出现这种前后逻辑不一致的问题。

3. 为何不直接使用类字段_array？ #

直接用类字段有两个弊端：

• 性能不如本地变量：栈上的本地变量访问速度远快于堆上的类字段；
• 无法保证引用一致性：多线程场景下，_array的引用可能在方法执行中途被其他线程修改，导致判断和读取操作的数组不是同一个，引发潜在的异常。

本地副本相当于在方法执行的瞬间“快照”了当前的数组引用，确保整个操作逻辑的连贯性。

内容的提问来源于stack exchange，提问作者pink li