Lambda (expresiones) (Visual Basic)

Una expresión lambda es una función o subrutina sin un nombre que se puede usar siempre que un delegado sea válido. Las expresiones lambda pueden ser funciones o subrutinas, y pueden ser de una sola línea o de varias líneas. Puede pasar valores del ámbito actual a una expresión lambda.

Nota

La instrucción RemoveHandler es una excepción. No se puede pasar una expresión lambda para el parámetro delegado de RemoveHandler.

Las expresiones lambda se crean mediante la palabra clave Function o Sub, al igual que se crea una función o subrutina estándar. Pero las expresiones lambda se incluyen en una instrucción.

El ejemplo siguiente es una expresión lambda que incrementa su argumento y devuelve el valor. En el ejemplo se muestra la sintaxis de expresión lambda de una sola línea y de varias líneas para una función.

Dim increment1 = Function(x) x + 1
Dim increment2 = Function(x)
                     Return x + 2
                 End Function

' Write the value 2.
Console.WriteLine(increment1(1))

' Write the value 4.
Console.WriteLine(increment2(2))

El ejemplo siguiente es una expresión lambda que escribe un valor en la consola. En el ejemplo se muestra la sintaxis de expresión lambda de una sola línea y de varias líneas para una subrutina.

Dim writeline1 = Sub(x) Console.WriteLine(x)
Dim writeline2 = Sub(x)
                     Console.WriteLine(x)
                 End Sub

' Write "Hello".
writeline1("Hello")

' Write "World"
writeline2("World")

Observe que, en los ejemplos anteriores, las expresiones lambda se asignan a un nombre de variable. Siempre que haga referencia a la variable, debe invocar la expresión lambda. También puede declarar e invocar una expresión lambda al mismo tiempo, tal como se muestra en el ejemplo siguiente.

Console.WriteLine((Function(num As Integer) num + 1)(5))

Se puede devolver una expresión lambda como valor de una llamada de función (tal como se muestra en el ejemplo de la sección Contexto más adelante en este tema) o pasarla como argumento a un parámetro que toma un tipo delegado, tal como se muestra en el ejemplo siguiente.

Module Module2

    Sub Main()
        ' The following line will print Success, because 4 is even.
        testResult(4, Function(num) num Mod 2 = 0)
        ' The following line will print Failure, because 5 is not > 10.
        testResult(5, Function(num) num > 10)
    End Sub

    ' Sub testResult takes two arguments, an integer value and a 
    ' delegate function that takes an integer as input and returns
    ' a boolean. 
    ' If the function returns True for the integer argument, Success
    ' is displayed.
    ' If the function returns False for the integer argument, Failure
    ' is displayed.
    Sub testResult(ByVal value As Integer, ByVal fun As Func(Of Integer, Boolean))
        If fun(value) Then
            Console.WriteLine("Success")
        Else
            Console.WriteLine("Failure")
        End If
    End Sub

End Module

Sintaxis de la expresión lambda

La sintaxis de una expresión lambda es similar a la de una función o subrutina estándar. Las diferencias son las siguientes:

  • Una expresión lambda no tiene nombre.

  • Las expresiones lambda no pueden tener modificadores, como Overloads o Overrides.

  • Las funciones lambda de una sola línea no usan una cláusula As para designar el tipo de valor devuelto. En su lugar, el tipo se deduce del valor al que se evalúa el cuerpo de la expresión lambda. Por ejemplo, si el cuerpo de la expresión lambda es cust.City = "London", su tipo de valor devuelto es Boolean.

  • En las funciones lambda de varias líneas, puede especificar un tipo de valor devuelto mediante una cláusula As o bien omitir la cláusula As para que se deduzca el tipo de valor devuelto. Cuando se omite la cláusula As para una función lambda de varias líneas, se deduce que el tipo de valor devuelto es el tipo dominante de todas las instrucciones Return de la función lambda de varias líneas. El tipo dominante es un tipo único al que todos los demás tipos se pueden ampliar. Si no se puede determinar este tipo único, el tipo dominante es el tipo único al que todos los demás tipos de la matriz se pueden restringir. Si no se puede determinar ninguno de estos tipos únicos, el tipo dominante es Object. En este caso, si Option Strict se establece en On, se produce un error del compilador.

    Por ejemplo, si las expresiones que se proporcionan a la instrucción Return contienen valores de tipo Integer, Long y Double, la matriz resultante es de tipo Double. Tanto Integer como Long se amplían a Double y únicamente a Double. Por lo tanto, Double es el tipo dominante. Para obtener más información, consulta Widening and Narrowing Conversions.

  • El cuerpo de una función de una sola línea debe ser una expresión que devuelva un valor, no una instrucción. No hay ninguna instrucción Return para las funciones de una sola línea. El valor que devuelve la función de una sola línea es el valor de la expresión en el cuerpo de la función.

  • El cuerpo de una subrutina de una sola línea debe ser una instrucción de una sola línea.

  • Las funciones y subrutinas de una sola línea no incluyen una instrucción End Function o End Sub.

  • Puede especificar el tipo de datos de un parámetro de expresión lambda mediante la palabra clave As, o bien el tipo de datos del parámetro se puede deducir. Todos los parámetros deben tener tipos de datos especificados o bien deben inferirse.

  • No se permiten los parámetros Optional ni Paramarray.

  • No se permiten los parámetros genéricos.

