Какая перегрузка метода C# выбрана?

Question

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

public static void method1(object obj) 
{ 
    Console.WriteLine("Object"); 
} 

public static void method1<T>(T t) 
{ 
    Console.WriteLine("Type T"); 
} 

public static void Main(String args[]) 
{ 
    method1("xyz"); //Will print "Type T"; 
} 

Здесь не должно быть конфликтов, не так ли?

Answer 1

Перегрузки устраняются путем выбора наиболее конкретной перегрузки. В этом случае method1<string>(string) более конкретный, чем method1(object), так что выбрана перегрузка.

Подробнее ... section 7.4.2 of the C# specification.

Если вы хотите выбрать конкретную перегрузку, вы можете сделать это, явно задав параметры тем типам, которые вы хотите. Далее будем называть method1(object) перегрузки вместо родового один:

method1((object)"xyz"); 

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

void method2(string x, object y); 
void method2(object x, string y); 

method2("xyz", "abc"); 

В этом случае компилятор не знает, какую перегрузку выбрать, потому что ни перегрузка явно лучше, чем другая (она не знает, какая строка неявно опущена к объекту). Поэтому он испустит ошибку компилятора.

Answer 2

C# всегда будет выбирать наиболее подходящий метод.

При составлении

method1("xyz"); 

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

method1(string s) 

над

method1<T>(T t) with T = string 

и, наконец,

method1(object o) 

Пожалуйста, обратите внимание @ отличный ответ Эрика в течение пример, когда компилятор не может решить.

Answer 3

Поскольку вы уже проходите в T как параметр, поэтому вам не нужно вводить код method1<string>("xyz");, вы можете просто пойти method1("xyz"); .Net уже знает, что это строка. Если бы у вас был метод1, тогда это была бы другая история.

Кроме того, поскольку method1(object obj) не принимает в строку в качестве параметра будет благоприятствовать обобщенную функцию первой, где он может сделать вывод T. Если вы должны были изменить method1(object obj) к method1(string obj) это будет благоприятствовать его первым, родовое.