Typ wnioskowania dla argumentów typu metod ogólnych

Question

Jestem nowicjuszem w Stack Overflow, więc proszę, nie krępuj się! Czytam C# in Depth, ale natknąłem się na scenariusz, w który nie wierzę. Szybkie wyszukiwanie w Internecie nie zwróci również żadnych wyników.

Say I zdefiniować następujące przeciążone metody:

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

void AreEqual(object expected, object actual) 

Jeśli zadzwonię AreEqual() bez określenia typu argumentu:

AreEqual("Hello", "Hello") 

to ogólna lub nierodzajową wersja metody wywoływane? Czy metoda ogólna jest wywoływana z wywnioskowanym argumentem typu, czy też nie jest generyczna metoda wywoływana z argumentami metody, które są niejawnie rzutowane na System.Object?

Mam nadzieję, że moje pytanie jest jasne. Z góry dziękuję za radę.

Answer 1

Generyczne generują funkcję AreEqual(string, string). Jest to bliżej niż AreEqual(object, object), dlatego wybrana jest funkcja ogólna.

Co ciekawe, kompilator wybierze tę funkcję ogólną, nawet jeśli spowoduje to błąd naruszenia ograniczenia.

Spójrz na ten przykład:

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"); 
     } 
    } 
} 

nawet tu będzie wybrać generycznej wersji nad wersji non-rodzajowego. A następnie pojawi się ten błąd:

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'.

Ale jeśli dodać funkcję Foo(string obj1) będzie działać.