Wie erhält der C# -Compiler generische Typen?

Question

Ich habe die folgende Methode:

public TResult Get<TGenericType, TResult>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Gerade jetzt, ein Benutzer dieses Verfahrens hat es wie folgt zu verwenden:

//Notice the duplicate int type specification 
int number = Get<SomeGenericType<int>, int>(); 

Warum muss ich TResult im Verfahren defintion angeben? Der Compiler kennt TResult bereits, da ich es in TGenericType angegeben habe. Im Idealfall (wenn die C# Compiler ein wenig schlauer war), würde meine Methode wie folgt aussehen:

public TResult Get<TGenericType>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

So könnte der Benutzer einfach nur es wie folgt verwendet werden:

//Much cleaner 
int number = Get<SomeGenericType<int>>(); 

Gibt es eine Möglichkeit zu tun Was ich machen will; was ich vorhabe zu tun?

Answer 1

Die C# -Spezifikation erlaubt nicht, die Hälfte der Argumente vom Typ abzuleiten. Sie sollten entweder den Compiler veranlassen, alle Typargumente abzuleiten (was in Ihrem Fall nicht immer der Fall ist) oder alle manuell angeben.

UPDATE (auf Kommentar antworten): Während ich nicht im C# -Team bin, um eine absolute Antwort auf Ihre Frage zu geben, ist meine Spekulation, dass die Komplexität der Überladung Auflösung (das ist schon überwältigend; Sie wissen Wenn Sie diesen Abschnitt der C# -Spezifikation lesen würden, würde dies erheblich zunehmen, wenn Sie zulassen wollten, dass die Hälfte der Typen abgelesen wird und die Hälfte nicht (vor allem, wenn Sie Methoden nur durch die Anzahl der generischen Argumente überladen können).

Answer 2

Es hängt ...

Wenn Sie nur SomeGenericType<TResult> verwenden, können Sie tun:

public TResult Get<TResult>() where TResult : IConvertible { 
    SomeGenericType<TResult> myInstance = ... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Es nicht unbedingt ein Weg ist, da die erste Art zu setzen, in diesem Fall . Da Ihr Beispiel nicht explizit einen SomeGenericType<TResult> als Parameter eingibt, schlägt dies vor, dass dies möglich wäre.

Andernfalls müssen Sie alle generischen Argumente vollständig angeben. Leider ist das genau so in C#.