Quando se chama um método com yield
, o que ele faz é criar um objeto do tipo enumerável.
O foreach
cria um IEnumerator<T>
através do método GetEnumerator
.
Normalmente, quando o método acaba de enumerar todos os elementos, o código nos blocos finally
é executado. Um using
é equivalente a ter um try... finally
com o Dispose
no finally
.
Mas nem sempre os ciclos são executados até ao fim. Um exemplo disto é quando têm break
ou o método Take
do LINQ.
O tipo IEnumerator<T>
define o método Dispose
. Quando o foreach
acaba, este método é chamado.
O Dispose
de enumeradores de métodos com yield
é usado para executar código de blocos finally
, que de outra forma não seria executado para ciclos interrompidos.
Naturalmente, caso se use o enumerador manualmente, falte o Dispose
e não se iterar até ao fim, o código nos finally
/Dispose
não é executado.
É também importante notar que os métodos com yield
podem devolver o tipo IEnumerable
não genérico apesar desta interface não definir o método Dispose
.
Nesse caso, o foreach
tenta converter o enumerável para IDisposable
para chamar o método Dispose
na mesma.
Isto é, considere-se a seguinte classe:
using System;
using System.Collections;
using System.Collections.Generic;
class Program
{
class MyType : IDisposable
{
public string Id;
public void Dispose()
{
Console.WriteLine("Disposing MyType " + Id);
}
}
public static IEnumerable<int> X1(string id)
{
using (new MyType { Id = id })
{
yield return 1;
yield return 2;
}
Console.WriteLine("End {0}", id);
}
public static IEnumerable X2(string id)
{
using (new MyType { Id = id })
{
yield return 1;
yield return 2;
}
Console.WriteLine("End {0}", id);
}
static void Main(string[] args)
{
foreach (var i in X1("Generic loop")){ }
foreach (var i in X1("Interrupted generic loop"))
{
break;
}
X1("Manual generic dispose").GetEnumerator().Dispose();
X1("No Enumerator generic dispose").GetEnumerator();
foreach (var i in X2("Old-style loop")) { }
foreach (var i in X2("Interrupted old-style loop"))
{
break;
}
X2("No Enumerator old-style dispose").GetEnumerator();
Console.ReadLine();
}
}
O output deste programa é:
Disposing MyType Generic loop
End Generic loop
Disposing MyType Interrupted generic loop
Disposing MyType Old-style loop
End Old-style loop
Disposing MyType Interrupted old-style loop
O código compilado do Main
é equivalente a (código obtido com o ILSpy):
// Program
private static void Main(string[] args)
{
foreach (int i in Program.X1("Generic loop"))
{
}
using (IEnumerator<int> enumerator2 = Program.X1("Interrupted generic loop").GetEnumerator())
{
if (enumerator2.MoveNext())
{
int j = enumerator2.Current;
}
}
Program.X1("Manual generic dispose").GetEnumerator().Dispose();
Program.X1("No Enumerator generic dispose").GetEnumerator();
foreach (object k in Program.X2("Old-style loop"))
{
}
IEnumerator enumerator4 = Program.X2("Interrupted old-style loop").GetEnumerator();
try
{
if (enumerator4.MoveNext())
{
object l = enumerator4.Current;
}
}
finally
{
IDisposable disposable = enumerator4 as IDisposable;
if (disposable != null)
{
disposable.Dispose();
}
}
Program.X2("No Enumerator old-style dispose").GetEnumerator();
Console.ReadLine();
}
public void Dispose()
e execute normalmente seu código