Lambdas asincrónicas

Puede crear fácilmente expresiones e instrucciones lambda que incorporen el procesamiento asincrónico mediante las palabras clave Async y Await Operator. Por ejemplo, en el siguiente ejemplo de formularios Windows Forms se incluye un controlador de eventos que llama y espera un método asincrónico, ExampleMethodAsync.

Public Class Form1

    Async Sub Button1_Click(sender As Object, e As EventArgs) Handles Button1.Click
        ' ExampleMethodAsync returns a Task.
        Await ExampleMethodAsync()
        TextBox1.Text = vbCrLf & "Control returned to button1_Click."
    End Sub

    Async Function ExampleMethodAsync() As Task
        ' The following line simulates a task-returning asynchronous process.
        Await Task.Delay(1000)
    End Function

End Class

Puede agregar el mismo controlador de eventos mediante una lambda asincrónica en una Instrucción AddHandler. Para agregar este controlador, agregue un modificador Async antes de la lista de parámetros lambda, como se muestra en el ejemplo siguiente.

Public Class Form1

    Private Sub Form1_Load(sender As Object, e As EventArgs) Handles MyBase.Load
        AddHandler Button1.Click,
            Async Sub(sender1, e1)
                ' ExampleMethodAsync returns a Task.
                Await ExampleMethodAsync()
                TextBox1.Text = vbCrLf & "Control returned to Button1_ Click."
            End Sub
    End Sub

    Async Function ExampleMethodAsync() As Task
        ' The following line simulates a task-returning asynchronous process.
        Await Task.Delay(1000)
    End Function

End Class

Para obtener más información sobre cómo crear y usar métodos asincrónicos, vea Programación asincrónica con Async y Await.

Context

Una expresión lambda comparte su contexto con el ámbito en el que se define. Tiene los mismos derechos de acceso que cualquier código escrito en el ámbito contenedor. Esto incluye el acceso a variables de miembro, funciones y suscripciones, Me, y parámetros y variables locales en el ámbito contenedor.

El acceso a variables y parámetros locales del ámbito contenedor puede ampliarse más allá de la duración de ese ámbito. Siempre que un delegado que haga referencia a una expresión lambda no esté disponible para la recolección de elementos no utilizados, se conserva el acceso a las variables del entorno original. En el ejemplo siguiente, la variable target es local para makeTheGame, el método en el que se define la expresión lambda playTheGame. Tenga en cuenta que la expresión lambda devuelta, asignada a takeAGuess en Main, todavía tiene acceso a la variable local target.

