Expressions lambda (Visual Basic)

Article
08/10/2011

Une expression lambda est une fonction ou une sous-routine sans nom qui peut être utilisée chaque fois qu'un délégué est valide. Les expressions lambda peuvent être des fonctions ou des sous-routines, et comporter une ou plusieurs lignes. Vous pouvez passer des valeurs de la portée actuelle à une expression lambda.

Notes

L'instruction RemoveHandler est une exception. Vous ne pouvez pas passer d'expression lambda pour le paramètre de délégué de RemoveHandler.

Vous créez des expressions lambda à l'aide du mot clé Function ou Sub, de la même manière qu'une fonction ou une sous-routine standard. Toutefois, les expressions lambda sont incluses dans une instruction.

L'exemple suivant est une expression lambda qui incrémente son argument et retourne la valeur. L'exemple montre la syntaxe d'expression lambda sur une ou plusieurs lignes d'une fonction.

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))

L'exemple suivant présente une expression lambda qui écrit une valeur sur la console. L'exemple montre la syntaxe d'expression lambda sur une ou plusieurs lignes d'une sous-routine.

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

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

' Write "World"
writeline2("World")

Remarquez que dans les exemples précédents, les expressions lambda sont assignées à un nom de variable. Chaque fois que vous faites référence à la variable, vous appelez l'expression lambda. Vous pouvez également déclarer et appeler une expression lambda simultanément, comme illustré dans l'exemple suivant.

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

Une expression lambda peut être retournée comme valeur d'un appel de fonction (comme le montre l'exemple de la section Contexte ultérieurement dans cette rubrique) ou passée comme argument à un paramètre qui accepte un type délégué, comme dans l'exemple ci-dessous.

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

Syntaxe d'expression lambda

La syntaxe d'une expression lambda est similaire à celle d'une fonction ou d'une sous-routine standard. Les différences sont les suivantes :

Une expression lambda n'a pas de nom.
Les expressions lambda ne peuvent pas avoir modificateurs, tels que Overloads ou Overrides.
Les expressions lambda sur une ligne n'utilisent pas de clause As pour désigner le type de retour. À la place, le type est déduit de la valeur que le corps de l'expression lambda prend. Par exemple, si le corps de l'expression lambda est cust.City = "London", son type de retour est Boolean.
Dans les fonctions lambda sur plusieurs lignes, vous pouvez spécifier un type de retour à l'aide d'une clause As ou omettre la clause As afin que le type de retour soit déduit. Lorsque la clause As est omise pour une fonction lambda sur plusieurs lignes, le type de retour est déduit pour être le type dominant de toutes les instructions Return de la fonction. Le type dominant est un type unique auquel tous les autres types fournis dans l'instruction Return peuvent s'étendre. Si ce type unique ne peut pas être déterminé, le type dominant est le type unique auquel tous les autres types fournis dans l'instruction Return peuvent se limiter. Si aucun de ces types uniques ne peut être déterminé, le type dominant est Object.

Par exemple, si les expressions fournies dans l'instruction Return contiennent des valeurs de type Integer, Long et Double, le type résultant est Double. Integer et Long s'étendent à Double et uniquement à Double. Par conséquent, Double est le type dominant. Pour plus d'informations, consultez Conversions étendues et restrictives (Visual Basic).
Le corps d'une fonction sur une ligne doit être une expression qui retourne une valeur, et non pas une instruction. Il n'existe aucune instruction Return pour les fonctions sur une ligne. La valeur retournée par la fonction sur une ligne est celle de l'expression du corps de la fonction.
Le corps d'une sous-routine sur une ligne doit être une instruction sur une ligne.
Les fonctions et sous-routines sur une ligne n'incluent pas d'instruction End Function ou End Sub.
Vous pouvez spécifier le type de données d'un paramètre d'expression lambda à l'aide du mot clé As, ou le type de données du paramètre peut être déduit. Tous les paramètres doivent posséder des types de données spécifiés ou être tous déduits.
Les paramètres Optional et Paramarray ne sont pas autorisés.
Les paramètres génériques ne sont pas autorisés.

Contexte

Une expression lambda partage son contexte avec la portée dans laquelle elle est définie. Elle possède les mêmes droits d'accès que tout code écrit dans la portée contenante. Cela inclut l'accès aux éléments suivants : variables membres, fonctions, sous-routines, Me , et paramètres et variables locales se trouvant dans la portée contenante.

L'accès aux variables locales et aux paramètres figurant dans la portée contenante peut s'étendre au-delà de la durée de vie de cette portée. Tant qu'un délégué qui fait référence à une expression lambda n'est pas disponible pour l'opération garbage collection, l'accès aux variables dans l'environnement d'origine est conservé. Dans l'exemple suivant, la variable target est locale à makeTheGame, la méthode dans laquelle l'expression lambda playTheGame est définie. Notez que l'expression lambda retournée, assignée à takeAGuess dans Main, a encore accès à la variable locale 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

L'exemple suivant montre la large gamme de droits d'accès de l'expression lambda imbriquée. Lorsque l'expression lambda retournée est exécutée depuis Main sous la forme aDel, elle accède aux éléments suivants :

Un champ de la classe dans laquelle elle est définie : aField
Une propriété de la classe dans laquelle elle est définie : aProp
Un paramètre de la méthode functionWithNestedLambda, dans laquelle elle est définie : level1
Une variable locale de functionWithNestedLambda : localVar
Un paramètre de l'expression lambda dans laquelle elle est imbriquée : 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
            ' locarVar = 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

Conversion en type délégué

Une expression lambda peut être convertie implicitement en type délégué compatible. Pour plus d'informations sur les spécifications générales en matière de compatibilité, consultez Conversion simplifiée des délégués (Visual Basic). L'exemple de code suivant présente une expression lambda qui est implicitement convertie vers Func(Of Integer, Boolean) ou une signature de délégué correspondante.

' 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

L'exemple de code suivant présente une expression lambda qui est implicitement convertie vers Sub(Of Double, String, Double) ou une signature de délégué correspondante.

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

Lorsque vous assignez des expressions lambda aux délégués ou les passez en tant qu'arguments aux procédures, vous pouvez spécifier les noms de paramètres, mais omettre leurs types de données, en permettant l'extraction des types du délégué.

Exemples

L'exemple suivant définit une expression lambda qui retourne la valeur True si l'argument nullable a une valeur assignée, et False si sa valeur est 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))

L'exemple suivant définit une expression lambda qui retourne l'index du dernier élément dans un tableau.

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

Voir aussi

Historique des modifications

Date

Historique

Motif

Avril 2011

Modification des informations relatives aux types de retour multiples dans la section « Syntaxe d'expression lambda ».

Commentaires client.

Expressions lambda (Visual Basic)

Syntaxe d'expression lambda

Contexte

Conversion en type délégué

Exemples

Voir aussi

Tâches

Référence

Concepts

Autres ressources

Historique des modifications

Ressources supplémentaires