Lambda — Wyrażenia (Visual Basic)

Wyrażenie lambda jest funkcją lub podroutine bez nazwy, która może być używana wszędzie tam, gdzie delegat jest prawidłowy. Wyrażenia lambda mogą być funkcjami lub podroutynami i mogą być jednowierszowe lub wielowierszowe. Wartości z bieżącego zakresu można przekazać do wyrażenia lambda.

Uwaga

Instrukcja RemoveHandler jest wyjątkiem. Nie można przekazać wyrażenia lambda w pliku dla parametru delegata .RemoveHandler

Wyrażenia lambda są tworzone przy użyciu słowa kluczowego Function lub Sub , podobnie jak w przypadku tworzenia standardowej funkcji lub podroutyny. Jednak wyrażenia lambda są uwzględniane w instrukcji .

Poniższy przykład to wyrażenie lambda, które zwiększa jego argument i zwraca wartość. W przykładzie przedstawiono zarówno składnię wyrażeń lambda jednowierszowych, jak i wielowierszowych dla funkcji.

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

Poniższy przykład to wyrażenie lambda, które zapisuje wartość w konsoli. W przykładzie przedstawiono zarówno składnię wyrażeń lambda jednowierszowych, jak i wielowierszowych dla podroutyny.

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

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

' Write "World"
writeline2("World")

Zwróć uwagę, że w poprzednich przykładach wyrażenia lambda są przypisywane do nazwy zmiennej. Za każdym razem, gdy odwołujesz się do zmiennej, wywołujesz wyrażenie lambda. Można również zadeklarować i wywołać wyrażenie lambda w tym samym czasie, jak pokazano w poniższym przykładzie.

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

Wyrażenie lambda może zostać zwrócone jako wartość wywołania funkcji (jak pokazano w przykładzie w sekcji Kontekst w dalszej części tego tematu) lub przekazane jako argument do parametru, który przyjmuje typ delegata, jak pokazano w poniższym przykładzie.

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

Składnia wyrażenia lambda

Składnia wyrażenia lambda przypomina składnię funkcji standardowej lub podrouty. Różnice są następujące:

  • Wyrażenie lambda nie ma nazwy.

  • Wyrażenia lambda nie mogą mieć modyfikatorów, takich jak Overloads lub Overrides.

  • Funkcje lambda jednowierszowe As nie używają klauzuli w celu wyznaczenia typu zwracanego. Zamiast tego typ jest wywnioskowany z wartości obliczonej przez treść wyrażenia lambda. Jeśli na przykład treść wyrażenia lambda to cust.City = "London", zwracany typ to Boolean.

  • W funkcjach lambda wielowierszowych można określić typ zwracany przy użyciu As klauzuli lub pominąć As klauzulę, aby typ zwracany był wnioskowany. Gdy klauzula As zostanie pominięta dla funkcji lambda wielowierszowej, zwracany typ jest wnioskowany jako typ dominujący ze wszystkich Return instrukcji w funkcji lambda wielowierszowej. Typ dominujący jest unikatowym typem, do którego można rozszerzyć wszystkie inne typy. Jeśli nie można określić tego typu unikatowego, typ dominujący jest unikatowym typem, do którego mogą zawęzić wszystkie inne typy w tablicy. Jeśli nie można określić żadnego z tych unikatowych typów, dominujący typ to Object. W takim przypadku, jeśli Option Strict ustawiono wartość On, wystąpi błąd kompilatora.

    Jeśli na przykład wyrażenia podane w instrukcji Return zawierają wartości typu Integer, Longi Double, wynikowa tablica jest typu Double. Zarówno Integer , jak i Long poszerzyć do Double i tylko Double. Double W związku z tym jest to typ dominujący. Aby uzyskać więcej informacji, zobacz Rozszerzanie i zawężanie konwersji.

  • Treść funkcji jednowierszowej musi być wyrażeniem, które zwraca wartość, a nie instrukcję. Nie ma Return instrukcji dla funkcji jednowierszowych. Wartość zwracana przez funkcję jednowierszową jest wartością wyrażenia w treści funkcji.

  • Treść podroutyny jednowierszowej musi być instrukcją jednowierszową.

  • Funkcje jednowierszowe i podrouty nie zawierają instrukcji End Function or End Sub .

  • Można określić typ danych parametru wyrażenia lambda przy użyciu As słowa kluczowego lub typ danych parametru można wywnioskować. Wszystkie parametry muszą mieć określone typy danych lub wszystkie muszą zostać wywnioskowane.

  • Optional parametry i Paramarray nie są dozwolone.

  • Parametry ogólne nie są dozwolone.

