.NET Framework 4.0 Beta1里的Expression Tree一例

用ETv2构造出来的函数基本等价于一个含有普通foreach循环的lambda：

C#代码

() => {
    foreach (var i in list) {
        Console.WriteLine(i);
    }
}

注意到foreach循环可以被展开为while循环：

C#代码

() => {
    var iter = list.GetEnumerator();
    while (iter.MoveNext()) {
        var i = iter.Current;
        Console.WriteLine(i);
    }
}

我用ETv2实现的lambda实际上是这样的：

C#代码

() => {
    var iter = list.GetEnumerator();
    int i;
    while (true)
        if (iter.MoveNext()) {
            i = iter.Current;
            Console.WriteLine(i);
        } else
            break;
}

后来想了想，我应该把vI放在if里的block来声明的，会更符合foreach的语义。不过懒得开虚拟机去改了……

写成while (true)是因为ETv2里的LoopExpression就是代表一个无限循环，外加用户可自定义的条件分支及跳转目标（BreakTarget和ContinueTarget）。在C-like语言里，基本循环结构可以分为条件前置的while/for和条件后置的do...while两种。但总有些时候我们希望既不是在开头也不是在结尾，而是在循环体的中间来判断循环条件；在C-like语言里我们就只好用无限循环+条件语句来模拟这种半中腰的循环结构。ETv2为了提供最大的弹性，提供的基本循环结构就是这种代表无限循环的LoopExpression。但这样的基本结构用起来总让人嫌麻烦，还好CodePlex上的DLR里有特化版本的循环结构，只是没赶上.NET 4这趟车而已。