C#编译器是否会在最终二进制文件中保留重复对象引用？

问题背景 #

我编写了如下C#代码：

private static void Tokenize(RichTextLabel Log,string commandString){
    Log.Text += "\n&";
    int[] tokens = new int[5];
    int current = 0;
    while (current < commandString.Length){
        switch (commandString[current]){
        case ' ':
            Log.Text += "+";
            break;
        default:
            Log.Text += "_";
            break;
        }
        current++;
    }
    Log.Text += "\n";
}

在Rider的IL查看器中查看“编译后的代码”（已知并非所有场景都完全精准）时，得到如下结果：

private static void Tokenize(RichTextLabel Log, string commandString)
{
  RichTextLabel richTextLabel1 = Log;
  richTextLabel1.Text = string.Concat(richTextLabel1.Text, "\n&");
  int[] tokens = new int[5];
  for (int current = 0; current < commandString.Length; ++current)
  {
    if (commandString[current] == ' ')
    {
      RichTextLabel richTextLabel2 = Log;
      richTextLabel2.Text = string.Concat(richTextLabel2.Text, "+");
    }
    else
    {
      RichTextLabel richTextLabel3 = Log;
      richTextLabel3.Text = string.Concat(richTextLabel3.Text, "_");
    }
  }
  RichTextLabel richTextLabel4 = Log;
  richTextLabel4.Text = string.Concat(richTextLabel4.Text, "\n");
}

可以看到生成了4处重复的RichTextLabel richTextLabel = Log;语句。请问该结果是否准确？若准确，为何需要多次重复引用该对象？

解答 #

1. 结果的准确性 #

这个反编译结果基本准确，但要明确：Rider展示的是将IL反编译回C#的代码，并非编译器直接输出的C#代码，但它真实反映了IL层面的执行逻辑——每次访问Log.Text时，都会先获取Log参数的当前值，再访问其Text属性。

2. 重复引用的原因 #

这是C#编译器处理参数属性访问的常规行为，核心原因有两点：

• 保障访问的可靠性：编译器无法提前确定参数Log是否会被其他逻辑（比如多线程操作、隐式修改代码）改变，每次重新获取参数值，能确保访问的是最新的对象引用，避免使用过期的引用。
• 适配IL指令特性：IL是栈式指令集，访问对象属性需要先把对象引用压入栈。对于方法参数，每次访问属性都要执行ldarg.0指令加载参数到栈，反编译工具为了直观呈现这个过程，就用临时变量来对应栈上的对象引用，看起来像是重复赋值。

3. 性能层面的影响 #

完全不用担心性能损耗：JIT编译器在运行时会进行优化，这些临时变量会被直接消除，实际运行的代码和你手写的直接访问Log.Text几乎没有差异。

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