"Kann nicht festen lokalen innerhalb Lambda-Ausdruck verwenden"

Question

Ich habe ein XNA 3.0-Projekt, das in VS2008 gut kompiliert, aber das kompiliert Fehler in VS2010 (mit XNA 4.0 CTP). Der Fehler:

Cannot use fixed local 'depthPtr' inside an anonymous method, lambda expression, or query expression

depthPtr ist ein fixed float* in ein Array, das aus System.Threading innerhalb eines Parallel.For Lambda-Ausdruck verwendet wird. Wie gesagt, dies kompiliert und lief gut auf VS2008, aber nicht auf VS2010, auch wenn es .NET 3.5 anvisiert.

Hat sich das in .NET 4.0 geändert und sollte es trotzdem noch kompilieren, wenn ich .NET 3.5 als Zielframework wähle? Die Suche nach dem Begriff "Kann nicht lokal fixieren" ergibt genau ein (nutzloses) Ergebnis, sowohl bei Google als auch bei Bing.

Wenn sich das geändert hat, was ist der Grund dafür? Ich kann mir vorstellen, einen fixed Zeiger-Typ in einem Verschluss zu erfassen, könnte ein bisschen seltsam werden, ist das warum? Also ich vermute, das ist eine schlechte Übung? Und bevor jemand fragt: Nein, der Einsatz von Zeigern ist hier nicht absolut kritisch. Ich möchte noch wissen, aber :)

EDIT: Wie gewünscht, ein Codebeispiel (nicht von meinem Programm, natürlich), der den Fehler reproduziert:

static unsafe void Main(string[] args) 
{ 
    float[] array = new float[10]; 

    fixed (float* ptr = array) 
    { 
    Parallel.For(0, 10, i => 
    { 
     ptr[i] = i; 
    }); 
    } 
} 

Die oben compiliert in VS2008 (gut, abgesehen von der Referenz auf Parallel, aber jeder andere Lambda-Ausdruck wird tun, aber nicht in VS2010.

Answer 1

fixiert Pins einen Zeiger für die Dauer des Blocks. Wenn Sie den Delegat speichern, der später aufgerufen werden soll, nachdem der Block beendet wurde, kann der Garbage Collector das Objekt zwischen dem Zeitpunkt der Lambda-Erstellung und dem Aufruf des Lambda verschieben. Warum das Targeting eines anderen Frameworks nicht hilft, liegt daran, dass dies von der Sprache/dem Compiler erzwungen wird, nicht von der Runtime (wenn es die Runtime wäre, würde sie zur Laufzeit von einer Exception o.ä. gemeldet und nicht von der Compiler zur Kompilierzeit).

Answer 2

Eine Erklärung könnte sein, dass der Wert einer Variablen bei der Ausführung des Abschlusses genommen wird, nicht die Definition. In Ihrem Beispiel würde es wahrscheinlich keinen Schaden anrichten, aber in anderen Fällen könnte es sein. Um also gute Praxis zu lehren, ist es verboten, alle Arten von interessanten Fehlern zu verhindern.

Answer 3

Die doco sagen, dass Sie nicht auf unsicheren Code in einer anonymen Methoden zugreifen dürfen, und die gleichen Einschränkungen gelten für Lambdas, also denke ich, dass das Ihr Problem sein kann. Hast du den tatsächlichen Compilerfehler nicht?

Answer 4

Das funktioniert. Im Grunde haben wir das Lambda, das einen unsicheren Zeiger enthält, eliminiert und es durch einen Delegaten einer Instanz einer Klasse ersetzt, die innerhalb des Blocks fixed deklariert wurde.

static unsafe void UnsafeTest(string[] args) { 
     float[] array = new float[10]; 

     fixed(float* ptr = array) { 
      UnsafeOps ops = new UnsafeOps(); 
      ops.p = ptr; 

      Parallel.For(0, 10, ops.Lambda); 
     } 
    } 

    unsafe class UnsafeOps { 
     public float* p; 
     public unsafe void Lambda(int value) { 
      p[value] = value; 
     } 
    } 

Sieht mir wie .NET 4 einige Halb arsed Versuch disallowing festen Speicherzugriff im Compiler hinzugefügt. Im obigen Codeblock könnten Sie UnsafeOps außerhalb des fixed Blocks definieren und auf das Array nach dem fixed-Block zugreifen. So ist es nicht perfekt ...

Answer 5

Der Compiler ist korrekt, diesen Code abzulehnen. Fixed kann nur für lokale Variablen verwendet werden, und Variablen, die von einer Schließung erfasst werden, sind keine lokalen Variablen. Sie werden in die Klasse geholt, die für die Aufrechterhaltung des Status für die Schließung verwendet wird.