Почему следующий вызов неоднозначен?

Question

Следующий вызов завершится неудачно, потому что компилятор ожидает метод SetAll(PropertyInfo, int).

var infos = GetType().GetProperties(BindingFlags.Instance | BindingFlags.Public); 

var setters = infos.Select(SetAll); // no overload matches delegate. 

private Action SetAll(PropertyInfo info, object obj) =>() => info.SetValue(this, obj); 

Таким образом, компилятор не может использовать эту перегрузку любым способом. он не может отличить int до object.

Имея это в виду, почему следующий вызов неоднозначен?

var b = infos.Select(SetAll); // ambiguous between Select<PropertyInfo, int, Action> 
           //    and Select<PropertyInfo, Action> 

private Action SetAll(PropertyInfo info, object obj) =>() => info.SetValue(this, obj); 

private Action SetAll(PropertyInfo info) =>() => info.SetValue(this, null); 

Если компилятор не может использовать перегрузку с объектом в любом случае, то почему он здесь борется?

---

Вот фактический код, который у меня есть. Я могу справиться с этой проблемой легко, но я просто занимаюсь любопытством.

var infos = GetType().GetProperties(BindingFlags.Instance | BindingFlags.Public); 

if (useDefaultsOnReset) 
{ 
    var defaults = infos.Select(GetAll); 
    _resetters = infos.Zip(defaults, SetAll).ToArray(); 
} 
else 
{ 
    _resetters = infos.Select(SetAll).ToArray(); // error 
} 

private object GetAll(PropertyInfo info) => info.GetValue(this); 
private Action SetAll(PropertyInfo info, object obj) =>() => info.SetValue(this, obj); 
private Action SetAll(PropertyInfo info) =>() => info.SetValue(this, null); 

Answer 1

Это потому, что System.Func<in T1, in T2, out TResult> является контравариантным в своих типах аргументов. Это обозначается модификатором in по соответствующим параметрам типа. Это означает, что это соответствие для любой функции, принимающей аргумент типа T1, или любой тип T1 может быть назначен, а аргументу типа T2 или любому типу T2 может быть назначен. Ваша первая подпись соответствует перегрузке Enumerable.Select, которая не включает индекс. Однако ваша вторая подпись фактически соответствует перегрузке Enumerable.Select, которая включает индекс, потому что int назначается object.

Чтобы это продемонстрировать. Просто создайте произвольный класс и измените свою программу так.

private Action SetAll(PropertyInfo info, A a) =>() => info.SetValue(this, obj); 
private Action SetAll(PropertyInfo info) =>() => info.SetValue(this, null); 

class A {} 

Вы заметите ошибку исчезает int не присваиваемые A.

Как уже говорилось в комментариях, есть морщина, которую я не смог принять во внимание. Контравариантное имеет место соотношения между ссылочными типами и между генерик, не стесненными быть типами значений, но конкретно не работает при непосредственном назначении между делегатами с int и object Учитывая

Func<int, Action> f; 

Func<object, Action> g; 

Ниже оба ошибки

g = f; 
f = g; 

Однако, если заменить int с сказать некоторый класс A

Func<A, Action> f; 

Func<object, Action> g; 

Первая ошибка, потому что объект не является A, но второй преуспевает, как объяснялось выше.

g = f; 
f = g; 

Answer 2

Для того, чтобы работать с группой методов, вы можете использовать фиктивную переменную.

private Action SetAll(PropertyInfo info, object obj) =>() => info.SetValue(this, obj); 
private Action SetAll(PropertyInfo info, int _) =>() => info.SetValue(this, null); 
//           ^this is dummy but lets you use methodgroup 

Тогда это будет работать

infos.Select(SetAll).ToArray(); 

Он будет использовать Select с индексатор, но оно не должно имеет большое значение.