从IEnumerable转换到IEnumerator
我在玩IEnumerable/<T>和IEnumerable/<T> 。 在我的一个试验中，我尝试通过使用强制转换将IEnumerator<T>类型的返回值赋值为IEnumerable<T>的值，然后尝试执行MoveNext()和Current 。 虽然铸件没有发出任何错误，但我没有输出：
class Animal
{
public string AnimalType { get; set; }
public Animal(string animal_type)
{
AnimalType = animal_type;
}
}
class FarmCollection
{
readonly Animal[] _farm =
{ new Animal("duck"), new Animal("cow"), new Animal("sheep") };
public IEnumerable<Animal> GetEnumerable()
{
foreach (Animal a in _farm)
yield return a;
}
}
class Test
{
public static void Main()
{
FarmCollection farm = new FarCollection();
IEnumerator<Animal> rator = (IEnumerator<Animal>)farm.GetEnumerable();
while (rator.MoveNext())
{
Animal a = (Animal)rator.Current;
Console.WriteLine(a.AnimalType);
}
}
}
第一个问题：为什么我没有输出，Main只返回？
第二个问题：为什么从IEnumerable<Animal>为IEnumerator<Animal>没有发生编译错误？
以下是您的FarmCollection.GetEnumerable方法在反编译时的外观：
public IEnumerable<Animal> GetEnumerable()
{
FarmCollection.<GetEnumerable>d__0 <GetEnumerable>d__ =
new FarmCollection.<GetEnumerable>d__0(-2);
<GetEnumerable>d__.<>4__this = this;
return <GetEnumerable>d__;
}
类型FarmCollection.<GetEnumerable>d__0也由编译器生成。 看到这篇文章更多细节。 下面是这个类的外观：
[CompilerGenerated]
private sealed class <GetEnumerable>d__0 : IEnumerable<Animal>, IEnumerable, IEnumerator<Animal>, IEnumerator, IDisposable
{
private Animal <>2__current;
private int <>1__state;
private int <>l__initialThreadId;
public FarmCollection <>4__this;
public Animal <a>5__1;
public Animal[] <>7__wrap3;
public int <>7__wrap4;
Animal IEnumerator<Animal>.Current
{
[DebuggerHidden]
get
{
return this.<>2__current;
}
}
object IEnumerator.Current
{
[DebuggerHidden]
get
{
return this.<>2__current;
}
}
[DebuggerHidden]
IEnumerator<Animal> IEnumerable<Animal>.GetEnumerator()
{
FarmCollection.<GetEnumerable>d__0 <GetEnumerable>d__;
if (Environment.CurrentManagedThreadId == this.<>l__initialThreadId && this.<>1__state == -2)
{
this.<>1__state = 0;
<GetEnumerable>d__ = this;
}
else
{
<GetEnumerable>d__ = new FarmCollection.<GetEnumerable>d__0(0);
<GetEnumerable>d__.<>4__this = this.<>4__this;
}
return <GetEnumerable>d__;
}
[DebuggerHidden]
IEnumerator IEnumerable.GetEnumerator()
{
return this.System.Collections.Generic.IEnumerable<ConsoleApplication479.Animal>.GetEnumerator();
}
bool IEnumerator.MoveNext()
{
bool result;
try
{
switch (this.<>1__state)
{
case 0:
this.<>1__state = -1;
this.<>1__state = 1;
this.<>7__wrap3 = this.<>4__this._farm;
this.<>7__wrap4 = 0;
goto IL_8D;
case 2:
this.<>1__state = 1;
this.<>7__wrap4++;
goto IL_8D;
}
goto IL_A9;
IL_8D:
if (this.<>7__wrap4 < this.<>7__wrap3.Length)
{
this.<a>5__1 = this.<>7__wrap3[this.<>7__wrap4];
this.<>2__current = this.<a>5__1;
this.<>1__state = 2;
result = true;
return result;
}
this.<>m__Finally2();
IL_A9:
result = false;
}
catch
{
this.System.IDisposable.Dispose();
throw;
}
return result;
}
[DebuggerHidden]
void IEnumerator.Reset()
{
throw new NotSupportedException();
}
void IDisposable.Dispose()
{
switch (this.<>1__state)
{
case 1:
break;
case 2:
break;
default:
return;
}
this.<>m__Finally2();
}
[DebuggerHidden]
public <GetEnumerable>d__0(int <>1__state)
{
this.<>1__state = <>1__state;
this.<>l__initialThreadId = Environment.CurrentManagedThreadId;
}
private void <>m__Finally2()
{
this.<>1__state = -1;
}
}
所以在你的代码中， rator变量引用了这种类型的对象。 由于这种类型实现了IEnumerator<Animal> ，这就解释了为什么演员没有失败。
现在，谈谈你的第二个问题。 请注意，编译器生成的GetEnumerable方法会构造FarmCollection.<GetEnumerable>d__0实例，并将值-2赋予构造函数。 这存储在<>1__state变量中。 现在，看看MoveNext()方法。 它在<>1__state变量上有一个switch语句。 如果这个变量的值不是0或2，那么该方法保证返回false ，这意味着枚举中不会返回任何值。
请注意，此类中的GetEnumerator()方法如何将状态更改为0并返回相同的实例（在某些情况下，它将返回状态为0的类的新实例），这将使MoveNext方法有效。
所以基本上，如果不执行GetEnumerator() ， MoveNext方法将不起作用。
如果您查看脱糖代码，可以看到使用yield return将创建一个实现IEnumerable<T>和IEnumerator<T>的内部类。 这就是演员阵容有效的原因。
重要的一行在GetEnumerable（）方法中：
它返回new FarmCollection.<GetEnumerable>d__1(-2);
因此，初始状态是-2，即“没有人请求枚举器 - 尚未状态”。 如果您调用GetEnumerator()它会将其状态设置为0，即“枚举状态的开始”。
但是由于你没有调用GetEnumerator() ，它的状态将保持为-2，因此，当MoveNext()检查状态时，它将看到-2并返回false。