Частичный вывод типа

Question

У меня есть общий метод, как это (упрощенный вариант):

public static TResult PartialInference<T, TResult>(Func<T, TResult> action, object param) 
{ 
    return action((T)param); 
} 

В приведенном выше описании, param имеет тип object по назначению. Это часть требования.

Когда я заполняю типов, я могу назвать это так:

var test1 = PartialInference<string, bool>(
    p => p.EndsWith("!"), "Hello world!" 
); 

Однако, я хотел бы использовать вывод типа. Предпочтительно, я хотел бы написать следующее:

var test2 = PartialInference<string>(
    p => p.EndsWith("!"), "Hello world!" 
); 

Но это не скомпилировано. Лучшее, что я придумал это:

var test3 = PartialInference(
    (string p) => p.EndsWith("!"), "Hello world!" 
); 

Поэтому я хотел бы иметь это в качестве параметра типа и до сих пор есть правильно набран возвращаемый тип, потому что мои реальные вызовы выглядят примерно так:

var list1 = ComponentProvider.Perform(
    (ITruckSchedule_StaffRepository p) => p.GetAllForTruckSchedule(this) 
) 

что очень некрасиво, и я хотел бы написать, как-то вроде этого:

var list2 = ComponentProvider.Perform<ITruckSchedule_StaffRepository>(
    p => p.GetAllForTruckSchedule(this) 
) 

Answer 1

Вы можете разделить т в общий метод на шаблонного типа:

class Foo<TOuter> { 
    public static void Bar<TInner>(TInner arg) {...} 
} 
... 
int x = 1; 
Foo<string>.Bar(x); 

Здесь ИНТ вывод, но строка явно.

Answer 2

то, что вы пытаетесь достичь невозможно. Вам нужно указать оба общих аргумента или ни один из них, если возможно.