¿Por qué no es posible declarar una función con el tipo de retorno VAR?

Question

En C#, tenemos el tipo de datos var pero no podemos usarlo como funciones de tipo de devolución.
¿Por qué esto no es posible?

public var myFunction() 
{ 
    var = some operations 
}

Answer 1

Creo que se debe en parte al diseño del compilador. Eric Lippert blogged acerca de por qué campos no se puede usar el tipado implícito, y sospecho que algunos de los mismos argumentos son válidos para los métodos.

Pero podría terminar fácilmente con la ambigüedad de todos modos. Por ejemplo:

var Method1(bool callMethod2) 
{ 
    return callMethod2 ? Method2() : null; 
} 

var Method2() 
{ 
    return Method1(false); 
} 

¿Cuál debe ser el tipo aquí?

Un ejemplo más sencillo:

var Method1(bool throwException) 
{ 
    if (!throwException) 
    { 
     return Method1(true); 
    } 
    throw new Exception("Bang!"); 
} 

Es cierto que este tipo de ambigüedad podría simplemente ser rechazado, pero sospechoso que el equipo de diseño sentí que la complejidad añadida de diseño y puesta en práctica no valía la pena el beneficio . No se olvide de que se están ejecutando con recursos limitados, dada una opción entre var para métodos y async/await, elegiría este último en un abrir y cerrar de ojos. (Es cierto que hay otras características que yo hubiera escogido en lugar de dynamic, pero eso es otra cuestión ...)

Tenga en cuenta que la inferencia de tipos volver es realizado por las expresiones lambda, por lo que la misma idea de que no es loca. Por ejemplo:

IEnumerable<string> x = new[] { "x", "y", "z" }; 

var result = x.Select(s => { return s.Length; }); // Long form 

Allí, el compilador infiere el tipo completo de la expresión lambda cuando se realiza la resolución de sobrecarga en Select, convirtiéndolo en un Func<string, int>. No es inconcebible aplicar las mismas ideas a los métodos, simplemente complicado.

Answer 2

var NO es un tipo de datos en C#. Es por eso que no puede usarlo como un parámetro de retorno. El compilador deduce el tipo en el momento de la compilación desde la mano derecha de la tarea y teniendo en cuenta que es conocido en tiempo de compilación que necesita utilizar el tipo real como valor de retorno. En C# 4.0 se puede utilizar el tipo dynamic:

public dynamic myFunction() 
{ 
    var = some operations 
} 

Answer 3

Yo creo que podría estropear la sobrecarga de métodos reglas.