Neden C # derleyicisi, statik bir yöntemin bir örnek yöntemini çağırdığı kodda hata yapmıyor?

Aşağıdaki kodun Foo()bir örnek yöntemini çağıran statik bir yöntemi vardır Bar():

public sealed class Example
{
    int count;

    public static void Foo( dynamic x )
    {
        Bar(x);
    }

    void Bar( dynamic x )
    {
        count++;
    }
}

Hatasız derler * ancak çalışma zamanında bir çalışma zamanı bağlayıcı istisnası oluşturur. Dinamik parametrenin bu yöntemlere kaldırılması, beklendiği gibi bir derleyici hatasına neden olur.

Öyleyse neden dinamik bir parametreye sahip olmak kodun derlenmesine izin veriyor? ReSharper bunu bir hata olarak da göstermiyor.

Visual Studio 2008'de Düzenleme 1: *

Düzenleme 2:sealed bir alt sınıfın statik bir Bar(...)yöntem içermesi olası olduğundan eklendi . Mühürlenmiş sürüm bile, çalışma zamanında örnek yöntemi dışındaki herhangi bir yöntemin çağrılabilmesi mümkün olmadığında derlenir.

GÜNCELLEME: Aşağıdaki cevap 2012'de, C # 7.3'ün (Mayıs 2018) tanıtımından önce yazılmıştır . In C # 7.3 yenilikler , bölüm Geliştirilmiş aşırı yük adaylar , madde 1, aşırı yük çözünürlük kuralları statik olmayan aşırı yükler erken atılır, böylece nasıl değiştiğini açıklanmıştır. Yani aşağıdaki cevap (ve tüm bu soru) şimdiye kadar çoğunlukla yalnızca tarihsel ilgiye sahip!

(Ön C # 7.3 :)

Bazı nedenlerden dolayı, aşırı yük çözünürlüğü her zaman statik ve statik olmayan için kontrol etmeden önce en iyi eşleşmeyi bulur . Lütfen bu kodu tüm statik türlerle deneyin:

class SillyStuff
{
  static void SameName(object o) { }
  void SameName(string s) { }

  public static void Test()
  {
    SameName("Hi mom");
  }
}

Bu derlenmeyecektir çünkü en iyi aşırı yükleme, bir string. Ama hey, bu bir örnek yöntemi, yani derleyici şikayet ediyor (ikinci en iyi aşırı yüklemeyi almak yerine).

Ekleme: Bence dynamicOrijinal Soru örneğinin açıklaması, tutarlı olmak için, türler dinamik olduğunda ilk önce en iyi aşırı yüklemeyi de bulduğumuzdur (statik ve olmayan değil, yalnızca parametre numarası ve parametre türleri vb. -static) ve ancak o zaman statik kontrolü yapın. Ancak bu, statik kontrolün çalışma zamanına kadar beklemesi gerektiği anlamına gelir. Dolayısıyla gözlemlenen davranış.

Son ek: Eric Lippert tarafından yazılan bu blog gönderisinden bu komik sırayı neden seçtiklerine dair bazı arka plan bilgileri çıkarılabilir .

Foo, dinamik olan bir "x" parametresine sahiptir, yani Bar (x) dinamik bir ifadedir.

Örnek'in aşağıdaki gibi yöntemlere sahip olması tamamen mümkündür:

static Bar(SomeType obj)

Bu durumda doğru yöntem çözülecektir, bu nedenle Bar (x) ifadesi tamamen geçerlidir. Bir örnek yöntemi Bar (x) olduğu gerçeği alakasızdır ve dikkate alınmaz bile: Tanım gereği , Bar (x) dinamik bir ifade olduğundan, çözünürlüğü çalışma zamanına erteledik.

"Dinamik" ifade çalışma zamanı sırasında bağlanacaktır, bu nedenle doğru imzayla veya bir örnek yöntemiyle statik bir yöntem tanımlarsanız, derleyici bunu kontrol etmez.

"Doğru" yöntem çalışma sırasında belirlenecektir. Derleyici, çalışma süresi boyunca orada geçerli bir yöntem olup olmadığını bilemez.

"Dynamic" anahtar sözcüğü, Yöntemin çalışma zamanı sırasında bile herhangi bir zamanda tanımlanabildiği dinamik ve betik dilleri için tanımlanmıştır. Çılgın şeyler

Burada ints işleyen ancak dizge içermeyen bir örnek, yöntem örnek üzerindedir.

class Program {
    static void Main(string[] args) {
        Example.Foo(1234);
        Example.Foo("1234");
    }
}
public class Example {
    int count;

    public static void Foo(dynamic x) {
        Bar(x);
    }

    public static void Bar(int a) {
        Console.WriteLine(a);
    }

    void Bar(dynamic x) {
        count++;
    }
}

İşlenemeyen tüm "yanlış" çağrıları işlemek için bir yöntem ekleyebilirsiniz

public class Example {
    int count;

    public static void Foo(dynamic x) {
        Bar(x);
    }

    public static void Bar<T>(T a) {
        Console.WriteLine("Error handling:" + a);
    }

    public static void Bar(int a) {
        Console.WriteLine(a);
    }

    void Bar(dynamic x) {
        count++;
    }
}