C#中foreach语句深入研究

1、概述

本文通过手动实现迭代器来了解foreach语句的本质。

2、使用foreach语句遍历集合

在C#中，使用foreach语句来遍历集合。foreach语句是微软提供的语法糖，使用它可以简化C#内置迭代器的使用复杂性。编译foreach语句，会生成调用GetEnumerator和MoveNext方法以及Current属性的代码，这些方法和属性恰是C#内置迭代器所提供的。下面将通过实例来说明这一切。

例1：使用foreach来遍历集合

//************************************************************  
//  
// foreach应用示例代码  
//  
// Author：三五月儿  
//   
// Date：2014/09/10  
//  
//  
//************************************************************  
using System;
using System.Collections;
using System.Collections.Generic;
namespace IEnumerableExp
{
  class Program
  {
    static void Main(string[] args)
    {
      List<Student> studentList = new List<Student>() 
      {
        new Student(){Id = 1, Name = "三五月儿", Age = 23},
        new Student(){Id = 2, Name = "张三丰", Age = 108},
        new Student(){Id = 3, Name = "艾尔克森", Age = 25},
        new Student(){Id = 3, Name = "穆里奇", Age = 27}
      };
      foreach (var student in studentList)
      {
        Console.WriteLine("Id = {0}, Name = {1}, Age = {2}", student.Id,student.Name,student.Age);
      }
    }
  }
  public class Student
  {
    public int Id { get; set; }
    public string Name { get; set; }
    public int Age { get; set; }
  }
}

代码中，使用foreach语句遍历Student对象的集合，依次输出Student对象的Id，Name，Age属性值。使用ILDASM查看程序对应的IL代码，下面这些是与foreach语句相关的IL代码：

IL_00c6: callvirt  instance valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<!0> class [mscorlib]System.Collections.Generic.List`1<class IEnumerableExp.Student>::GetEnumerator() 
IL_00d1: call  instance !0 valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<class IEnumerableExp.Student>::get_Current()
IL_0102: call  instance bool valuetype [mscorlib]System.Collections.Generic.List`1/Enumerator<class IEnumerableExp.Student>::MoveNext()

在IL代码中，是不是找到了GetEnumerator和MoveNext方法以及Current属性的身影，可见：foreach语句确实是微软提供的用来支持C#内置迭代器操作的语法糖，因为这些方法和属性正是C#内置迭代器所提供的。

当然，除了使用foreach语句来遍历集合外，还可以使用C#内置迭代器提供的方法和属性来遍历集合，本例中还可以使用下面的代码来完成遍历操作：

IEnumerator<Student> studentEnumerator = studentList.GetEnumerator();
while (studentEnumerator.MoveNext())
{
   var currentStudent = studentEnumerator.Current as Student;
   Console.WriteLine("Id = {0}, Name = {1}, Age = {2}", currentStudent.Id, currentStudent.Name, currentStudent.Age);
}

在第二种方法中，通过调用GetEnumerator和MoveNext方法以及Current属性来完成遍历操作，是不是与foreach语句编译后生成的代码一致啊。
两种遍历方法，都会得到下图所示结果：

图1 遍历集合元素

查看代码中GetEnumerator和MoveNext方法以及Current属性的定义，发现GetEnumerator方法来自于IEnumerable接口，而MoveNext方法与Current属性来自于IEnumerator接口。实现C#迭代器都应该实现这两个接口。下面就手动实现一个迭代器来操作学生对象的集合。

3、手动实现一个迭代器

前面使用到的是C#内置迭代器，当然，我们完全可以手动实现一个自己的迭代器。

例2：手动实现迭代器

//************************************************************  
//  
// foreach应用示例代码  
//  
// Author：三五月儿  
//   
// Date：2014/09/10  
//  
//  
//************************************************************  
using System;
using System.Collections;
using System.Collections.Generic;
namespace IEnumerableExp
{
  class Program
  {
    static void Main(string[] args)
    {
      Student[] students = new Student[4]
      {
        new Student(){Id = 1, Name = "三五月儿", Age = 23},
        new Student(){Id = 2, Name = "张三丰", Age = 108},
        new Student(){Id = 3, Name = "艾尔克森", Age = 25},
        new Student(){Id = 3, Name = "穆里奇", Age = 27}
      };
      StudentSet studentSet = new StudentSet(students);
      foreach (var student in studentSet)
      {
        Console.WriteLine("Id = {0}, Name = {1}, Age = {2}", student.Id, student.Name, student.Age);
      }
    }
  }
 
  public class Student
  {
    public int Id { get; set; }
    public string Name { get; set; }
    public int Age { get; set; }
  }
 
  public class StudentSet : IEnumerable
  {
    private Student[] students;
    public StudentSet(Student[] inputStudents)
    {
      students = new Student[inputStudents.Length];
      for (int i = 0; i < inputStudents.Length; i++)
      {
        students[i] = inputStudents[i];
      }
    }
 
    IEnumerator IEnumerable.GetEnumerator()
    {
      return (IEnumerator)GetEnumerator();
    }
 
    public StudentEnumerator GetEnumerator()
    {
      return new StudentEnumerator(students);
    }
  }
 
  public class StudentEnumerator : IEnumerator
  {
    public Student[] students;
    int position = -1;
    public StudentEnumerator(Student[] students)
    {
      this.students = students;
    }
 
    public bool MoveNext()
    {
      position++;
      return (position < students.Length);
    }
 
    public void Reset()
    {
      position = -1;
    }
 
    object IEnumerator.Current
    {
      get
      {
        return Current;
      }
    }
 
    public Student Current
    {
      get
      {
        try
        {
          return students[position];
        }
        catch (IndexOutOfRangeException)
        {
          throw new InvalidOperationException();
        }
      }
    }
  }
}

代码中定义学生集合类StudentSet，在类中使用Student类型的数组来保存学生元素，该类实现IEnumerable接口，所以StudentSet类必须实现IEnumerable接口的GetEnumerator方法，该方法返回实现了IEnumerator接口的迭代器StudentEnumerator。

下面来看看StudentEnumerator类的定义，StudentEnumerator表示遍历学生集合的迭代器，使用它提供的方法和属性可以遍历集合的元素，该类实现IEnumerator接口，所以必须实现IEnumerator接口提供的MoveNext和Reset方法以及Current属性。StudentEnumerator类使用Student类型的集合students来保存需要遍历的集合。使用私有变量position来记录元素的位置，一开始position被赋值为-1，定位于集合中第一个元素的前面，在Reset方法中也可以将position的值置为-1，表示回到遍历操作前的状态。在MoveNext方法中先将position加1，再将其与集合的长度进行比较，看是否已经遍历完了所有元素，若未完返回true，否则返回false。在只读属性Current的实现中通过代码students[position]返回students集合中position位置的元素值。在使用迭代器时，需要先调用MoveNext方法判断下一个元素是否存在，如存在使用Current属性得到这个值，若不存在则表示已经遍历完所有元素，将停止遍历操作。

代码中同样使用foreach语句来遍历StudentSet对象中的元素并输出，与使用内置迭代器的效果一致。

 4、总结

实现迭代器需要借助于IEnumerable与IEnumerator接口，接口IEnumerator提供的方法GetEnumerator可以返回实现IEnumerator接口的迭代器，而IEnumerator接口中包含了实现迭代器所需的方法及属性的定义。凡是实现了迭代器的类都可以使用foreach语句来遍历其元素，因为foreach语句是微软提供的支持内置迭代器的语法糖，编译foreach语句后生成的代码与使用迭代器的代码完全一致。