Dlaczego kompilator C# nie sprawdza "statyczności" metody w miejscu wywołania z argumentem dynamicznym?

Question

Dlaczego kompilator C# nie mówi mi, że ten fragment kodu jest nieprawidłowy?

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

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

Wezwanie do MyMethod nie w czasie wykonywania, ponieważ staram się wywołać non-statycznej metody z metody statycznej. To bardzo rozsądne, ale dlaczego kompilator nie uważa tego za błąd podczas kompilacji?

Następujące nie skompilować

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

tak pomimo dynamicznego wysyłki, kompilator musi sprawdzić, MyMethod istnieje. Dlaczego nie sprawdza "statyczności"?

Answer 1

Skuteczność przeciążania jest tutaj dynamiczna. Widoczny w tym fragmencie kodu:

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

Działa prawidłowo. Teraz przypisz 1 do d i zanotuj awarię środowiska wykonawczego. Kompilator nie może rozsądnie emulować dynamicznej rozdzielczości przeciążania w czasie kompilacji, więc nie próbuje.

Answer 2

Gdy kompilator wykryje operację na/ze zmienną typu dynamic, wyśle ​​tę informację za pomocą obiektu CallSite. (Obiekt CallSite jest informacją o wywołaniu.)

W pierwszej próbce może się skompilować, ponieważ kompilator może emitować informacje (np. Typ połączenia, metodę, do której chcesz zadzwonić itp.). W drugim kodzie próbujesz wywołać metodę, która nie istnieje, więc kompilator nie może wyemitować kodu IL dla ciebie.