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遍历主要依靠三个流程：

foreach调用当前遍历类型的GetEnumerator方法创建一个“迭代计数器对象”，并将遍历的数据作为参数传递到对象构造函数中。（获取迭代计数器对象）
“迭代计数器对象”调用MoveNext方法将索引下标递增(第一次递增为0)，如果递增下标大于数组长度则代表已c#教程经遍历完。（调用MoveNext方法）MoveNext方法返回true，代表还有元素需要遍历，使用当前下标在数据中获取元素并设置为Current属性值。（获取Current属性）
基于foreach的原理思想，我们还可以将遍历写成如下形式：

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

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

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

图一：

图二：

示例源码

 1
class Program
2
{
3
static void Main(string[] args)
4
{
5
6
Person person = new Person();
7
foreach (var item in person)
8
{
9
Console.WriteLine(item);
10
}
11
12
var Enumerator = person.GetEnumerator();
13
while (Enumerator.MoveNext())
14
{
15
Console.WriteLine(Enumerator.Current);
16
}
17
18
}
// END Main（）
19
20
}

 1
class Person
2
{
3
string[] Datas = new string[] { "张三","李四","王五"};
4
5
public PersonEnumerator GetEnumerator()
6
{
7
return new PersonEnumerator(Datas);
8
}
9
}
10
11
/// <summary>
12
/// 迭代计数器
13
/// </summary>
14
class PersonEnumerator
15
{
16
public PersonEnumerator(string[] datas) { this.Datas = datas; }
17
18
/// <summary>
19
/// 遍历的数据对象
20
/// </summary>
21
private string[] Datas;
22
23
private int index = -1;
24
25
/// <summary>
26
/// 当前遍历到的元素
27
/// </summary>
28
public string Current {
29
get { return Datas[index]; }
30
}
31
32
/// <summary>
33
/// 将记录指针移至下一条
34
/// </summary>
35
/// <returns>是否存在尚未遍历的元素</returns>
36
public bool MoveNext()
37
{
38
index++;
39
return index < Datas.Length;
40
}
41
42
}

最后

以上就是超帅人生为你收集整理的foreach原理分析的全部内容，希望文章能够帮你解决foreach原理分析所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。