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

Question

Предположим, что в моем классе Utils есть статический метод, который задает значение свойства.

public static SetPropertyValue<TDest, TVal> 
    (Expression<Func<TDest, TVal>> expression, 
    TDest destination, 
    TVal value) 
{ 
    // ... 
} 

Кроме того, существует класс:

public class DataObject { public short Code { get; set; } } 

И код использования:

DataObject obj = new DataObject(); 
int code = 404; 
Utils.SetPropertyValue(m => m.Code, obj, code); 

Когда выше код выполняется, то выражение изменяется на m => Convert(m.Code), поскольку третий параметр задано значение integer, и выражение ожидает short. Это означает, что система вывода типов решила предпочесть третий аргумент для определения типа TVal.

Я желаю этого метода в третий аргумент (значение) должно быть ограничено типа, определенного первого аргумента (выражение). Это возможно? Если да, то как?

Answer 1

Нет, вы не можете повлиять на выводе типа, что путь - и если он сделал Infer TVal, как short, ваш код не будет компилироваться, потому что нет неявного преобразования из int в short.

Конечно, лучшим решением будет просто избегать использования двух различных типов, чтобы начать с:

short code = 404; 
Utils.SetPropertyValue(m => m.Code, obj, code); 

Теперь типы будут выведены правильно, и не будет каких-либо преобразований.