不能不说的C#特性-迭代器(上)及一些研究过程中的副产品

看看最后的测试，是不是不管具体的集合如何改变，遍历代码都非常稳定？而且扩展新的集合类也非常方便，只是添加代码不会修改原来的代码，符合开闭原则。当然，这么好的解决方案微软当然不会放过，现在C# 2.0里已经内置了对迭代器的支持，看看System.Collections, System.Collections.Generic命名空间，所有的集合都实现了这个接口：IEnumerable，这个接口还有泛型的版本。注意到这个接口只有一个方法：IEnumerator GetEnumerator();，IEnumerator就是迭代器的接口，相当于我的实例里面的Iterator，它也有泛型的版本。

那么现在在.net里所有的集合类都可以这样访问了：

IEnumerator ienumerator = list.GetEnumerator();
while(ienumerator.MoveNext())
{
object current = ienumerator.Current;
}

但是这样访问也太麻烦了，所以C#里出现了foreach关键字，我们来看看foreach背后发生了什么

public static void Main()

{

ArrayList list = new ArrayList();

list.Add(1);

list.Add(2);

list.Add(3);

foreach (object item in list)

{

Console.WriteLine(item.ToString());

}

下面是它对应的IL代码：

Code
.method private hidebysig static void Main() cil managed
{
    .entrypoint
    .maxstack 2
    .locals init (
        [0] class [mscorlib]System.Collections.ArrayList list,
        [1] object item,
        [2] class [mscorlib]System.Collections.IEnumerator CS$5$0000,
        [3] class [mscorlib]System.IDisposable CS$0$0001)
    L_0000: newobj instance void [mscorlib]System.Collections.ArrayList::.ctor()
    L_0005: stloc.0 
    L_0006: ldloc.0 
    L_0007: ldc.i4.1 
    L_0008: box int32
    L_000d: callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
    L_0012: pop 
    L_0013: ldloc.0 
    L_0014: ldc.i4.2 
    L_0015: box int32
    L_001a: callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
    L_001f: pop 
    L_0020: ldloc.0 
    L_0021: ldc.i4.3 
    L_0022: box int32
    L_0027: callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)
    L_002c: pop 
    L_002d: ldloc.0 
    L_002e: callvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Collections.ArrayList::GetEnumerator()
    L_0033: stloc.2 
    L_0034: br.s L_0048
    L_0036: ldloc.2 
    L_0037: callvirt instance object [mscorlib]System.Collections.IEnumerator::get_Current()
    L_003c: stloc.1 
    L_003d: ldloc.1 
    L_003e: callvirt instance string [mscorlib]System.Object::ToString()
    L_0043: call void [mscorlib]System.Console::WriteLine(string)
    L_0048: ldloc.2 
    L_0049: callvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()
    L_004e: brtrue.s L_0036
    L_0050: leave.s L_0063
    L_0052: ldloc.2 
    L_0053: isinst [mscorlib]System.IDisposable
    L_0058: stloc.3 
    L_0059: ldloc.3 
    L_005a: brfalse.s L_0062
    L_005c: ldloc.3 
    L_005d: callvirt instance void [mscorlib]System.IDisposable::Dispose()
    L_0062: endfinally 
    L_0063: call string [mscorlib]System.Console::ReadLine()
    L_0068: pop 
    L_0069: ret 
    .try L_0034 to L_0052 finally handler L_0052 to L_0063
}

从.locals init 那里可以看出编译器为我们添加了两个局部变量，一个就是迭代器。

L_002d: ldloc.0
L_002e: callvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Collections.ArrayList::GetEnumerator()
L_0033: stloc.2

这三行代码告诉我们，调用list的GetEnumerator()方法，获取迭代器实例将其赋值给编译器为我们添加的那个迭代器局部变量，接着是L_0034: br.s L_0048，br.s这个指令是强制跳转，我们接着看

L_0048: ldloc.2
L_0049: callvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()

[第1页][第2页][第3页]

标签：linq C# 迭代器

不能不说的C#特性-迭代器(上)及一些研究过程中的副产品

系列文章导航：

推荐链接

数据库热门文章

数据库最新文章

最新新闻

热门新闻