yield return返回哪种类型的类

Question

yield return返回哪种类型的类

9

我注意到这段代码可以正常工作：

class Program
{
    public static void Main()
    {
        Int32[ ]numbers = {1,2,3,4,5};

        using (var enumerator = Data().GetEnumerator())
        {

        }
    }

    public static IEnumerable<String> Data()
    {
        yield return "Something";
    }
}

我特别关注using块，因为：

Int32[] numbers = { 1, 2, 3, 4, 5, 6 };

using (var enumerator = numbers.GetEnumerator())
{

}

使用编译器出现错误。很显然，yield return返回的类是IDisposable，而普通的数组枚举器不是。因此，我很好奇：yield return究竟创建了什么？

- sircodesalot

2

可能是为什么T的IEnumerator继承自IDisposable，而非泛型IEnumerator不继承？的重复问题。 - Tim Schmelter

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- SLaks · Accepted Answer

IEnumerator<T> 实现了 IDisposable，你可以在 Object Browser 或 MSDN 中看到。

非泛型的 IEnumerator 没有实现 IDisposable 接口。

基本的 Array 类实现了 IEnumerable 但没有实现 IEnumerable<T>。（因为 Array 不是泛型）
具体的数组类型确实实现了 IEnumerable<T>，但它们使用显式实现方式实现了 GetEnumerator()（我不确定原因）。
因此，任何数组类型上可见的 GetEnumerator() 都返回 IEnumerator。

泛型的 IEnumerable<T> 实现返回一个 System.SZArrayHelper.SZGenericArrayEnumerator<T>。

这个类的源代码（在 Array.cs 中）有以下注释，部分解释了这一点（请记住，所有对泛型数组的支持都追溯到 IEnumerable<T> 不是逆变时的某个时期）。

//--------------------------------------------------------------------------------------- 
// ! READ THIS BEFORE YOU WORK ON THIS CLASS. 
//
// The methods on this class must be written VERY carefully to avoid introducing security holes. 
// That's because they are invoked with special "this"! The "this" object
// for all of these methods are not SZArrayHelper objects. Rather, they are of type U[]
// where U[] is castable to T[]. No actual SZArrayHelper object is ever instantiated. Thus, you will
// see a lot of expressions that cast "this" "T[]". 
//
// This class is needed to allow an SZ array of type T[] to expose IList<T>, 
// IList<T.BaseType>, etc., etc. all the way up to IList<Object>. When the following call is 
// made:
// 
//   ((IList<T>) (new U[n])).SomeIListMethod()
//
// the interface stub dispatcher treats this as a special case, loads up SZArrayHelper,
// finds the corresponding generic method (matched simply by method name), instantiates 
// it for type <T> and executes it.
// 
// The "T" will reflect the interface used to invoke the method. The actual runtime "this" will be 
// array that is castable to "T[]" (i.e. for primitivs and valuetypes, it will be exactly
// "T[]" - for orefs, it may be a "U[]" where U derives from T.) 
//---------------------------------------------------------------------------------------