Warum ist es nicht möglich, eine Funktion mit VAR-Rückgabetyp zu deklarieren?

Question

In C# haben wir var Datentyp, aber wir können es nicht als Funktionen Rückgabetyp verwenden.
Warum ist das nicht möglich?

Answer 1

Ich glaube, dass es teilweise auf das Design des Compilers zurückzuführen ist. Eric Lippert blogged über warum Felder kann nicht implizite Typisierung verwenden, und ich vermute, einige der gleichen Argumente für Methoden halten.

Aber Sie könnten leicht mit Zweideutigkeit sowieso enden. Zum Beispiel:

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

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

Was sollte der Typ hier sein?

Ein einfacheres Beispiel:

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

Zwar ist diese Art von Mehrdeutigkeit einfach nicht zugelassen werden könnte, aber ich vermuten dass das Design-Team das Gefühl, dass die zusätzliche Komplexität von Design und Implementierung nicht wert war der Nutzen . Vergessen Sie nicht, dass sie mit begrenzten Ressourcen laufen - mit einer Wahl zwischen var für Methoden und async/await, würde ich das letztere innerhalb eines Herzschlags wählen. (Zwar gibt es andere Funktionen, die ich statt dynamic abgeholt haben würde, aber das ist eine andere Sache ...)

Beachten Sie, dass Typinferenz Rückkehr ist für Lambda-Ausdrücke durchgeführt, so dass die Idee der es nicht ist verrückt. Zum Beispiel:

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

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

Es folgert der Compiler den vollständigen Typ des Lambda-Ausdruck, wenn es die Überladungsauflösung auf Select führt es zu einer Func<string, int> konvertieren. Es ist nicht undenkbar, die gleichen Ideen auf Methoden anzuwenden - einfach kompliziert.

Answer 2

var ist kein Datentyp in C#. Deshalb können Sie es nicht als Rückgabeparameter verwenden. Der Compiler leitet den Typ zur Kompilierzeit von der rechten Seite der Zuweisung ab und berücksichtigt, dass zur Kompilierungszeit bekannt ist, dass Sie den realen Typ als Rückgabewert verwenden müssen. In C# 4.0 können Sie den dynamic-Typ:

public dynamic myFunction() 
{ 
    var = some operations 
} 

Answer 3

ich es die Methode vermasseln Überlastung Regeln könnte denken .