foreach原理分析

摘要

　　我们知道通常foreach可以实现对类型的遍历，但是foreach并不是针对所有类型都可以实现遍历的功能，那么我们可以思考这样的一个问题：foreach对类型实施遍历的依据条件是什么？它是通过什么方式来实现遍历的？

　　我们知道通常foreach可以实现对类型的遍历，但是foreach并不是针对所有类型都可以实现遍历的功能，那么我们可以思考这样的一个问题：foreach对类型实施遍历的依据条件是什么？它是通过什么方式来实现遍历的？

　　下面我们自定义一个类型来尝试使用foreach进行遍历，看会发生什么样的现象，并且以此作为出发点来一点点分析foreach的原理。

1.自定义类型并使用foreach遍历

 运行VS后编译器提示了错误，根据错误描述可以推断出foreach需要调用Person类型中的”GetEnumerator”方法。

 

2.在自定义类型中添加”GetEnumerator”方法

下一步我们根据编译器的要求在Person类型中添加”GetEnumerator”方法，添加该方法后又出现如下的错误提示：

 根据编译器的错误提示，可以推断出Person类的GetEnumerator方法的返回值类型必须要有MoveNext方法和Current属性，示例中的object类型并没有MoveNext方法和Current属性。

 

3.添加MoveNext方法和Current属性

　　编译器的错误提示要有MoveNext方法和Current属性，但是我们无法搞清楚这两个东西的具体实现形式，比如说MoveNext方法的返回值是什么样的？Current属性是只读还是可读可写的？

　　此时我们可以去已经支持foreach的类型中查找GetEnumerator方法返回值类型，并对该类型的实现进行仿写并用于我们自定义类型当中。string类型作为常用类型并支持foreach遍历，下面我们查看该string的GetEnumerator方法返回值类型进行仿写。

仿写后编译通过：

---

 以“数数”的思想来真正实现foreach遍历的功能

　　在生活中小朋友们往往通过数数的形式来完成对数学的启蒙，foreach遍历的思想就类似于“数数”。小朋友数数往往需要通过双手来对事物进行数数，这就相当于GetEnumerator方法：其作用实际上是需要foreach当前遍历的类型调用该方法提供一个用于遍历当前的类型的“迭代计数器对象”，GetEnumerator方法的返回值类型：该类型其实就是用于foreach遍历当前类型的“迭代计数器对象”，类似于计数的双手(工具)；Current属性：就相当于当前数到的对象(foreach遍历到的当前元素);MoveNext方法：就相当于“数数”中对元素不断的移动的动作，促使让“迭代计数器对象”的计数移至到下一位。

　　到目前为止已经提供了编译器错误提示的所有成员，但实际运行是毫无意义的，因为通常编程中实现遍历的对象都是一个序列，但是目前示例中Person类型并不是且成员未包含序列。我们将为示例中Person类型添加一个序列，作为foreach“遍历的对象”。

---

 实现“数数的功能”

1.遍历的数据对象

　　添加foreach“遍历的数据对象”后又有问题来了，foreach如何访问到这个数据呢。我们可以将数据作为“迭代计数器对象”构造函数的参数在GetEnumerator方法中传递过去，然后“迭代计数器对象”中提供一个字段进行存储。

 

2.设置foreach遍历到的当前元素(Current属性)

　　目前我们遍历的“对象”是一个string数组，所以要读取这个数组里的元素，我们需要一个下标索引来读取遍历到的当前元素，并作为Current属性值。下面我们将设置一个int类型值为-1的字段作为“读取下标”，然后在Current属性的get方法中通过下标索引器读取“当前遍历到的数据对象”。

 

3.MoveNext方法

　　因为我们是通过下标去访问元素的，所以需要对下标进行递增进行变化，从而不断指向下一个元素从而到达累计。MoveNext方法是一个布尔的返回值类型，其主要目的是告知foreach当前遍历的数据对象是否还存在没有遍历到的元素，如果存在元素则不断递增下标索引并反会true，反之返回false并结束遍历，MoveNext方法的返回值相当于foreach遍历的前提条件。

　　下面我们通过代码来实现MoveNext方法：

 

到目前为止我们已经将一个不具备foreach条件的自定义类型，通过自编码实现了foreach的基本要求。下面我们通过代码运行看看执行结果：

结果运行成功，并打印输出遍历的数据对象(Person中的数组)。

注意：遍历该数组我们并没有通过foreach直接对其进行的遍历，而是结合foreach的流程本质和基本要求来实现的遍历功能。

---

 通过调试来分析foreach的遍历的原理

 通过调试结果我们可以总结下foreach遍历主要依靠三个流程：

1. foreach调用当前遍历类型的GetEnumerator方法创建一个“迭代计数器对象”，并将遍历的数据作为参数传递到对象构造函数中。（获取迭代计数器对象）
2. “迭代计数器对象”调用MoveNext方法将索引下标递增(第一次递增为0)，如果递增下标大于数组长度则代表已经遍历完。（调用MoveNext方法）
3. MoveNext方法返回true，代表还有元素需要遍历，使用当前下标在数据中获取元素并设置为Current属性值。（获取Current属性）

 基于foreach的原理思想，我们还可以将遍历写成如下形式：

foreach的写法其实就是调用上面的代码片段，从而实现的一种“语法糖”。

---

C#中基于原理的实现方式

　　在上文中我们借鉴string类型中的GetEnumerator方法来参照实现“迭代计数器对象”当中的MoveNext方法和Current属性。

 

　　在.net中看某个类型是否支持使用foreach进行遍历，其实接可以看该类型和该类型的“迭代计数器”是否都实现了IEnumerable接口。IEnumerable接口中的成员就包含了foreach实现的原理和需要调用的成员。

图一：

 图二：

 

---

 

示例源码