Leer en inglés

Compartir a través de


Iterators

Prácticamente todos los programas que escriba tendrán alguna necesidad de recorrer en iteración una colección. Va a escribir código que examine cada elemento de una colección.

También va a crear métodos de iterador, que son los métodos que genera un iterador para los elementos de esa clase. Un iterador es un objeto que atraviesa un contenedor, especialmente las listas. Los iteradores se pueden usar para:

  • Realizar una acción en cada elemento de una colección.
  • Enumerar una colección personalizada.
  • Extender LINQ u otras bibliotecas.
  • Crear una canalización de datos en la que los datos fluyan de forma eficaz mediante métodos de iterador.

El lenguaje C# proporciona características para generar y consumir secuencias. Estas secuencias se pueden generar y consumir de forma sincrónica o asincrónica. Este artículo proporciona información general sobre esas características.

Iteración con foreach

Enumerar una colección es sencillo: la palabra clave foreach enumera una colección, ejecutando la instrucción incrustada una vez para cada elemento de la colección:

C#
foreach (var item in collection)
{
    Console.WriteLine(item?.ToString());
}

That's all. (Esto es todo) Para recorrer en iteración todo el contenido de una colección, la instrucción foreach es todo lo que necesita. Pero la instrucción foreach no es mágica. Depende de dos interfaces genéricas definidas en la biblioteca de .NET Core para generar el código necesario para recorrer en iteración una colección: IEnumerable<T> e IEnumerator<T>. Este mecanismo se explica con más detalle a continuación.

Ambas interfaces tienen también homólogas no genéricas: IEnumerable e IEnumerator. Para el código moderno se prefieren las versiones genéricas.

Cuando se genera una secuencia de forma asincrónica, puede usar la instrucción await foreach para consumir la secuencia de forma asincrónica:

C#
await foreach (var item in asyncSequence)
{
Console.WriteLine(item?.ToString());
}

Cuando una secuencia es System.Collections.Generic.IEnumerable<T>, se usa foreach. Cuando una secuencia es System.Collections.Generic.IAsyncEnumerable<T>, se usa await foreach. En el último caso, la secuencia se genera de forma asincrónica.

Orígenes de enumeración con métodos de iterador

Otra magnífica característica del lenguaje C# permite generar métodos que crean un origen para una enumeración. Estos métodos se conocen como métodos de iterador. Un método de iterador define cómo generar los objetos de una secuencia cuando se solicita. Para definir un método de iterador se usan las palabras clave contextuales yield return.

Podría escribir este método para generar la secuencia de enteros de 0 a 9:

C#
public IEnumerable<int> GetSingleDigitNumbers()
{
    yield return 0;
    yield return 1;
    yield return 2;
    yield return 3;
    yield return 4;
    yield return 5;
    yield return 6;
    yield return 7;
    yield return 8;
    yield return 9;
}

El código anterior muestra instrucciones distintivas yield return para resaltar el hecho de que se pueden usar varias instrucciones discretas yield return en un método de iterador. Puede usar (y hágalo a menudo) otras construcciones de lenguaje para simplificar el código de un método de iterador. La definición del método siguiente genera la misma secuencia de números:

C#
public IEnumerable<int> GetSingleDigitNumbersLoop()
{
    int index = 0;
    while (index < 10)
        yield return index++;
}

No tiene que elegir entre una y otra. Puede tener tantas instrucciones yield return como sea necesario para satisfacer las necesidades del método:

C#
public IEnumerable<int> GetSetsOfNumbers()
{
    int index = 0;
    while (index < 10)
        yield return index++;

    yield return 50;

    index = 100;
    while (index < 110)
        yield return index++;
}

Todos estos ejemplos anteriores tendrían un homólogo asincrónico. En cada caso, reemplazaría el tipo de valor devuelto de IEnumerable<T> por un elemento IAsyncEnumerable<T>. Por ejemplo, el ejemplo anterior tendría la siguiente versión asincrónica:

C#
public async IAsyncEnumerable<int> GetSetsOfNumbersAsync()
{
    int index = 0;
    while (index < 10)
        yield return index++;

    await Task.Delay(500);

    yield return 50;

    await Task.Delay(500);

    index = 100;
    while (index < 110)
        yield return index++;
}

Esta es la sintaxis de los iteradores sincrónicos y asincrónicos. Veamos un ejemplo del mundo real. Imagine que se encuentra en un proyecto de IoT y los sensores del dispositivo generan un flujo de datos muy grande. Para hacerse una idea de los datos, podría escribir un método que tomara muestras de cada enésimo elemento de datos. Este pequeño método de iterador lo hace:

C#
public static IEnumerable<T> Sample<T>(this IEnumerable<T> sourceSequence, int interval)
{
    int index = 0;
    foreach (T item in sourceSequence)
    {
        if (index++ % interval == 0)
            yield return item;
    }
}

