Iteradores (Visual Basic)

Un iterador puede usarse para recorrer colecciones como listas y matrices.

Un método iterador o un descriptor de acceso get realiza una iteración personalizada en una colección. Un método iterador usa la instrucción Yield para devolver cada elemento de uno en uno. Cuando se alcanza una instrucción Yield, se recuerda la ubicación actual en el código. La ejecución se reinicia desde esa ubicación la próxima vez que se llama a la función del iterador.

Para usar un método iterador desde código de cliente, use una instrucción For Each…Next o una consulta de LINQ.

En el ejemplo siguiente, la primera iteración del bucle For Each hace que continúe la ejecución del método de iterador SomeNumbers hasta que se alcance la primera instrucción Yield. Esta iteración devuelve un valor de 3, y la ubicación actual del método de iterador se conserva. En la siguiente iteración del bucle, la ejecución del método iterador continúa desde donde se dejó, deteniéndose de nuevo al alcanzar una instrucción Yield. Esta iteración devuelve un valor de 5, y la ubicación actual del método de iterador se vuelve a conservar. El bucle se completa al alcanzar el final del método iterador.

Sub Main()
    For Each number As Integer In SomeNumbers()
        Console.Write(number & " ")
    Next
    ' Output: 3 5 8
    Console.ReadKey()
End Sub

Private Iterator Function SomeNumbers() As System.Collections.IEnumerable
    Yield 3
    Yield 5
    Yield 8
End Function

El tipo de valor devuelto de un método de iterador o descriptor de acceso get puede ser IEnumerable, IEnumerable<T>, IEnumerator o IEnumerator<T>.

Puede usar una instrucción Exit Function o Return para finalizar la iteración.

Una función de iterador de Visual Basic o una declaración de descriptor de acceso get incluye un modificador de iterador.

Los iteradores agregaron a Visual Basic en Visual Studio 2012.

Nota:

En todos los ejemplos de este artículo, excepto en el ejemplo de iterador simple, incluya instrucciones Imports para los espacios de nombres System.Collections y System.Collections.Generic.

Iterador simple

El ejemplo siguiente tiene una única instrucción Yield que está dentro de un bucle For…Next. En Main, cada iteración del cuerpo de la instrucción For Each crea una llamada a la función de iterador, que continúa a la instrucción Yield siguiente.

Sub Main()
    For Each number As Integer In EvenSequence(5, 18)
        Console.Write(number & " ")
    Next
    ' Output: 6 8 10 12 14 16 18
    Console.ReadKey()
End Sub

Private Iterator Function EvenSequence(
ByVal firstNumber As Integer, ByVal lastNumber As Integer) _
As System.Collections.Generic.IEnumerable(Of Integer)

    ' Yield even numbers in the range.
    For number As Integer = firstNumber To lastNumber
        If number Mod 2 = 0 Then
            Yield number
        End If
    Next
End Function

Creación de una clase de colección

En el ejemplo siguiente, la clase DaysOfTheWeek implementa la interfaz IEnumerable, que requiere un método GetEnumerator. El compilador llama implícitamente al método GetEnumerator, que devuelve un IEnumerator.

El método GetEnumerator devuelve cada cadena de una en una mediante la instrucción Yield y un modificador Iterator se encuentra en la declaración de función.

Sub Main()
    Dim days As New DaysOfTheWeek()
    For Each day As String In days
        Console.Write(day & " ")
    Next
    ' Output: Sun Mon Tue Wed Thu Fri Sat
    Console.ReadKey()
End Sub

Private Class DaysOfTheWeek
    Implements IEnumerable

    Public days =
        New String() {"Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"}

    Public Iterator Function GetEnumerator() As IEnumerator _
        Implements IEnumerable.GetEnumerator

        ' Yield each day of the week.
        For i As Integer = 0 To days.Length - 1
            Yield days(i)
        Next
    End Function
End Class

En el ejemplo siguiente se crea una clase Zoo que contiene una colección de animales.

La instrucción For Each que hace referencia a la instancia de clase (theZoo) llama implícitamente al método GetEnumerator. Las instrucciones For Each que hacen referencia a las propiedades Birds y Mammals usan el método iterador con el nombre AnimalsForType.

Sub Main()
    Dim theZoo As New Zoo()

    theZoo.AddMammal("Whale")
    theZoo.AddMammal("Rhinoceros")
    theZoo.AddBird("Penguin")
    theZoo.AddBird("Warbler")

    For Each name As String In theZoo
        Console.Write(name & " ")
    Next
    Console.WriteLine()
    ' Output: Whale Rhinoceros Penguin Warbler

    For Each name As String In theZoo.Birds
        Console.Write(name & " ")
    Next
    Console.WriteLine()
    ' Output: Penguin Warbler

    For Each name As String In theZoo.Mammals
        Console.Write(name & " ")
    Next
    Console.WriteLine()
    ' Output: Whale Rhinoceros

    Console.ReadKey()
End Sub