Lambdy asynchroniczne

Wyrażenia i instrukcje lambda można łatwo tworzyć, które zawierają przetwarzanie asynchroniczne przy użyciu słów kluczowych Async i Await Operator . Na przykład poniższy przykład formularzy systemu Windows zawiera procedurę obsługi zdarzeń, która wywołuje metodę asynchroniową i oczekuje na metodę asynchroniową . 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

Tę samą procedurę obsługi zdarzeń można dodać przy użyciu asynchronicznego wyrażenia lambda w instrukcji AddHandler. Aby dodać tę procedurę obsługi, dodaj modyfikator przed listą Async parametrów lambda, jak pokazano w poniższym przykładzie.

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

Aby uzyskać więcej informacji na temat tworzenia i używania metod asynchronicznych, zobacz Asynchroniczne programowanie za pomocą Async i Await.

Kontekst

Wyrażenie lambda współudzieli swój kontekst z zakresem, w którym jest definiowany. Ma te same prawa dostępu co każdy kod napisany w zakresie zawierającym. Obejmuje to dostęp do zmiennych składowych, funkcji i podsieci oraz Meparametrów i zmiennych lokalnych w zakresie zawierającym.

Dostęp do zmiennych lokalnych i parametrów w zakresie zawierającym może wykraczać poza okres istnienia tego zakresu. Jeśli delegat odwołujący się do wyrażenia lambda nie jest dostępny dla odzyskiwania pamięci, zostanie zachowany dostęp do zmiennych w oryginalnym środowisku. W poniższym przykładzie zmienna target to local to makeTheGame, metoda, w której zdefiniowano wyrażenie playTheGame lambda. Zwróć uwagę, że zwrócone wyrażenie lambda przypisane do takeAGuess elementu w Mainsystemie nadal ma dostęp do zmiennej targetlokalnej .

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

W poniższym przykładzie pokazano szeroki zakres praw dostępu zagnieżdżonego wyrażenia lambda. Gdy zwrócone wyrażenie lambda jest wykonywane z Main elementu jako aDel, uzyskuje dostęp do następujących elementów:

  • Pole klasy, w której jest zdefiniowane: aField

  • Właściwość klasy, w której jest zdefiniowana: aProp

  • Parametr metody functionWithNestedLambda, w której jest zdefiniowany: level1

  • Zmienna lokalna :functionWithNestedLambdalocalVar

  • Parametr wyrażenia lambda, w którym jest zagnieżdżony: 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

Konwertowanie na typ delegata

Wyrażenie lambda może być niejawnie konwertowane na zgodny typ delegata. Aby uzyskać informacje o ogólnych wymaganiach dotyczących zgodności, zobacz Zrelaksowana konwersja delegatów. Na przykład poniższy przykład kodu przedstawia wyrażenie lambda, które niejawnie konwertuje na Func(Of Integer, Boolean) lub pasujący podpis delegata.

' 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

Poniższy przykład kodu przedstawia wyrażenie lambda, które niejawnie konwertuje na Sub(Of Double, String, Double) lub pasujący podpis delegata.

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

Po przypisaniu wyrażeń lambda do delegatów lub przekazaniu ich jako argumentów do procedur można określić nazwy parametrów, ale pominąć ich typy danych, pozwalając na odbieranie typów z delegata.

Przykłady

  • W poniższym przykładzie zdefiniowano wyrażenie lambda, które zwraca True , jeśli argument typu wartości null ma przypisaną wartość, a False jeśli jej wartość to 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))
    
  • W poniższym przykładzie zdefiniowano wyrażenie lambda zwracające indeks ostatniego elementu w tablicy.

    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
    

Zobacz też