为何显式按引用传递数组元素时IL代码中会生成赋值操作？

首先需要澄清.NET中两个极易混淆的概念：引用类型的按值传递和参数按引用传递，这是你遇到的异常的核心原因。

基础规则梳理 #

• 引用类型的变量本身存储的是堆中对象的内存地址，而非对象实体本身
• ByVal（按值传递，VB默认）：传递的是变量的副本。对于引用类型而言，这个副本是「对象地址的拷贝」，你可以通过该地址修改堆中对象的内部状态，但你修改参数变量本身的指向（比如让它指向新对象）不会影响调用方的原变量
• ByRef（按引用传递）：传递的是变量本身的内存指针，你不仅可以修改堆中对象的状态，修改参数变量本身的指向也会直接同步到调用方的原变量

额外赋值操作的生成原因 #

VB编译器对ByRef参数有严格的语义保证：当你把集合元素oList(0)作为ByRef参数传递给subB时，编译器必须确保如果subB内部修改了oObj的指向（比如执行oObj = New Object()），这个修改能正确回写到原集合的0号位置。
因此编译器会自动生成三段逻辑：

1. 先读取oList(0)的值存入临时变量oObj
2. 将该临时变量的指针传递给subB的ByRef参数
3. 执行完subB后，无论subB有没有修改oObj，都将oObj的最新值写回oList(0)

你看到的obj[0] = RuntimeHelpers.GetObjectValue(oObj)就是自动生成的回写逻辑。而ArrayList的索引器赋值会触发集合内部版本号自增，迭代过程中枚举器检测到版本号变化就会抛出「迭代时集合被修改」的异常，哪怕你逻辑上没有修改集合的内容。

移除ByRef后异常消失的原因 #

当subB的参数改为ByVal时，传递oList(0)只是把对象地址的副本传给subB，subB内部对参数变量的任何修改都不会影响原集合，编译器不需要生成回写逻辑，自然不会触发集合版本更新，异常也就不会出现。

最佳实践提示 #

ByRef的作用是允许方法修改参数变量本身的指向并同步到调用方，如果你只是需要修改对象的内部状态，完全不需要给引用类型参数加ByRef。哪怕subB内部没有修改oObj指向的逻辑，VB编译器也会按照语言规范生成回写代码，不会因为实际未修改参数就省略这一步。

内容的提问来源于stack exchange，提问作者Mark W