Public Class Zoo
    Implements IEnumerable

    ' Private members.
    Private animals As New List(Of Animal)

    ' Public methods.
    Public Sub AddMammal(ByVal name As String)
        animals.Add(New Animal With {.Name = name, .Type = Animal.TypeEnum.Mammal})
    End Sub

    Public Sub AddBird(ByVal name As String)
        animals.Add(New Animal With {.Name = name, .Type = Animal.TypeEnum.Bird})
    End Sub

    Public Iterator Function GetEnumerator() As IEnumerator _
        Implements IEnumerable.GetEnumerator

        For Each theAnimal As Animal In animals
            Yield theAnimal.Name
        Next
    End Function

    ' Public members.
    Public ReadOnly Property Mammals As IEnumerable
        Get
            Return AnimalsForType(Animal.TypeEnum.Mammal)
        End Get
    End Property

    Public ReadOnly Property Birds As IEnumerable
        Get
            Return AnimalsForType(Animal.TypeEnum.Bird)
        End Get
    End Property

    ' Private methods.
    Private Iterator Function AnimalsForType( _
    ByVal type As Animal.TypeEnum) As IEnumerable
        For Each theAnimal As Animal In animals
            If (theAnimal.Type = type) Then
                Yield theAnimal.Name
            End If
        Next
    End Function

    ' Private class.
    Private Class Animal
        Public Enum TypeEnum
            Bird
            Mammal
        End Enum

        Public Property Name As String
        Public Property Type As TypeEnum
    End Class
End Class

Bloques Try

Visual Basic permite una instrucción Yield en el bloque Try de una instrucción Try...Catch...Finally. Un bloque Try que tiene una instrucción Yield puede tener bloques Catch y puede tener un bloque Finally.

En el ejemplo siguiente se incluyen bloques Try, Catch y Finally en una función de iterador. El bloque Finally de la función de iterador se ejecuta antes de que finalice la iteración For Each.

Sub Main()
    For Each number As Integer In Test()
        Console.WriteLine(number)
    Next
    Console.WriteLine("For Each is done.")

    ' Output:
    '  3
    '  4
    '  Something happened. Yields are done.
    '  Finally is called.
    '  For Each is done.
    Console.ReadKey()
End Sub

Private Iterator Function Test() As IEnumerable(Of Integer)
    Try
        Yield 3
        Yield 4
        Throw New Exception("Something happened. Yields are done.")
        Yield 5
        Yield 6
    Catch ex As Exception
        Console.WriteLine(ex.Message)
    Finally
        Console.WriteLine("Finally is called.")
    End Try
End Function

Una instrucción Yield no puede estar dentro de un bloque Catch ni un bloque Finally.

Si el cuerpo de For Each (en lugar del método de iterador) produce una excepción, no se ejecuta un bloque Catch en la función de iterador sino un bloque Finally. Un bloque Catch dentro de una función de iterador detecta solo las excepciones que se producen dentro de la función de iterador.

Métodos anónimos

En Visual Basic, una función anónima puede ser una función de iterador. Esto se ilustra en el siguiente ejemplo:

Dim iterateSequence = Iterator Function() _
                      As IEnumerable(Of Integer)
                          Yield 1
                          Yield 2
                      End Function

For Each number As Integer In iterateSequence()
    Console.Write(number & " ")
Next
' Output: 1 2
Console.ReadKey()

El ejemplo siguiente tiene un método que no es iterador que valida los argumentos. El método devuelve el resultado de un iterador anónimo que describe los elementos de la colección.

Sub Main()
    For Each number As Integer In GetSequence(5, 10)
        Console.Write(number & " ")
    Next
    ' Output: 5 6 7 8 9 10
    Console.ReadKey()
End Sub

Public Function GetSequence(ByVal low As Integer, ByVal high As Integer) _
As IEnumerable
    ' Validate the arguments.
    If low < 1 Then
        Throw New ArgumentException("low is too low")
    End If
    If high > 140 Then
        Throw New ArgumentException("high is too high")
    End If

    ' Return an anonymous iterator function.
    Dim iterateSequence = Iterator Function() As IEnumerable
                              For index = low To high
                                  Yield index
                              Next
                          End Function
    Return iterateSequence()
End Function

Si la validación está en su lugar dentro de la función de iterador, la validación no se puede realizar hasta el inicio de la primera iteración del cuerpo de For Each.

Uso de iteradores con una lista genérica

En el ejemplo siguiente, la clase genérica Stack(Of T) implementa la interfaz genérica IEnumerable<T>. El método Push asigna valores a una matriz de tipo T. El método GetEnumerator devuelve los valores de la matriz con la instrucción Yield.

Además del método GetEnumerator genérico, el método GetEnumerator no genérico también debe implementarse. Esto es porque IEnumerable<T> se hereda de IEnumerable. La implementación no genérica aplaza la implementación genérica.

El ejemplo usa iteradores con nombre para admitir distintas formas de recorrer en iteración la misma colección de datos. Estos iteradores con nombre son las propiedades TopToBottom y BottomToTop, y el método TopN.

La declaración de la propiedad BottomToTop incluye la palabra clave Iterator.

