Jak uzyskać kompilator C# do wnioskowania rodzajów ogólnych?

Question

Mam następujący sposób:

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

Teraz użytkownik tej metody używać go tak:

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

Dlaczego muszę określić TResult w metodzie umowach definicja? Kompilator zna już TRESult, ponieważ określiłem go w TGenericType. Idealnie (jeśli kompilator C# był trochę mądrzejszy), moja metoda będzie wyglądać następująco:

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

więc użytkownik może po prostu używać go tak:

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

Czy istnieje sposób, aby zrobić co chcę robić?

Answer 1

Specyfikacja C# nie pozwala na wnioskowanie połowy argumentów typu. Powinieneś pozwolić kompilatorowi wywnioskować wszystkie argumenty typu (co nie zawsze ma zastosowanie, jak w twoim przypadku) lub ręcznie określić wszystkie.

UPDATE (Odpowiedź): Chociaż nie jestem w zespole C#, aby dać bezwzględną odpowiedź na pytanie, moje spekulacje, że złożoność rozdzielczości przeciążeniowym (który jest już oszałamiające, Ty wiesz że jeśli przeczytasz tę sekcję specyfikacji C#), znacznie wzrośnie, jeśli chcesz, aby połowa typów została wywnioskowana, a połowa nie (zwłaszcza biorąc pod uwagę fakt, że możesz przeciążać metody wyłącznie liczbą ogólnych argumentów).

Answer 2

To zależy ...

Jeśli jesteś po prostu używając SomeGenericType<TResult>, można zrobić:

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

Nie zawsze jest sposób, aby umieścić tam pierwszego typu, w tym przypadku . Ponieważ Twój przykład nie przekazuje jawnie parametru jako SomeGenericType<TResult>, sugeruje, że byłoby to możliwe.

W przeciwnym razie należy całkowicie określić wszystkie ogólne argumenty. Niestety, tak właśnie jest w C#.