Module Module6

    Sub Main()
        ' Variable takeAGuess is a Boolean function. It stores the target
        ' number that is set in makeTheGame.
        Dim takeAGuess As gameDelegate = makeTheGame()

        ' Set up the loop to play the game.
        Dim guess As Integer
        Dim gameOver = False
        While Not gameOver
            guess = CInt(InputBox("Enter a number between 1 and 10 (0 to quit)", "Guessing Game", "0"))
            ' A guess of 0 means you want to give up.
            If guess = 0 Then
                gameOver = True
            Else
                ' Tests your guess and announces whether you are correct. Method takeAGuess
                ' is called multiple times with different guesses. The target value is not 
                ' accessible from Main and is not passed in.
                gameOver = takeAGuess(guess)
                Console.WriteLine("Guess of " & guess & " is " & gameOver)
            End If
        End While

    End Sub

    Delegate Function gameDelegate(ByVal aGuess As Integer) As Boolean

    Public Function makeTheGame() As gameDelegate

        ' Generate the target number, between 1 and 10. Notice that 
        ' target is a local variable. After you return from makeTheGame,
        ' it is not directly accessible.
        Randomize()
        Dim target As Integer = CInt(Int(10 * Rnd() + 1))

        ' Print the answer if you want to be sure the game is not cheating
        ' by changing the target at each guess.
        Console.WriteLine("(Peeking at the answer) The target is " & target)

        ' The game is returned as a lambda expression. The lambda expression
        ' carries with it the environment in which it was created. This 
        ' environment includes the target number. Note that only the current
        ' guess is a parameter to the returned lambda expression, not the target. 

        ' Does the guess equal the target?
        Dim playTheGame = Function(guess As Integer) guess = target

        Return playTheGame

    End Function

End Module

En el ejemplo siguiente se muestra la amplia gama de derechos de acceso de la expresión lambda anidada. Cuando la expresión lambda devuelta se ejecuta desde Main como aDel, accede a estos elementos:

  • Un campo de la clase en la que se define: aField.

  • Una propiedad de la clase en la que se define: aProp.

  • Un parámetro del método functionWithNestedLambda, en el que se define: level1.

  • Una variable local de functionWithNestedLambda: localVar.

  • Un parámetro de la expresión lambda en la que está anidada: level2.

Module Module3

    Sub Main()
        ' Create an instance of the class, with 1 as the value of 
        ' the property.
        Dim lambdaScopeDemoInstance =
            New LambdaScopeDemoClass With {.Prop = 1}

        ' Variable aDel will be bound to the nested lambda expression  
        ' returned by the call to functionWithNestedLambda.
        ' The value 2 is sent in for parameter level1.
        Dim aDel As aDelegate =
            lambdaScopeDemoInstance.functionWithNestedLambda(2)

        ' Now the returned lambda expression is called, with 4 as the 
        ' value of parameter level3.
        Console.WriteLine("First value returned by aDel:   " & aDel(4))

        ' Change a few values to verify that the lambda expression has 
        ' access to the variables, not just their original values.
        lambdaScopeDemoInstance.aField = 20
        lambdaScopeDemoInstance.Prop = 30
        Console.WriteLine("Second value returned by aDel: " & aDel(40))
    End Sub

    Delegate Function aDelegate(
        ByVal delParameter As Integer) As Integer

    Public Class LambdaScopeDemoClass
        Public aField As Integer = 6
        Dim aProp As Integer

        Property Prop() As Integer
            Get
                Return aProp
            End Get
            Set(ByVal value As Integer)
                aProp = value
            End Set
        End Property

        Public Function functionWithNestedLambda(
            ByVal level1 As Integer) As aDelegate

            Dim localVar As Integer = 5

            ' When the nested lambda expression is executed the first 
            ' time, as aDel from Main, the variables have these values:
            ' level1 = 2
            ' level2 = 3, after aLambda is called in the Return statement
            ' level3 = 4, after aDel is called in Main
            ' localVar = 5
            ' aField = 6
            ' aProp = 1
            ' The second time it is executed, two values have changed:
            ' aField = 20
            ' aProp = 30
            ' level3 = 40
            Dim aLambda = Function(level2 As Integer) _
                              Function(level3 As Integer) _
                                  level1 + level2 + level3 + localVar +
                                    aField + aProp

            ' The function returns the nested lambda, with 3 as the 
            ' value of parameter level2.
            Return aLambda(3)
        End Function

    End Class
End Module

Conversión a un tipo delegado

Una expresión lambda se puede convertir implícitamente en un tipo delegado compatible. Para obtener información acerca de los requisitos generales de compatibilidad, vea Conversión de delegado flexible. Por ejemplo, en el ejemplo de código siguiente se muestra una expresión lambda que se convierte implícitamente en Func(Of Integer, Boolean) o en una firma de delegado que coincide.