Sub Main()
    Dim theStack As New Stack(Of Integer)

    ' Add items to the stack.
    For number As Integer = 0 To 9
        theStack.Push(number)
    Next

    ' Retrieve items from the stack.
    ' For Each is allowed because theStack implements
    ' IEnumerable(Of Integer).
    For Each number As Integer In theStack
        Console.Write("{0} ", number)
    Next
    Console.WriteLine()
    ' Output: 9 8 7 6 5 4 3 2 1 0

    ' For Each is allowed, because theStack.TopToBottom
    ' returns IEnumerable(Of Integer).
    For Each number As Integer In theStack.TopToBottom
        Console.Write("{0} ", number)
    Next
    Console.WriteLine()
    ' Output: 9 8 7 6 5 4 3 2 1 0

    For Each number As Integer In theStack.BottomToTop
        Console.Write("{0} ", number)
    Next
    Console.WriteLine()
    ' Output: 0 1 2 3 4 5 6 7 8 9

    For Each number As Integer In theStack.TopN(7)
        Console.Write("{0} ", number)
    Next
    Console.WriteLine()
    ' Output: 9 8 7 6 5 4 3

    Console.ReadKey()
End Sub

Public Class Stack(Of T)
    Implements IEnumerable(Of T)

    Private values As T() = New T(99) {}
    Private top As Integer = 0

    Public Sub Push(ByVal t As T)
        values(top) = t
        top = top + 1
    End Sub

    Public Function Pop() As T
        top = top - 1
        Return values(top)
    End Function

    ' This function implements the GetEnumerator method. It allows
    ' an instance of the class to be used in a For Each statement.
    Public Iterator Function GetEnumerator() As IEnumerator(Of T) _
        Implements IEnumerable(Of T).GetEnumerator

        For index As Integer = top - 1 To 0 Step -1
            Yield values(index)
        Next
    End Function

    Public Iterator Function GetEnumerator1() As IEnumerator _
        Implements IEnumerable.GetEnumerator

        Yield GetEnumerator()
    End Function

    Public ReadOnly Property TopToBottom() As IEnumerable(Of T)
        Get
            Return Me
        End Get
    End Property

    Public ReadOnly Iterator Property BottomToTop As IEnumerable(Of T)
        Get
            For index As Integer = 0 To top - 1
                Yield values(index)
            Next
        End Get
    End Property

    Public Iterator Function TopN(ByVal itemsFromTop As Integer) _
        As IEnumerable(Of T)

        ' Return less than itemsFromTop if necessary.
        Dim startIndex As Integer =
            If(itemsFromTop >= top, 0, top - itemsFromTop)

        For index As Integer = top - 1 To startIndex Step -1
            Yield values(index)
        Next
    End Function
End Class

Información sobre la sintaxis

Un iterador se puede producir como un método o como un descriptor de acceso get. Un iterador no puede aparecer en un evento, un constructor de instancia, un constructor estático o un destructor estático.

Debe existir una conversión implícita desde el tipo de expresión en la instrucción Yield al tipo de valor devuelto por el iterador.

En Visual Basic, un método iterador no puede tener ningún parámetro ByRef.

En Visual Basic, "Yield" no es una palabra reservada y tiene un significado especial solo cuando se usa en un método Iterator o un descriptor de acceso get.

Implementación técnica

Aunque un iterador se escribe como un método, el compilador lo traduce a una clase anidada que es, en realidad, una máquina de estados. Esta clase realiza el seguimiento de la posición del iterador mientras el bucle For Each...Next continúe en el código de cliente.

Para ver lo que hace el compilador, puede usar la herramienta Ildasm.exe para ver el código de lenguaje intermedio común que se genera para un método de iterador.

Cuando crea un iterador para una clase o estructura, no necesita implementar la interfaz IEnumerator completa. Cuando el compilador detecta el iterador, genera automáticamente los métodos Current, MoveNext y Dispose de la interfaz IEnumerator o IEnumerator<T>.

En cada iteración sucesiva del bucle For Each…Next (o la llamada directa a IEnumerator.MoveNext), el cuerpo de código del iterador siguiente se reanuda después de la instrucción Yield anterior. Después continúa con la siguiente instrucción Yield hasta que se alcanza el final del cuerpo del iterador, o hasta que se encuentra una instrucción Exit Function o Return.

Los iteradores no admiten el método IEnumerator.Reset. Para volver a recorrer en iteración desde el principio, se debe obtener un nuevo iterador.

Para más información, consulte Especificación del lenguaje de Visual Basic.

Uso de iteradores

Los iteradores permiten mantener la simplicidad de un bucle For Each cuando se necesita usar código complejo para rellenar una secuencia de lista. Esto puede ser útil si quiere hacer lo siguiente:

  • Modificar la secuencia de lista después de la primera iteración del bucle For Each.

  • Evitar que se cargue totalmente una lista grande antes de la primera iteración de un bucle For Each. Un ejemplo es una búsqueda paginada para cargar un lote de filas de tabla. Otro ejemplo es el método EnumerateFiles, que implementa iteradores en .NET Framework.

  • Encapsular la creación de la lista en el iterador. En el método iterador, puede crear la lista y después devolver cada resultado en un bucle.

Vea también