Warum kann .NET in generischen Methoden keine Rückgabetypen ableiten?

Warum Rückgabetypen generischer Methoden in .NET nicht abgeleitet werden können

In .NET können die Rückgabetypen generischer Methoden nicht abgeleitet werden. Diese Einschränkung wird erzwungen, um zu verhindern, dass die Typinferenz innerhalb eines Ausdrucks „in beide Richtungen“ fließt, was zu kombinatorischen Explosionen möglicher Typkombinationen führen kann.

Beispiel

Bedenken Sie das Folgende generische Methode:

static TDest Gimme<TSource, TDest>(TSource source)
{
    return default(TDest);
}

Wenn Rückschluss auf den Rückgabetyp zulässig wäre, würde der folgende Code lauten gültig:

string dest = Gimme(5);

Dieser Code würde jedoch zu einem Compilerfehler führen, da der Rückgabetyp von Gimme nicht aus dem Argumenttyp int abgeleitet werden kann.

Begründung

Der Grund für diese Einschränkung besteht darin, Situationen zu verhindern, in denen Typinformationen sowohl von innerhalb als auch von außerhalb eines Ausdrucks fließen. Betrachten Sie die folgenden Szenarien:

Szenario 1: Mehrere Überladungen

Angenommen, wir haben zehn Überladungen einer Methode N mit unterschiedlichen Argumenttypen. Wenn wir die Rückführung des Rückgabetyps für generische Methoden zulassen würden, müssten wir den Rückgabetyp von G im Ausdruck N(G(5)) ableiten. Dazu müssten alle zehn Überladungen von N berücksichtigt und die „beste“ ausgewählt werden. Allerdings wären die Kriterien zur Bestimmung der „besten“ Überladung unklar, was zu möglichen Unklarheiten führen würde.

Szenario 2: Bedingte Ausdrücke

Betrachten Sie den Ausdruck double x = b ? G(5): 123. Wenn Rückschluss auf den Rückgabetyp zulässig wäre, müssten wir den Rückgabetyp von G basierend auf dem Typ des bedingten Ausdrucks (double) bestimmen. Dies würde jedoch nicht die Möglichkeit berücksichtigen, dass der Rückgabetyp von G möglicherweise implizit in den Argumenttyp des bedingten Ausdrucks (int) konvertierbar sein muss.

Szenario 3: Verschachtelte Ausdrücke

Wenn wir mehrere bedingte Ausdrücke und Methodenaufrufe kombinieren, wie zum Beispiel im Ausdruck N(N(b ? G(5) * G("hello") : 123)) nimmt die Komplexität der Rückgabetypinferenz exponentiell zu. Wir müssten alle möglichen Überladungen von G und N in Kombination berücksichtigen, was zu einer Explosion möglicher Typkombinationen führen würde.

Schlussfolgerung

Durch das Verbot der Rückgabetypinferenz für generisch Methoden verhindert .NET diese kombinatorischen Explosionen und stellt sicher, dass die Typinferenz auf vorhersehbare und konsistente Weise abläuft.

Das obige ist der detaillierte Inhalt vonWarum kann .NET in generischen Methoden keine Rückgabetypen ableiten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!