Чому компілятор C # не код помилки, коли статичний метод викликає метод екземпляра?

У наступному коді є статичний метод Foo(), що викликає метод екземпляра Bar():

public sealed class Example
{
    int count;

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

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

Він компілюється без помилок *, але генерує виняток в'яжучого для виконання під час виконання. Видалення динамічного параметра до цих методів призводить до помилки компілятора, як і очікувалося.

То чому ж наявність динамічного параметра дозволяє компілювати код? ReSharper не відображає це як помилку.

Редагувати 1: * у Visual Studio 2008

Редагування 2: додано, sealedоскільки можливо, що підклас може містити статичний Bar(...)метод. Навіть запечатана версія компілюється, коли неможливо, що під час виконання може бути викликаний будь-який метод, крім методу екземпляра.

ОНОВЛЕННЯ: Нижче відповідь було написано у 2012 році, перед введенням C # 7.3 (травень 2018 року) . У розділі Що нового в C # 7.3 , розділі « Покращені кандидати на перевантаження» , пункт 1, пояснюється, як змінилися правила вирішення перевантаження, щоб нестатичні перевантаження відкидалися достроково. Отже нижченаведена відповідь (і все це питання) на сьогодні має лише історичний інтерес!

(Попередньо C # 7,3 :)

Чомусь роздільна здатність перевантаження завжди знаходить найкращу відповідність перед перевіркою на статичну та нестатичну. Спробуйте скористатися цим кодом зі всіма статичними типами

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

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

Це не складеться, оскільки найкраще перевантаження - це те, що приймає string. Але ей, це метод екземпляра, тому компілятор скаржиться (замість того, щоб брати другу кращу перевантаження).

Доповнення: Отже, я думаю, що пояснення dynamicприкладу оригінального запитання полягає в тому, що для того, щоб бути послідовними, коли типи є динамічними, ми також спочатку знаходимо найкраще перевантаження (перевіряючи лише номер параметра та типи параметрів тощо), а не статичну та не -статичний), і лише тоді перевірити на статичність. Але це означає, що статична перевірка повинна зачекати до часу виконання. Звідси спостерігається поведінка.

Пізнє доповнення: Деякі відомості про те, чому вони вирішили зробити такі смішні замовлення, можна зробити з цього повідомлення в блозі Еріка Ліпперта .

Foo має параметр "x", який є динамічним, а це означає, що Bar (x) є динамічним виразом.

Було б цілком можливо, щоб в Прикладі були такі методи, як:

static Bar(SomeType obj)

У такому випадку правильний метод буде вирішений, тому твердження Bar (x) цілком справедливо. Те, що існує метод екземпляра Bar (x), не має значення і навіть не розглядається: за визначенням , оскільки Bar (x) є динамічним виразом, ми відклали роздільну здатність до виконання.

"Динамічний" вираз буде зв'язаний під час виконання, тому якщо ви визначаєте статичний метод з правильним підписом або метод екземпляра, компілятор не перевірятиме його.

"Правильний" метод буде визначений під час виконання. Компілятор не може знати, чи є там дійсний метод під час виконання.

Ключове слово "динамічний" визначається для динамічних мов та мов скриптів, де Метод можна визначити в будь-який час, навіть під час виконання. Божевільний матеріал

Тут зразок, який обробляє вставки, але не містить рядків, оскільки метод є на екземплярі.

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++;
    }
}

Ви можете додати метод обробки всіх "неправильних" дзвінків, з якими не вдалося обробитись

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++;
    }
}