Тип вывода не работает

Question

class Sample 
{ 
    public static T M<T, TParam1>(TParam1 param1) 
    { 
     return default(T); 
    } 
} 
class Program 
{ 
    static void Main(string[] args) 
    { 

     double d = Sample.M((int)121); 
    } 
} 

Этот код не компилируется и приводит следующее сообщение об ошибке:

аргументы типа для метода «ThreadPoolTest.Sample.M (TParam1)» не может быть выведено из использование. Попробуйте указать аргументы типа явно

Почему в этом примере не работает вывод типа?

Answer 1

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

Sample.M((int) 121) 

без дополнительной информации. Например, вы могли бы означать Sample.M<int, int>, или Sample.M<double, int>, или Sample.M<string, int> - нет никакой информации, так скажите, какая из них лучше подходит.

В списке параметров вы не указываете T, поэтому вывод типа не может помочь.

Answer 2

Поскольку вы не указали тип возврата.

Вот то, что вы хотите: ответ

double d = Sample.M<double, int>((int)121); 

Answer 3

Джона, конечно, правильный. Поучительно подумать, почему C# не рассматривает «возвращаемый тип» при выполнении выводов. Основной принцип здесь является то, что информация о типе перетекает из внутри к вне, а не из вне к внутри при анализе выражения.

В вашем конкретном случае совершенно очевидно, что тип предполагаемого типа возврата является тем, что вы назначаете нечто, что однозначно удваивается. Но есть много ситуаций, когда это совершенно не очевидно:

static R M<A, R>(A a) { return default(R); } 
static void N(int x, double y) {} 
static void N(double x, int y) {} 
... 
N(M(123), 456); 

ОК, что теперь? Если информация о типе «то, что назначается», должна указывать в на вывод типа на M, тогда информация о типе, которая должна протекать, «это может быть int или double».

Но подождите, это правильно? Мы можем сделать более логичные выводы здесь о том, каков должен быть тип возвращаемого типа.

Если это int, то у нас есть N(M<int, int>(123), 456), а разрешение перегрузки на N будет терпеть неудачу, потому что этот вызов неоднозначен; это может быть либо версия N!

Следовательно, это не может быть int, не так ли? Он должен быть двойным, потому что тогда это означает, что вызов N(M<int, double>(123), 456), который однозначно является второй перегрузкой.

Теперь представьте себе, что для вызова формы Q (R (S (N (M (...с дюжиной перегрузок каждого, и, возможно, с несколькими лямбдами, брошенными туда. Анализ становится безумно сложным; для пользователей становится сложно правильно и сложно понять, что делает их программа, почему она создает ошибки и как их исправлять.

Гораздо проще просто сказать, что анализ типов выражения должен определяться из его содержимого, а не его контекста. Вот что мы делаем. Проблема разрешения перегрузки, которую вы бросаете в компилятор, должна быть разрешима, не рассматривая контекст проблемы; мы рассматриваем только содержимое списка аргументов для решения проблемы, и в списке аргументов недостаточно информации.

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