c# yield关键字原理详解

c# yield关键字的用法

1.yield实现的功能
yield return:
先看下面的代码,经过yield return实现了相似用foreach遍历数组的功能,说明yield return也是用来实现迭代器的功能的。c#

using static System.Console;
using System.Collections.Generic;

class Program
{
    //一个返回类型为IEnumerable<int>,其中包含三个yield return
    public static IEnumerable<int> enumerableFuc()
    {
        yield return 1;
        yield return 2;
        yield return 3;
    }

    static void Main(string[] args)
    {
        //经过foreach循环迭代此函数
        foreach(int item in enumerableFuc())
        {
            WriteLine(item);
        }
        ReadKey();
    }
}

输出结果:
1
2
3

yield break:
再看下面的代码,只输出了1,2,没有输出3,说明这个迭代器被yield break停掉了,因此yield break是用来终止迭代的。数组

using static System.Console;
using System.Collections.Generic;
class Program
{
    //一个返回类型为IEnumerable<int>,其中包含三个yield return
    public static IEnumerable<int> enumerableFuc()
    {
        yield return 1;
        yield return 2;
        yield break;
        yield return 3;
    }

    static void Main(string[] args)
    {
        //经过foreach循环迭代此函数
        foreach(int item in enumerableFuc())
        {
            WriteLine(item);
        }
        ReadKey();
    }
}

输出结果:
1
2

2.只能使用在返回类型必须为 IEnumerable、IEnumerable<T>、IEnumerator 或 IEnumerator<T>的方法、运算符、get访问器中。函数

3.yield关键字的实现原理
咱们用while循环代替foreach循环,发现咱们虽然没有实现GetEnumerator(),也没有实现对应的IEnumerator的MoveNext(),和Current属性,可是咱们仍然能正常使用这些函数。翻译

class Program
{
    //一个返回类型为IEnumerable<int>,其中包含三个yield return
    public static IEnumerable<int> enumerableFuc()
    {
        yield return 1;
        yield return 2;
        yield return 3;
    }

    static void Main(string[] args)
    {
        //用while循环代替foreach
        IEnumerator<int> enumerator = enumerableFuc().GetEnumerator();
        while (enumerator.MoveNext())
        {
            int current = enumerator.Current;
            WriteLine(current);
        }
        ReadKey();
    }
}

输出结果:
1
2
3

至于为何会出现这种状况,咱们能够用ILSpy对生成的exe进行反编译来找到缘由。
因为直接反编译成C#会变为原样

因此咱们选择反编译为带C#注释的IL代码,虽然可读性差点,可是能够详细的了解其中过的原理。
先来看Program翻译的状况,编译的时候自动生成了一个新的类。

接下来咱们来仔细看这些代码,EnumerableFuc()返回了这个新的类。

看这个代码自动生成的类的实现,发现它继承了IEnumerable、IEnumerable<T>、IEnumerator 或 IEnumerator<T>,这时咱们应该已经能猜到这个新的类就是咱们没有实现对应的IEnumerator的MoveNext(),和Current属性,可是咱们仍然能正常使用这些函数的缘由了。

咱们再来看一下这个类具体是如何实现迭代的呢,咱们主要来看一下MoveNext()函数
3d


每次调用MoveNext()函数都会将state加1,一共进行了4次迭代,前三次返回true,最后一次返回false,表明迭代结束。这四次迭代对应被3个yield return语句分红4部分的enumberableFuc()中的语句。code

用enumberableFuc()来进行迭代的真实流程就是:
1.运行enumberableFuc()函数,获取代码自动生成的类的实例。
2.接着调用GetEnumberator()函数,将获取的类本身做为迭代器开始迭代。
3.每次运行MoveNext(),state增长1,经过switch语句可让每次调用MoveNext()的时候执行不一样部分的代码。
4。MoveNext()返回false,结束。
这也能说明yield关键字实际上是一种语法糖,最终仍是经过实现IEnumberable<T>、IEnumberable、IEnumberator<T>和IEnumberator接口实现的迭代功能。blog

相关文章
相关标签/搜索