Code Contracts + Async in .NET 4.5: "Die Methode oder der Vorgang ist nicht implementiert"

Question

Ich erhalte den folgenden Kompilierungsfehler von ccrewrite bei der Verwendung von Code Contracts 1.4.51019.0 in VS2012 unter Windows 7 x64: "Die Methode oder Operation ist nicht implementiert. "

Es scheint, durch eine Kombination von Eigenschaftenaccessoren und die Verwendung von async Methoden, die eine innere await fehlt verursacht werden.

Schritte Fortpflanzung:

eine neue Klassenbibliothek erstellen mit 'Voll' Runtime Vertrag Prüfungen aktiviert:

namespace CodeContractsAsyncBug 
{ 
    using System.Threading.Tasks; 

    public class Service 
    { 
     // Offending method! 
     public async Task ProcessAsync(Entity entity) 
     { 
      var flag = entity.Flag; 
     } 
    } 

    public class Entity 
    { 
     public bool Flag { get; set; } 
    } 
} 

Hat jemand erlebt?

Answer 1

Dies scheint in Version 1.5 von Code Contracts behoben zu sein.

Answer 2

Ich glaube, async Schlüsselwort steht nur dafür - entweder Sie haben eine Wartezeit während des Codes, durch die es eine Aufgabe generiert und beim Aufruf der Methode behandelt wird, oder Sie müssen eine Aufgabe explizit zurückgeben.

Answer 3

Eine async Methode, die nicht await ist, weist normalerweise auf einen Programmierfehler hin. Es gibt eine Compiler-Warnung, die Sie über diese Situation informiert.

Wenn Sie mögen synchron ein Verfahren mit einem asynchronen Signatur implementieren, der normale Weg, dies zu tun, ist ein nicht async Verfahren zu implementieren und ein Task, wie Task.FromResult<object>(null) zurückzukehren. Beachten Sie, dass bei diesem Ansatz Ausnahmen synchron ausgelöst werden und nicht auf dem zurückgegebenen Task platziert werden.

Answer 4

In den letzten Monaten haben wir viele Probleme beim Neuschreiben von asynchronen Methoden behoben. Ich würde vorschlagen, dass Sie Ihren Code erneut auf dem neuesten Installer versuchen und wenn Sie immer noch ein Problem haben, bitte eine vollständige Repro bereitstellen.