Si la lectura desde el dispositivo IoT genera una secuencia asincrónica, modificaría el método como se muestra en el método siguiente:

C#
public static async IAsyncEnumerable<T> Sample<T>(this IAsyncEnumerable<T> sourceSequence, int interval)
{
    int index = 0;
    await foreach (T item in sourceSequence)
    {
        if (index++ % interval == 0)
            yield return item;
    }
}

Hay una restricción importante en los métodos de iterador: no puede tener una instrucción return y una instrucción yield return en el mismo método. El código siguiente no se compilará:

C#
public IEnumerable<int> GetSingleDigitNumbers()
{
    int index = 0;
    while (index < 10)
        yield return index++;

    yield return 50;

    // generates a compile time error:
    var items = new int[] {100, 101, 102, 103, 104, 105, 106, 107, 108, 109 };
    return items;
}

Normalmente esta restricción no supone un problema. Tiene la opción de usar yield return en todo el método o de separar el método original en varios métodos, unos con return y otros con yield return.

Puede modificar el último método ligeramente para usar yield return en todas partes:

C#
public IEnumerable<int> GetFirstDecile()
{
    int index = 0;
    while (index < 10)
        yield return index++;

    yield return 50;

    var items = new int[] {100, 101, 102, 103, 104, 105, 106, 107, 108, 109 };
    foreach (var item in items)
        yield return item;
}

A veces, la respuesta correcta es dividir un método de iterador en dos métodos distintos. Uno que use return y un segundo que use yield return. Imagine una situación en la que quiera devolver una colección vacía, o los cinco primeros números impares, basándose en un argumento booleano. Eso se podría escribir como estos dos métodos:

C#
public IEnumerable<int> GetSingleDigitOddNumbers(bool getCollection)
{
    if (getCollection == false)
        return new int[0];
    else
        return IteratorMethod();
}

private IEnumerable<int> IteratorMethod()
{
    int index = 0;
    while (index < 10)
    {
        if (index % 2 == 1)
            yield return index;
        index++;
    }
}

Observe los métodos anteriores. El primero usa la instrucción estándar return para devolver una colección vacía o el iterador creado por el segundo método. El segundo método usa la instrucción yield return para crear la secuencia solicitada.

Profundización en foreach

La instrucción foreach se expande en un elemento estándar que usa las interfaces IEnumerable<T> e IEnumerator<T> para recorrer en iteración todos los elementos de una colección. También minimiza los errores cometidos por los desarrolladores al no administrar correctamente los recursos.

El compilador traduce el bucle foreach que se muestra en el primer ejemplo en algo similar a esta construcción:

C#
IEnumerator<int> enumerator = collection.GetEnumerator();
while (enumerator.MoveNext())
{
    var item = enumerator.Current;
    Console.WriteLine(item.ToString());
}

El código exacto generado por el compilador es más complicado y controla las situaciones en las que el objeto devuelto por GetEnumerator() implementa la interfaz IDisposable. La expansión completa genera código más parecido al siguiente:

C#
{
    var enumerator = collection.GetEnumerator();
    try
    {
        while (enumerator.MoveNext())
        {
            var item = enumerator.Current;
            Console.WriteLine(item.ToString());
        }
    }
    finally
    {
        // dispose of enumerator.
    }
}

El compilador traduce el primer ejemplo asincrónico en algo similar a esta construcción:

C#
{
    var enumerator = collection.GetAsyncEnumerator();
    try
    {
        while (await enumerator.MoveNextAsync())
        {
            var item = enumerator.Current;
            Console.WriteLine(item.ToString());
        }
    }
    finally
    {
        // dispose of async enumerator.
    }
}

La manera en que el enumerador se elimina depende de las características del tipo de enumerator. En el caso sincrónico general, la cláusula finally se expande a:

C#
finally
{
   (enumerator as IDisposable)?.Dispose();
}

El caso asincrónico general se expande a:

C#
finally
{
    if (enumerator is IAsyncDisposable asyncDisposable)
        await asyncDisposable.DisposeAsync();
}

Sin embargo, si el tipo de enumerator es un tipo sellado y no hay conversión implícita del tipo de enumerator a IDisposable o IAsyncDisposable, la cláusula finally se expande en un bloque vacío:

C#
finally
{
}

Si hay una conversión implícita del tipo de enumerator a IDisposable, y enumerator es un tipo de valor que no acepta valores Null, la cláusula finally se expande en:

C#
finally
{
   ((IDisposable)enumerator).Dispose();
}

Afortunadamente, no es necesario recordar todos estos detalles. La instrucción foreach controla todos esos matices. El compilador generará el código correcto para cualquiera de estas construcciones.