Designer Watches: foreach原理分析

2020-10-06

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)，如果递增下标大于数组长度则代表已经遍历完。（调用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  }

Main

 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 PersonEnumerator15  {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  }

Model

原文转载：http://www.shaoqun.com/a/479856.html

gtc：https://www.ikjzd.com/w/974

cb体系：https://www.ikjzd.com/w/2063

万色：https://www.ikjzd.com/w/2382

我们知道通常foreach可以实现对类型的遍历，但是foreach并不是针对所有类型都可以实现遍历的功能，那么我们可以思考这样的一个问题：foreach对类型实施遍历的依据条件是什么？它是通过什么方式来实现遍历的？　　下面我们自定义一个类型来尝试使用foreach进行遍历，看会发生什么样的现象，并且以此作为出发点来一点点分析foreach的原理。1.自定义类型并使用foreach遍历运行VS后编译
笨鸟转运：https://www.ikjzd.com/w/1550
白色清关：https://www.ikjzd.com/w/1410
CicekSepeti：https://www.ikjzd.com/w/2332
2020年的跨境电商人，也许正经历着有史以来最惨的一段时光：https://www.ikjzd.com/home/118803
"红利时代"的新机遇，跨境电商：https://www.ikjzd.com/home/21730

Designer Watches