Rodzaj wnioskowanie nie tajemniczo

Question

Dlaczego następuje nie wnioskować R:

static R Foo<R>(Func<Action<R>, R> call) { ... } 

Chociaż dość dużo 'sam', działa:

static R Foo<R>(Func<Action, R> call) { ... } 

wykorzystania:

var i = Foo(ec => -1); 

Ways pierwsza próbka "musi" być wywołana do kompilacji:

var i = Foo<int>(ec => -1); 

- lub -

var i = Foo((Action<int> ec) => -1); 

myśli: Jak można zobaczyć na drugim fragmentem, R jest już określone przez rodzaj powrotnego „lambda”. Dlaczego to samo dotyczy pierwszego? Nawet przy użyciu ec (która powinna być inną wskazówką kompilatora), nie można wnioskować.

Answer 1

Myślę, że problemem nie jest to, że kompilator czy braku wywnioskować R dla funkcji CallWithEscapeContinuation, to jest to, że nie udaje się wywnioskować typ dla lambda:

ec => 
{ 
    Enumerable.Range(0, 100).Select(x => 
    { 
       // Called here, the compiler has no idea what signature to expect for `ec` 
       // Could be Action<Int>, could be Action<Decimal> (for example). 
    if (x == 40) ec(x); 
    return x; 
    }).ToList(); 
    return -1; 
} 

natomiast gdy ty zapewnić int Podpowiedź, może wywnioskować, jaki jest typ lambda i podpis CallWithEscapeContinuation.

Po prostu masz Action (w przeciwieństwie do Action (w przeciwieństwie do Action<R>) powyższe jest nieistotne, ponieważ nie ma żadnych parametrów typu wpływających na możliwe podpisy lambda.