1. 一个Collection要支持foreach方式的遍历,必须实现IEnumerable接口(亦即,必须以某种方式返回IEnumerator对象)。
2. IEnumerator对象具体实现了iterator(通过MoveNext(),Reset(),Current)。
3. 从这两个接口的用词选择上,也可以看出其不同:IEnumerable是一个声明式的接口,声明实现该接口的class是“可枚举(enumerable)”的,但并没有说明如何实现枚举器(iterator);IEnumerator是一个实现式的接口,IEnumerator对象就是一个iterator(迭代器)。
4. IEnumerable和IEnumerator通过IEnumerable的GetEnumerator()方法建立了连接,可以通过IEnumerable的GetEnumerator()得到IEnumerator对象。
5. 由于IEnumerable<T>扩展(继承)了旧的IEnumerable接口,所以要实现两个不同的方法:
IEnumerator<T> GetEnumerator();
IEnumerator GetEnumerator(); // 由于和泛型版本的方法同名,所以该方法的实现需要使用显式接口实现
为什么集合类不直接继承(支持)IEnumerator<T>和IEnumerator接口?
假如同时有两个循环交错遍历同一个集合(一个foreach嵌套了另外一个foreach),那么集合必须维持当前元素的一个状态指示器,确保当调用MoveNext()方法时,能正确定位下一个元素。
为了解决这个问题,集合类不直接支持IEnumerator<T>和IEnumerator接口。而是通过IEnumerable的GetEnumerator返回一个新的IEnumerator对象来负责维护循环遍历的状态,IEnumerator(迭代器,或者叫枚举数)相当于一个“游标”(cursor)或者“书签”。可以有多个书签,移动每个书签都可独立于其他书签来遍历集合。
class Program
{
static void Main(string[] args)
{
CountingEnumerable counter = new CountingEnumerable();
foreach (int x in counter)
{
Console.WriteLine(x);
}
Console.ReadKey();
}
}
class CountingEnumerable : IEnumerable<int>
{
public IEnumerator<int> GetEnumerator()
{
return new CountingEnumerator(); // 返回一个新的迭代器,是为了维护状态
}
// 由于IEnumerable<T>继承IEnumerable,两个接口的GetEnumerator方法同名
// 所以对于非泛型的IEnumerable的GetEnumerator方法使用显式接口实现。
// (如果IEnumerable<T>没有继承IEnumerable,那么一个只支持使用非泛型IEnumerable的
// 方法将无法使用IEnumerable<T>)
IEnumerator IEnumerable.GetEnumerator()
{
return GetEnumerator(); // IEnumerator是IEnumerator<T>的基类
}
}
class CountingEnumerator : IEnumerator<int>
{
int current = -1;
public bool MoveNext()
{
current++;
return current < 10;
}
public int Current { get { return current; } }
object IEnumerator.Current { get { return Current; } }
public void Reset()
{
current = -1;
}
// IEnumerator<T>继承了IDisposable,为了遍历完后清理状态,所以需要实现该方法
// 该方法在foreach循环完毕后自动调用
public void Dispose() { }
}