' Explicitly specify a delegate type.
Delegate Function MultipleOfTen(ByVal num As Integer) As Boolean

' This function matches the delegate type.
Function IsMultipleOfTen(ByVal num As Integer) As Boolean
    Return num Mod 10 = 0
End Function

' This method takes an input parameter of the delegate type. 
' The checkDelegate parameter could also be of 
' type Func(Of Integer, Boolean).
Sub CheckForMultipleOfTen(ByVal values As Integer(),
                          ByRef checkDelegate As MultipleOfTen)
    For Each value In values
        If checkDelegate(value) Then
            Console.WriteLine(value & " is a multiple of ten.")
        Else
            Console.WriteLine(value & " is not a multiple of ten.")
        End If
    Next
End Sub

' This method shows both an explicitly defined delegate and a
' lambda expression passed to the same input parameter.
Sub CheckValues()
    Dim values = {5, 10, 11, 20, 40, 30, 100, 3}
    CheckForMultipleOfTen(values, AddressOf IsMultipleOfTen)
    CheckForMultipleOfTen(values, Function(num) num Mod 10 = 0)
End Sub

En el ejemplo de código siguiente se muestra una expresión lambda que se convierte implícitamente en Sub(Of Double, String, Double) o en una firma de delegado que coincide.

Module Module1
    Delegate Sub StoreCalculation(ByVal value As Double,
                                  ByVal calcType As String,
                                  ByVal result As Double)

    Sub Main()
        ' Create a DataTable to store the data.
        Dim valuesTable = New DataTable("Calculations")
        valuesTable.Columns.Add("Value", GetType(Double))
        valuesTable.Columns.Add("Calculation", GetType(String))
        valuesTable.Columns.Add("Result", GetType(Double))

        ' Define a lambda subroutine to write to the DataTable.
        Dim writeToValuesTable = Sub(value As Double, calcType As String, result As Double)
                                     Dim row = valuesTable.NewRow()
                                     row(0) = value
                                     row(1) = calcType
                                     row(2) = result
                                     valuesTable.Rows.Add(row)
                                 End Sub

        ' Define the source values.
        Dim s = {1, 2, 3, 4, 5, 6, 7, 8, 9}

        ' Perform the calculations.
        Array.ForEach(s, Sub(c) CalculateSquare(c, writeToValuesTable))
        Array.ForEach(s, Sub(c) CalculateSquareRoot(c, writeToValuesTable))

        ' Display the data.
        Console.WriteLine("Value" & vbTab & "Calculation" & vbTab & "Result")
        For Each row As DataRow In valuesTable.Rows
            Console.WriteLine(row(0).ToString() & vbTab &
                              row(1).ToString() & vbTab &
                              row(2).ToString())
        Next

    End Sub


    Sub CalculateSquare(ByVal number As Double, ByVal writeTo As StoreCalculation)
        writeTo(number, "Square     ", number ^ 2)
    End Sub

    Sub CalculateSquareRoot(ByVal number As Double, ByVal writeTo As StoreCalculation)
        writeTo(number, "Square Root", Math.Sqrt(number))
    End Sub
End Module

Al asignar expresiones lambda a delegados o pasarlas como argumentos a procedimientos, puede especificar los nombres de parámetro pero omitir sus tipos de datos, lo que permite que los tipos se tomen del delegado.

Ejemplos

  • En el ejemplo siguiente se define una expresión lambda que devuelve True si el argumento de tipo de valor que admite un valor NULL tiene un valor asignado y False si su valor es Nothing.

    Dim notNothing =
      Function(num? As Integer) num IsNot Nothing
    Dim arg As Integer = 14
    Console.WriteLine("Does the argument have an assigned value?")
    Console.WriteLine(notNothing(arg))
    
  • En el ejemplo siguiente se define una expresión lambda que devuelve el índice del último elemento de una matriz.

    Dim numbers() = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
    Dim lastIndex =
      Function(intArray() As Integer) intArray.Length - 1
    For i = 0 To lastIndex(numbers)
        numbers(i) += 1
    Next
    

Consulte también