在foreach语句中使用枚举，可以迭代数组或集合中的元素，且无须知道集合中的元素的个数。如图显示了调用foreach方法的客户端和集合之间的关系。数组或集合实现带GetEnumerator()方法的IEnumerable接口。GetEnumerator()方法返回一个实现lEnumerable接口的枚举，接着foreach语句就可以使用IEnumerable接口迭代集合了。
GetEnumerator()方法用IEnumerable接口定义，foreach语句并不真的需要在集合类中实现这个接口。有一个名为GetEnumerator()的方法它返回实现了IEnumerator接口的对象就足够了。
先定义一个Person类，这个类有自动实现的属性Firstname和Lastname,以及从Object类重写ToString方法和继承泛型接口IEquatable以比较两个对象是否相等，实现泛型接口IComparer以比较两个对象用来排序。
public class Person : IEquatable,IComparable { public int Id { get; private set; } public string FirstName { get; set; } public string LastName { get; set; } public override string ToString() { return String.Format("{0}, {1} {2}", Id, FirstName, LastName); } public bool Equals(Person other) { if (other == null) return base.Equals(other); return this.FirstName == other.FirstName && this.LastName == other.LastName; } public int CompareTo(Person other) { if (other == null) throw new ArgumentNullException("other"); int result = this.LastName.CompareTo(other.LastName); if (result == 0) { result = this.FirstName.CompareTo(other.FirstName); } return result; } }
创建一个三个元素的person数组，现对数组进行排序在用foreach循环访问数组中的元素并输出
Person[] persons = { new Person { FirstName = "Simen03", LastName = "Go" }, new Person { FirstName = "Simen02", LastName = "Go" }, new Person { FirstName = "Simen01", LastName = "Go" }
};
Array.Sort(persons); foreach (var person in persons)
Console.WriteLine(person);
分析foreach (var person in persons)Console.WriteLine(person);这段代码IL代码
// loop start (head: IL_009b) IL_008a: ldloc.2 IL_008b: ldloc.3 IL_008c: ldelem.ref IL_008d: stloc.s person IL_008f: ldloc.s person IL_0091: call void [mscorlib]System.Console::WriteLine(object) IL_0096: nop IL_0097: ldloc.3 IL_0098: ldc.i4.1 IL_0099: add IL_009a: stloc.3 IL_009b: ldloc.3 IL_009c: ldloc.2 IL_009d: ldlen IL_009e: conv.i4 IL_009f: blt.s IL_008a // end loop
C#的foreach语句不会解析为IL代码中的foreach语句，C#编译器会把foreach语句转换为IEnumerable接口的方法和属性，foreach语句使用IEnumerator接口的方法和属性，迭代数组中的所有元素，为此，IEnumerator定义了Current属性，来返回光标所在的元素，该接口的MoveNext()方法移动到数组的下一个元素上，如果有这个元素该方法就返回true否则返回false，这个接口的泛型版本IEnumerator派生自接口IDisposable，因此定义了Dispose()方法来清理枚举器占用的资源，使用foreach语句会解析为下面的代码段
IEnumerator enumerator = persons.GetEnumerator(); while (enumerator.MoveNext())
{ var person = enumerator.Current;
Console.WriteLine(person);
}
为了方便的创建枚举器，C#添加了yield语句，yield return 语句返回集合的一个元素，并移动到下一个元素，yield break 可停止迭代。使用迭代块，编译器会生成一个yield类型，其中包含一个状态机，如下代码段所示。yield 类型实现IEnumerator和IDisposable接口的属性和方法。在下面的例子中，可以把yield类型看作内部类Enumerator.外部类的GetEnumerator()方法实例化并返回一个新的yield类型。在yield类型中，变量state定义了迭代的当前位置，每次调用MoveNext()时，当前位置都会改变，MoveNext()封装了迭代代码，并设置了current变量的值，从而使Current属性根据位置返回一个对象。
static void Main(string[] args)
{ var helloCollection = new HelloCollection(); foreach (string s in helloCollection)
{
Console.WriteLine(s);
}
} public class HelloCollection
{ public IEnumerator GetEnumerator()
{ yield return "Hello"; yield return "World";
}
} public class HelloCollectionOther
{ public IEnumerator GetEnumertor()
{ return new Enumerator(0);
} public class Enumerator : IEnumerator, IEnumerator, IDisposable
{ private int state; private string current; public Enumerator(int state)
{ this.state = state;
} public string Current => throw new NotImplementedException(); object IEnumerator.Current
{ get { return current; }
} public void Dispose()
{ throw new NotImplementedException();
} public bool MoveNext()
{ switch (state)
{ case 0:current = "hello";
state = 1; return true; case 1:current = "world";
state = 2; return true; case 2: break;
} return false;
} public void Reset()
{ throw new NotImplementedException();
}
}
}