首页

C#的Lambda表达式是动态生成的吗？第1页

rednaxelafx 网友的相关建议:

C#里lambda表达式的解糖方式，取决于lambda捕获的东西有多少，有若干不同的方式。

针对题主的例子，假如有这样的代码：

       using System; using System.Collections.Concurrent;       public class Program {  public static void Foo<TKey, TVal>(ConcurrentDictionary<TKey, TVal> concDict, TKey key, TVal newValue) {   concDict.AddOrUpdate(key, newValue, (cKey, oldValue) => newValue);  } }

C#编译器会在编译时将它解语法糖，生成一些额外的代码。由于这里的lambda捕获了一个方法参数（局部变量的话也一样），这里选择的解糖方式是：

生成一个新的“匿名”类来持有被捕获的变量。被捕获的变量就变成了这个类的成员变量。这叫做“提升”（hoisting）。然后在所有原本访问那个被捕获变量的地方，都会被改写为访问这个提升后的成员变量。这样就实现了“引用捕获”（capture-by-reference）的语义；
将lambda表达式的函数体解糖为上述新生成的类的成员方法。

于是解糖后，这个例子的代码会变成下面这样：

（下面的代码里名字都是csc.exe实际生成的样子。它故意要用一些C#不允许用做标识符的符号作为名字的一部分，避免跟用户写的代码里的标识符冲突）

       using System; using System.Collections.Concurrent;       public class Program {  // generated class for captured arguments/local variables  private class <>c__DisplayClass1`2'<TKey,TVal> {   public TVal newValue;   public TVal <Foo>b__0(TKey cKey, TVal oldValue) {    return this.newValue;   }  }   public static void Foo<TKey, TVal>(ConcurrentDictionary<TKey, TVal> concDict, TKey key, TVal newValue) {   var captures = new <>c__DisplayClass1`2'<TKey,TVal>();   captures.newValue = newValue;   var lambda = new Func3<TKey, TVal, TVal>(captures.<Foo>b__0);   concDict.AddOrUpdate(key, captures.newValue, lambda);  } }