Neden C# derleyicisi, dinamik argümanlı çağrı sitelerinde yöntemin "statikliğini" kontrol etmiyor?

Question

C# derleyicisi neden bu kod parçasının geçersiz olduğunu söylemiyor? Ben statik yönteminden bir statik olmayan bir yöntemi çağırmak için çalışıyorum çünkü

class Program 
{ 
    static void Main(string[] args) 
    { 
     dynamic d = 1; 
     MyMethod(d); 
    } 

    public void MyMethod(int i) 
    { 
     Console.WriteLine("int"); 
    } 
} 

MyMethod çağrısı zamanında başarısız olur. Bu çok makul, ancak derleyici neden derleme zamanında bir hata olarak düşünmüyor?

şu

class Program 
{ 
    static void Main(string[] args) 
    { 
     dynamic d = 1; 
     MyMethod(d); 
    } 
} 

böylece dinamik sevk rağmen derleyici MyMethod var olduğundan etmez derlemek olmaz. Neden "statikliği" doğrulamıyor?

Answer 1

Aşırı yükleme çözünürlüğü burada dinamiktir. Bu kod snippet'inde görünür:

class Program { 
    public static void Main() { 
     dynamic d = 1.0; 
     MyMethod(d); 
    } 

    public void MyMethod(int i) { 
     Console.WriteLine("int"); 
    } 

    public static void MyMethod(double d) { 
     Console.WriteLine("double"); 
    } 
} 

İyi çalışıyor. Şimdi 1'e d atayın ve çalışma zamanı hatasını not alın. Derleyici, derleme zamanında dinamik aşırı yük çözünürlüğünü makul bir şekilde taklit edemez, bu yüzden denemez.

Answer 2

Derleyici, dynamic türündeki on/with değişkenindeki işlemi bulduğunda, bu bilgiyi CallSite nesnesini kullanarak yayacaktır. (CallSite nesnesi, çağrı hakkında bilgi depolar.)

İlk örnekte, derleyici bilgiyi (örneğin, arama türü, aramak istediğiniz yöntem vb.) Yayabildiği için derleyebilir. İkinci kodda, mevcut olmayan yöntemi çağırmaya çalışın, böylece derleyici sizin için IL kodu yayınlayamaz.