Błąd kompilatora dla przeciążenia Expression/Func

Question

Zrzut ekranu przedstawia go w dużym stopniu. Mam przeciążenia, jak widać na zrzucie ekranu. Używając łańcucha jako drugiego parametru, kompilator powinien zorientować się, że pierwszym argumentem może być tylko Func, a nie wyrażenie. Ale kompilator zgłasza błąd: "Wyrażenie lamda z treścią instrukcji nie może zostać przekonwertowane na drzewo wyrażeń".

Dlaczego kompilator nie może odczytać prawidłowego przeciążenia?

Jawne rzucanie nie pomaga. To, co działa, gdy robię lokalną zmienną typu Func, a następnie użyj tego zamiast tego.

Ramy stosowany jest FakeItEasy 1.24.0

EDIT:

Oto kod, który pokazuje zachowanie:

public static void Main(string[] args) 
    { 
     //compiler error 
     A.CallTo(() => Main(A<string[]>.That.Matches(strings => 
                { 
                 return true; 
                }, "description"))); 

     //compiles 
     Func<string[], bool> predicate = strings => 
         { 
          return true; 
         }; 
     A.CallTo(() => Main(A<string[]>.That.Matches(predicate, "description"))); 

     Console.ReadLine(); 
    } 

Answer 1

problem nie został w połączenie z Matches. Jest to wywołanie CallTo, które oczekuje na Expression<Action>.

Najwyraźniej nie tylko nie może być wyrażeniem lambda z ciałem instrukcji, ale nie może również zawierać wyrażenia lambda z ciałem instrukcji.

(nie jestem pewien, czy twój „umieścić lambda w zmiennej lokalnej” rozwiązanie praca lub czy to tylko sztuczki kompilator i nie powiedzie się w czasie wykonywania.)

Oto test ułożyła :

static void Overloaded(Action a, string param) { } 
static void Overloaded(Expression<Action> e) { } 

static void CallToAction(Action a) { } 
static void CallToExprAc(Expression<Action> a) { } 

static void Main(string[] args) 
{ 
    // Works 
    CallToAction(() => Overloaded(() => { int i = 5; }, "hi")); 

    // Doesn't work - using the Expression overload 
    CallToAction(() => Overloaded(() => { int i = 5; })); 

    // Doesn't work - wrapped in an outer Expression 
    CallToExprAc(() => Overloaded(() => { int i = 5; }, "hi")); 
} 

Niezależnie, czy „umieścić lambda wyrażenie zabudowanych w lokalnym” działa zależy jak FakeItEasy jest realizowany. Podejrzewam, że zadziała tutaj, ale coś podobnego w np. LINQ-SQL nie byłoby - po prostu zawiedzie w czasie wykonywania, a nie w czasie kompilacji.

Nie jestem pewien, czy jest to błąd kompilatora, błąd specyfikacji czy pożądane zachowanie. W sekcji 6.5 specyfikacji C# mamy

Niektórych wyrażeń lambda nie można przekonwertować na typy drzewek wyrażeń: nawet jeśli konwersja istnieje, to kończy się niepowodzeniem podczas kompilacji. Tak jest w przypadku, gdy wyrażenie lambda:

• posiada korpus bloku

• Zawiera proste lub złożone operatory przypisania

• Zawiera dynamicznie Bound wyraz

• Czy asynchroniczny

który nie mówi "zawiera wyrażenie lambda, którego nie można przekonwertować na drzewo wyrażeń pe ".