您的位置: 首页  >  文章  >  由for V.S. for each想到的

由for V.S. for each想到的

分类: 文章 • 2022-11-03 18:16:39
一直想写一系列如何提高Performance和Scalability的文章，把我的相关经验和所知道的相关的技巧同大家分享。前一阵在园子里有一篇讨论for each 和 for两种循环那个具有更好的performance的blog，议论得沸沸扬扬。我觉得这是一个很好的切入点，我就已此作为引子，开始我的这个系列的文章。这篇文章的重点不是在于比较这两种循环孰优孰劣，我将讨论的重点是如何更好地定义Collection，如何在判断在什么时候该用Array，什么时候用Collection。  

一、for each的本质

我们知道，所有实现了System.Collections. IEnumerable接口的类，我们都可以对它运用for each loop。为了弄清楚它的执行过程，我先给出一个Sample：

由for V.S. for each想到的using System;
由for V.S. for each想到的using System.Collections.Generic;
由for V.S. for each想到的using System.Text;
由for V.S. for each想到的using System.Collections;
由for V.S. for each想到的
由for V.S. for each想到的namespace Artech.CustomCollection
由for V.S. for each想到的{
由for V.S. for each想到的    struct Employee
由for V.S. for each想到的    {
由for V.S. for each想到的        Private Fields
由for V.S. for each想到的
由for V.S. for each想到的        Constructor
由for V.S. for each想到的
由for V.S. for each想到的        Public Properties
由for V.S. for each想到的
由for V.S. for each想到的        Tostring
由for V.S. for each想到的    }
由for V.S. for each想到的
由for V.S. for each想到的    class EmployeeList : IEnumerable
由for V.S. for each想到的    {
由for V.S. for each想到的        private Employee[] _employees;
由for V.S. for each想到的
由for V.S. for each想到的        public Employee[] Employees
由for V.S. for each想到的        {
由for V.S. for each想到的            get { return _employees; }
由for V.S. for each想到的            set { _employees = value; }
由for V.S. for each想到的        }
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerable Members
由for V.S. for each想到的    }
由for V.S. for each想到的
由for V.S. for each想到的    class EmployeeEnumerator : IEnumerator
由for V.S. for each想到的    {
由for V.S. for each想到的        private Employee[] _employees;
由for V.S. for each想到的        private int _index = -1;
由for V.S. for each想到的
由for V.S. for each想到的        public EmployeeEnumerator(Employee[] employees)
由for V.S. for each想到的        {
由for V.S. for each想到的            this._employees = employees;
由for V.S. for each想到的        }
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerator Members
由for V.S. for each想到的    }
由for V.S. for each想到的    class Program
由for V.S. for each想到的    {
由for V.S. for each想到的        static void Main(string[] args)
由for V.S. for each想到的        {
由for V.S. for each想到的            Employee[] employees = new Employee[] { new Employee("0001", "Zhang San", 21), new Employee("0002", "Li Si", 30) };
由for V.S. for each想到的            EmployeeList empoyeeList = new EmployeeList();
由for V.S. for each想到的            empoyeeList.Employees = employees;
由for V.S. for each想到的
由for V.S. for each想到的            Console.WriteLine("Begin foreach loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            foreach (Employee employee in empoyeeList)
由for V.S. for each想到的            {
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的            Console.WriteLine("\n\nBegin while loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            IEnumerator enumerator = empoyeeList.GetEnumerator();
由for V.S. for each想到的            while (enumerator.MoveNext())
由for V.S. for each想到的            {
由for V.S. for each想到的                Employee employee = (Employee)enumerator.Current;
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的        }
由for V.S. for each想到的    }
由for V.S. for each想到的}
由for V.S. for each想到的

我们先运行一下上面的程序再来讲述具体的执行的流程。

由for V.S. for each想到的
在上面的Sample中我们先定义了一个Employee的struct，之所以使用struct而不用一般的class，我将在后面的部分介绍。

由for V.S. for each想到的struct Employee
由for V.S. for each想到的    {
由for V.S. for each想到的        Private Fields
由for V.S. for each想到的
由for V.S. for each想到的        Constructor
由for V.S. for each想到的
由for V.S. for each想到的        Public Properties
由for V.S. for each想到的
由for V.S. for each想到的        Tostring
由for V.S. for each想到的}

然后我们基于这个Emplyee struct，定义了与之对应的Collection：EmplyeeList。EmplyeeList实现了System.Collections. IEnumerable接口。并以一个virtual 方法的形式实现了该接口的GetEnumerator方法。（为什么用virtual方法的原因，我会再后续部分解释）。

由for V.S. for each想到的        Public virtual  IEnumerator GetEnumerator()
由for V.S. for each想到的        {
由for V.S. for each想到的            Console.WriteLine("EmployeeList.GetEnumerator() is invoked");
由for V.S. for each想到的            return new GenericEmployeeEnumerator(this._employees);
由for V.S. for each想到的        }

上面方法返回一个的实现了System.Collections. IEnumerator自定义的Enumerator：EmployeeEnumerator。其定义如下：

由for V.S. for each想到的    class EmployeeEnumerator : IEnumerator
由for V.S. for each想到的    {
由for V.S. for each想到的        private Employee[] _employees;
由for V.S. for each想到的        private int _index = -1;
由for V.S. for each想到的
由for V.S. for each想到的        public EmployeeEnumerator(Employee[] employees)
由for V.S. for each想到的        {
由for V.S. for each想到的            this._employees = employees;
由for V.S. for each想到的        }
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerator Members
由for V.S. for each想到的    }  

在Program类中，我们两种不同的Loop，for each 和while来遍历我们创建的EmployeeList对象，通过最终的输出结果，我们发现两个Loop具有完全一样的输出。而实际上两种Loop的本质上是一样的。Foreach的执行流程和While完全一样：首先调用EmployeeList对象的GetEnumerator获得对应的Enumerator，然后开始循环，并通过Enumerator的MoveNext方法的返回结果来确定是否中止循环。在每次循环中，通过Enumerator的Current Property获得当前迭代的对象。

二、程序的的缺点和局限

实际上，上面的程序设计方案存在很大的performance的问题：

1． EmployeeList的GetEnumerator是virtual方法导致不能充分利用Inlining的编译优化。

Inlining是C++中广泛运用的一种编译优化方案，甚至在C++有Inlining关键字。他的本质是在编译的时候，把方法的调用嵌入调用堆栈转变成直接放方法体编译到调用堆栈中从而获得在performance上的提升。.NET语言，比如C#，对应的编译器也充分利用了这一编译优化方案，编译器能够分析程序的执行来确定是否采用Inlining的编译方式。

但是对应virtual方法调用的运行时对象类型而非其申明类型中定义的方法，在编译的时候，Complier是不可能获得某一个对象运行时属于什么类型的，所以它也不可能运用Inlining这种编译优化方案。

所以我们在设计我们的类时，如果你确确实实需要把某个方法定义成virtual 方法，否则千万不要这么做。如果父类的该方法是virtual或override，你最好封闭（sealed）它。 

2． EmployeeEnumerator的Current返回值为object导致装箱。

装箱导致performance的降低已经是众所周知的了，在这里就不必多说了。在本例中EmployeeEnumerator的Current实际上是一个ValueType的Emplyee struct，由于该属性的返回值是object，所以需要对获得的Emplyee进行装箱，在使用的时候对它进行拆箱。这一装一拆对于一个具有很大容积的collection来说，有时候是致命的。

三、Array V.S. ArrayList

既然我们已经找出了我们设计的不足，我们就可以从新修改我们的设计来你不这种不足。不过在这之前，我们先来看看我们经常使用的Array和ArrayList是如何实现的，从而来指导我们如何正确使用Array和ArrayList。

我们先来看看Array中GetEnumerator方法的定义：

由for V.S. for each想到的public IEnumerator GetEnumerator()
由for V.S. for each想到的{
由for V.S. for each想到的    int index = this.GetLowerBound(0);
由for V.S. for each想到的    if ((this.Rank == 1) && (index == 0))
由for V.S. for each想到的    {
由for V.S. for each想到的        return new SZArrayEnumerator(this);
由for V.S. for each想到的    }
由for V.S. for each想到的    return new ArrayEnumerator(this, index, this.Length);
由for V.S. for each想到的}
由for V.S. for each想到的

从上面的定义我们可以看到，Array的GetEnumerator并没有像我一样使用virtual的方法。实际上对于一个Array来说，确实没有必要使用virtual方法，因为你定义的具体的Array只能直接继承自System.Array,而不能继承自别的Array， 比如，你不能定义某个class继承自int[]。.在Array中实际上是使用了两个不同的Enumerator，对于一维基0数组，使用的是SZArrayEnumerator，非一维基0数组则使用的是ArrayEnumerator。我们来看看SZArrayEnumerator具体是如何定义的：

由for V.S. for each想到的[Serializable]
由for V.S. for each想到的private sealed class SZArrayEnumerator : IEnumerator, ICloneable
由for V.S. for each想到的{
由for V.S. for each想到的    Fields
由for V.S. for each想到的
由for V.S. for each想到的    Methods
由for V.S. for each想到的
由for V.S. for each想到的    Properties
由for V.S. for each想到的}
由for V.S. for each想到的

对于Current 属性，返回值仍然是object，对于一个基于Value Type的array，装箱操作在所难免。我想到现在为止，我们知道为什么for循环在performance上要优于for each的原因了吧。

分析完Array，我们来看看另一个在.NET 2.0之前经常使用的一个类：ArrayList。我们照例来看看他的GetEnumerator的定义： 

 

由for V.S. for each想到的public virtual IEnumerator GetEnumerator()
由for V.S. for each想到的{
由for V.S. for each想到的    return new ArrayListEnumeratorSimple(this);
由for V.S. for each想到的}
由for V.S. for each想到的


同Array不同的是，GetEnumerator方法被定义成virtual，所以对于Arraylist来说，它也不可以利用Inlining的编译优化获得performance上的提升。所以我们可以得出结论，Array比ArrayList具有更好的performance。（实际上这只是Array比ArrayList具有更好的performance其中一个原因，还有一个主要的原因时Array是基于某个确定Type的数组，我们在定义的时候就已经给它指定了具体的Type）。在Arraylist中使用的Enumerator是ArrayListEnumeratorSimple。我们来看看它的定义：

由for V.S. for each想到的[Serializable]
由for V.S. for each想到的private sealed class ArrayListEnumeratorSimple : IEnumerator, ICloneable
由for V.S. for each想到的{
由for V.S. for each想到的    Fields
由for V.S. for each想到的
由for V.S. for each想到的    Methods
由for V.S. for each想到的
由for V.S. for each想到的    Properties
由for V.S. for each想到的}
由for V.S. for each想到的

Current属性返回的类型依然是object, 对于ValueType来说，装箱在所难免。不过总的来说，Array较之ArrayList在Performance具有较大的优势，对一个Performance要求比较高的Application来说，尽量使用Array来替代ArrayList。

四、优化方案

通过以上的分析，通过Enumerator遍历Collection对象来说，影响performance的主要因素体现在以下两个方面：

1． EmployeeList的GetEnumerator是virtual方法导致不能充分利用Inline的编译优化。

2． EmployeeEnumerator的Current返回值为object导致装箱。

基于这两点，我们重新定义Enumerator：OptimizedEmployeeEnumerator。

由for V.S. for each想到的class OptimizedEmployeeEnumerator : IEnumerator
由for V.S. for each想到的    {
由for V.S. for each想到的
由for V.S. for each想到的        private Employee[] _employees;
由for V.S. for each想到的        private int _index = -1;
由for V.S. for each想到的
由for V.S. for each想到的        public OptimizedEmployeeEnumerator(Employee[] employees)
由for V.S. for each想到的        {
由for V.S. for each想到的            this._employees = employees;
由for V.S. for each想到的        }
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerator Members
由for V.S. for each想到的    }
由for V.S. for each想到的

通过上面的Code，我们可以看到，我们通过显示接口实现的方式实现了object Current，并对应了另一个不需要装箱、返回类型为Employee的Current属性。

我们随之EmployeeList作相应的修改：

由for V.S. for each想到的    class EmployeeList : IEnumerable
由for V.S. for each想到的    {
由for V.S. for each想到的        public  IEnumerator GetEnumerator()
由for V.S. for each想到的        {
由for V.S. for each想到的            Console.WriteLine("EmployeeList.GetEnumerator() is invoked");
由for V.S. for each想到的            return new OptimizedEmployeeEnumerator(this._employees);
由for V.S. for each想到的        }
由for V.S. for each想到的}
由for V.S. for each想到的

我们去掉我们不需要的virtual关键字，并修正GetEnumerator方法使之返回我们新定义的OptimizedEmployeeEnumerator。

五、进一步优化

通过上面对程序的修正，如果现在我们通过通过while  Loop的方式来遍历EmpoyeeList，在较大数据的情况下，performance可以得到较大的提升（注：我们必须通过申明为OptimizedEmployeeEnumerator而不是Enumerator的变量来获得对应的Enumerator，这样我们才能访问Employee Current属性，而不是object Current属性，从而避免装箱，具体的原因，请查阅MSDN关于“显式接口实现“的内容）。但是使用for each来进行遍历的话，装箱还是难以避免的。我们可以通过程序来证明这一点。

我们修改Main方法：

由for V.S. for each想到的static void Main(string[] args)
由for V.S. for each想到的        {
由for V.S. for each想到的            Employee[] employees = new Employee[] { new Employee("0001", "Zhang San", 21), new Employee("0002", "Li Si", 30) };
由for V.S. for each想到的            EmployeeList empoyeeList = new EmployeeList();
由for V.S. for each想到的            empoyeeList.Employees = employees;
由for V.S. for each想到的
由for V.S. for each想到的            Console.WriteLine("Begin foreach loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            foreach (Employee employee in empoyeeList)
由for V.S. for each想到的            {
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的
由for V.S. for each想到的            Console.WriteLine("\n\nBegin while loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            OptimizedEmployeeEnumerator enumerator = empoyeeList.GetEnumerator() as OptimizedEmployeeEnumerator;
由for V.S. for each想到的
由for V.S. for each想到的            while (enumerator.MoveNext())
由for V.S. for each想到的            {
由for V.S. for each想到的                Employee employee = (Employee)enumerator.Current;
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的        }
由for V.S. for each想到的

运行程序，看看现在的输出：

由for V.S. for each想到的
通过输出我们可以看到While循环调用的是返回类型是Employee的Current 属性，而for each循环仍然使用的是返回类型是Object的Current 属性。了解接口的“显式实现”的人一看就知道怎么回事，在这里不想再对说了。其实这是无法避免的，因为for each会把获得的Enumerator转换成对应的接口类型IEnumerator，所以调用的永远是IEnumerator中定义的返回类型为object的Current属性。

所以我们还需要我们的程序作进一步的优化来使for each Loop避免装箱。提到避免装箱，我想了解.NET 2.0的人马上就会联想到Generic。不错，我们的解决方案就是使用Generic的Enumerator。所以我们重新定义我们的Enumerator：GenericEmployeeEnumerator。

由for V.S. for each想到的    class GenericEmployeeEnumerator : IEnumerator<Employee>
由for V.S. for each想到的    {
由for V.S. for each想到的        private Employee[] _employees;
由for V.S. for each想到的        private int _index = -1;
由for V.S. for each想到的
由for V.S. for each想到的        public GenericEmployeeEnumerator(Employee[] employees)
由for V.S. for each想到的        {
由for V.S. for each想到的            this._employees = employees;
由for V.S. for each想到的        }
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerator Members
由for V.S. for each想到的
由for V.S. for each想到的        IDisposable Members
由for V.S. for each想到的
由for V.S. for each想到的        IEnumerator Members
由for V.S. for each想到的}
由for V.S. for each想到的

代码不复杂，不需要多说什么。我们对EmployeeList的GetEnumerator方法作相应的修改使之返回我们重新定义个GenericEmployeeEnumerator。为了验证，我们修改Main方法：

由for V.S. for each想到的static void Main(string[] args)
由for V.S. for each想到的        {
由for V.S. for each想到的            Employee[] employees = new Employee[] { new Employee("0001", "Zhang San", 21), new Employee("0002", "Li Si", 30) };
由for V.S. for each想到的            EmployeeList empoyeeList = new EmployeeList();
由for V.S. for each想到的            empoyeeList.Employees = employees;
由for V.S. for each想到的
由for V.S. for each想到的            Console.WriteLine("Begin foreach loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            foreach (Employee employee in empoyeeList)
由for V.S. for each想到的            {
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的
由for V.S. for each想到的            Console.WriteLine("\n\nBegin while loop由for V.S. for each想到的 由for V.S. for each想到的");
由for V.S. for each想到的            GenericEmployeeEnumerator enumerator = empoyeeList.GetEnumerator() as GenericEmployeeEnumerator;
由for V.S. for each想到的
由for V.S. for each想到的            while (enumerator.MoveNext())
由for V.S. for each想到的            {
由for V.S. for each想到的                Employee employee = (Employee)enumerator.Current;
由for V.S. for each想到的                Console.WriteLine(employee.ToString());
由for V.S. for each想到的            }
由for V.S. for each想到的        }
由for V.S. for each想到的

我们将会得到下面的输出：

由for V.S. for each想到的
六、回归简约

事实上，我们上面做的事情是在把简单的事情复杂化，我们可以利用Generic的Collection来实现相应的功能。比如我们我们通过定义System.Collections.Generic .List<Employee>来创建我们的EmploteeList对象。

相关内容：
[原创]如何改Managed Code的Performance和Scalability系列之二：深入理解string和如何高效地使用string


作者：蒋金楠
微信公众账号：大内老A
微博：www.weibo.com/artech
如果你想及时得到个人撰写文章以及著作的消息推送，或者想看看个人推荐的技术资料，可以扫描左边二维码（或者长按识别二维码）关注个人公众号（原来公众帐号蒋金楠的自媒体将会停用）。
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。

相关推荐