VB.Net - "With" und Closures vermischen sich nicht

Question

Ich dachte nur, ich würde dies teilen, falls irgendjemand anderes in diese Sache geraten ist.
Ich habe heute etwas ähnliches gemacht und es hat eine Weile gedauert, bis ich herausgefunden habe, warum dies zur Laufzeit ein Problem verursacht hat.

Dieser Code:

Public Class foo 
    Public bar As String = "blah" 
End Class 

Public Sub DoInline() 
    Dim o As New foo 
    Dim f As Func(Of String) 
    With o 
    f = Function() .bar 
    End With 
    Try 
    Console.WriteLine(f.DynamicInvoke()) 
    Catch ex As Reflection.TargetInvocationException 
    Console.WriteLine(ex.InnerException.ToString) 
    End Try 
End Sub 

wirft eine Nullreferenceexception. Es sieht so aus, als ob With den Closure als temporären Speicher verwendet und bei "End With" die Closure-Variable auf Nothing setzt.

ist hier, dass Code in RedGate Reflektor:

Public Shared Sub DoInline() 
    Dim o As New foo 
    Dim $VB$Closure_ClosureVariable_7A_6 As New _Closure$__1 
    $VB$Closure_ClosureVariable_7A_6.$VB$Local_VB$t_ref$L0 = o 
    Dim f As Func(Of String) = New Func(Of String)(AddressOf $VB$Closure_ClosureVariable_7A_6._Lambda$__1) 
    $VB$Closure_ClosureVariable_7A_6.$VB$Local_VB$t_ref$L0 = Nothing 
    Try 
     Console.WriteLine(RuntimeHelpers.GetObjectValue(f.DynamicInvoke(New Object(0 - 1) {}))) 
    Catch exception1 As TargetInvocationException 
     ProjectData.SetProjectError(exception1) 
     Console.WriteLine(exception1.InnerException.ToString) 
     ProjectData.ClearProjectError 
    End Try 
End Sub 

Hinweis der

$VB$Closure_ClosureVariable_7A_6.$VB$Local_VB$t_ref$L0 = Nothing 

Nur "Frage" ich wirklich fragen kann; Ist das ein Fehler oder eine seltsame Designentscheidung, die ich aus irgendeinem Grund nicht sehe? Ich werde von jetzt an einfach vermeiden, "With" zu verwenden.

Answer 1

Dieses Verhalten ist "By Design" und Ergebnisse aus einem oft missverstandenen Detail der With-Anweisung.

Die Anweisung With nimmt einen Ausdruck tatsächlich als Argument und nicht als direkte Referenz (obwohl es einer der häufigsten Anwendungsfälle ist). Abschnitt 10.3 der Sprachspezifikation garantiert, dass der in einen With-Block übergebene Ausdruck nur einmal ausgewertet wird und für die Ausführung der With-Anweisung verfügbar ist.

Dies wird mit einem temporären implementiert. Wenn Sie also eine .Member expressio in einer With-Anweisung ausführen, greifen Sie nicht auf den ursprünglichen Wert, sondern auf eine temporäre, die auf den ursprünglichen Wert verweist. Es ermöglicht andere lustige Szenarien wie die folgenden.

Dim o as New Foo 
o.bar = "some value" 
With o 
    o = Nothing 
    Console.WriteLine(.bar) ' Prints "some value" 
End With 

Das funktioniert, weil in der With Anweisung Sie sind nicht auf o sondern eine temporäre zeigt auf den ursprünglichen Ausdruck arbeitet. Dieses temporäre ist nur garantiert für die Lebenszeit der With Anweisung am Leben und ist daher am Ende Nothing d out.

In Ihrem Beispiel erfasst der Abschluss korrekt den temporären Wert. Daher, wenn es ausgeführt wird, nachdem die With-Anweisung abgeschlossen ist, ist das temporäre Nothing und der Code schlägt entsprechend fehl.

Answer 2

Es gibt wirklich nur einen Fehler, den ich sehe, der Compiler sollte einen Fehler dafür erzeugen. Sollte nicht schwer zu implementieren sein. Sie können es unter connect.microsoft.com melden