Тип вывода для аргументов типа общих методов

Question

Я новичок в переполнении стека, поэтому, пожалуйста, успокойся! Я читаю C# в Depth, но я столкнулся с сценарием, который, как я полагаю, не охвачен. Быстрый поиск в Интернете не вызвал никаких результатов.

Say я определяю следующие перегруженные методы:

void AreEqual<T>(T expected, T actual) 

void AreEqual(object expected, object actual) 

Если я позвоню AreEqual() без указания типа аргумента:

AreEqual("Hello", "Hello") 

родовой или не общая версия методы вызывается ли? Вызывается ли общий метод с аргументом типа, который выводится, или является не общим методом, вызываемым с аргументами метода, которые неявно отображаются в System.Object?

Надеюсь, мой вопрос ясен. Заранее благодарю за любой совет.

Answer 1

Генерики могут генерировать функцию AreEqual(string, string). Это более близкое совпадение, чем AreEqual(object, object), поэтому выбирается общая функция.

Интересно, что компилятор выберет эту общую функцию, даже если она приведет к ошибке нарушения ограничения.

Посмотрите на этот пример:

using System.Diagnostics; 

namespace ConsoleSandbox 
{ 
    interface IBar 
    { 
    } 

    class Program 
    { 
     static void Foo<T>(T obj1) where T: IBar 
     { 
      Trace.WriteLine("Inside Foo<T>"); 
     } 


     static void Foo(object obj) 
     { 
      Trace.WriteLine("Inside Foo Object"); 
     } 

     static void Main(string[] args) 
     { 

      Foo("Hello"); 
     } 
    } 
} 

Даже здесь он будет выбирать общую версию поверх необщего версии. И тогда вы получите эту ошибку:

The type 'string' cannot be used as type parameter 'T' in the generic type or method 'ConsoleSandbox.Program.Foo(T)'. There is no implicit reference conversion from 'string' to 'ConsoleSandbox.IBar'.

Но если добавить функцию Foo(string obj1) он будет работать.