Обобщения, разрешение перегрузки и делегаты (извините, не могу найти лучшего названия) [дубликат]

На этот вопрос уже есть ответы здесь :

Закрыт 8 лет назад .

] Возможный дубликат:
Почему Func неоднозначен с Func >?

Я заметил очень странную проблему разрешения перегрузки с универсальными шаблонами ...

Рассмотрим следующие методы:

static void Foo(TSource element, Func selector)
{
    "int".Dump();
}

static void Foo(TSource element, Func selector)
{
    "double".Dump();
}

static T Identity(T value)
{
    return value;
}

(C # 4, проверено в LINQPad)

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

Foo(42, x => x); // prints "int"

Но если я заменю x => x с Identity , компилятор не может выбрать между двумя перегрузками Foo :

Foo(42, Identity);
// The call is ambiguous between the following methods or properties:
// 'UserQuery.Foo(int, System.Func)' and
// 'UserQuery.Foo(int, System.Func)'

Как вторая перегрузка может быть допустимым кандидатом? Вывод типа правильно определяет, что TSource - это int , поэтому параметр T для метода Identity должен быть int ], поэтому возвращаемый тип тоже должен быть int ... Identity может быть Func или Func , но не Func !

И становится еще хуже! Даже если я укажу все параметры типа явно, я все равно получаю ту же ошибку:

Foo(42, Identity); // The call is ambiguous...

Как здесь может быть какая-то двусмысленность? Насколько я могу судить, перегрузка, которая требует Func может быть кандидатом. Я предполагаю, что объяснение должно быть где-то в спецификациях, но я не могу найти соответствующий бит ... или это может быть ошибка в компиляторе, но я думаю, что это маловероятно.

Обратите внимание, что это сработает, если я явно создать делегата:

Foo(42, new Func(Identity)); // prints "int"

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

c# generics compiler-construction overload-resolution

задан Community 23 May 2017 в 11:47

0 ответов

Другие вопросы по тегам:

c# generics compiler-construction overload-resolution

Обобщения, разрешение перегрузки и делегаты (извините, не могу найти лучшего названия) [дубликат]

0 ответов

Похожие вопросы: