Дополнить функцию высшего порядка

Complement(GreaterThanTwo) пытается использовать группа методов, а не Func<int,bool> делегата. Это не удается, потому что Complement<T> ожидает общий делегат.

Вызов будет компилироваться с Func<int,bool>, например:

Func<int,bool> cmp= x=>x > 2;
var NotGreaterThanTwo = Complement(cmp);

Есть неявное преобразование из групп методов в делегаты, что означает, что это тоже работает:

Func<int,bool> cmp= GreaterThanTwo;
var NotGreaterThanTwo = Complement(cmp);

Возникает вопрос, почему исходный код не работал? Приведение явный также работает:

var NotGreaterThanTwo = Complement((Func<int,bool>)GreaterThanTwo);

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

Остальное предположение, поскольку я не нашел определенной ссылки или примечания к дизайну об этом конкретном случае.

Первые два правила преобразования групп методов, вероятно, объясняют, что не так:

• A single method M is selected corresponding to a method invocation (Method invocations) of the form E(A), with the following modifications:

  • The argument list A is a list of expressions, each classified as a variable and with the type and modifier (ref or out) of the corresponding parameter in the formal_parameter_list of D.
  • The candidate methods considered are only those methods that are applicable in their normal form (Applicable function member), not those applicable only in their expanded form.

• If the algorithm of Method invocations produces an error, then a compile-time error occurs. Otherwise the algorithm produces a single best method M having the same number of parameters as D and the conversion is considered to exist.

В Complement<T>(Func<T, bool> f) нет вызова, поэтому компилятор не знает метод который в группе для выбора и преобразования. Он даже не знает, что такое T, поэтому он не может знать, совпадают ли какие-либо методы в этой группе.

С другой стороны это работает:

var xx=new []{1,2,3}.Where(GreaterThanTwo);

Однако в этом случае подпись Where:

public static System.Collections.Generic.IEnumerable<TSource> Where<TSource> (
    this System.Collections.Generic.IEnumerable<TSource> source, 
    Func<TSource,bool> predicate);

и аргумент типа уже доступен из IEnumerable<TSource>.

От Что такое группа методов в C#?

A method group is the name for a set of methods (that might be just one) - i.e. in theory the ToString method may have multiple overloads (plus any extension methods): ToString(), ToString(string format), etc - hence ToString by itself is a "method group".

Когда вы используете:

Func<int, bool> NotGreaterThanTwo = Complement(GreaterThanTwo);

GreaterThanTwo — группа методов. Итак, это может быть правдой:

public static bool GreaterThanTwo (int x) {
  return x > 2;
}

// to make it clear this is something completely different
public static bool GreaterThanTwo (Action<bool, string, object> x) {
  return false;
}

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

Как вы решите решить это, решать вам, но здесь есть как минимум 3 варианта:

1. Укажите общий аргумент:

   Complement<int>(GreaterThanTwo);
   

2. Неявно преобразуйте группу методов в нужный делегат:

   Func<int, bool> greaterThanTwo = GreaterThanTwo; 
   var notGreaterThanTwo = Complement(greaterThanTwo);
   

3. Явно преобразуйте группу методов в нужный делегат:

   Complement((Func<int, bool>)GreaterThanTwo);