La inferencia de tipos no misteriosamente

Question

Por qué hace lo siguiente fallan para inferir R:

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

Mientras más o menos la 'misma', funciona:

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

de uso:

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

maneras la primera muestra 'debe' ser llamada para compilar:

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

- o -

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

Pensamientos: Como puede verse en el segundo fragmento, R ya está determinado por el tipo de retorno de la 'lambda'. ¿Por qué no puede aplicarse lo mismo a la primera? Incluso con el uso de ec (que debería ser otra pista del compilador), no puede inferir.

Answer 1

creo que el problema no es que el compilador si no inferir R para la función CallWithEscapeContinuation, es que está fallando para inferir un tipo para el 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; 
} 

Mientras que cuando se proporciona el int sugerencia, puede inferir de qué tipo es la lambda y la firma de CallWithEscapeContinuation.

Cuando solo tiene Action (en comparación con Action<R>), lo anterior es irrelevante porque no hay parámetros de tipo que afecten las posibles firmas de la lambda.