静的メソッドがインスタンスメソッドを呼び出す場所で、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(...)メソッドが含まれる可能性があるため、追加されました。シールドされたバージョンでさえ、実行時にインスタンスメソッド以外のメソッドを呼び出すことができない場合にコンパイルされます。

更新：以下の回答は、C＃7.3（2018年5月）が導入される前の 2012年に書かれました。では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。しかし、ねえ、それはインスタンスメソッドなので、コンパイラは（2番目に優れたオーバーロードをとる代わりに）エラーを出します。

加えて：dynamic元の質問の例の説明は、一貫性を保つために、型が動的である場合、最初に最適なオーバーロードを見つけることだと思います（パラメーター番号とパラメーターの型のみをチェックするなど、静的か非かをチェックします） -static）、そして次に静的をチェックします。しかし、それは静的チェックが実行時まで待機する必要があることを意味します。したがって、観察された動作。

後期追加：彼らがこのおかしな命令を行うことを選択した理由の背景は、Eric Lippertによるこのブログ投稿から推測できます。

Fooには動的なパラメーター「x」があります。つまり、Bar（x）は動的な式です。

Exampleが次のようなメソッドを持つことは完全に可能です。

static Bar(SomeType obj)

その場合、正しいメソッドが解決されるので、ステートメントBar（x）は完全に有効です。インスタンスメソッドBar（x）があるという事実は無関係ではなく、考慮もされていません。定義により、Bar（x）は動的な式であるため、解決は実行時まで延期されています。

「動的」式は実行時にバインドされるため、正しいシグネチャまたはインスタンスメソッドで静的メソッドを定義すると、コンパイラはそれをチェックしません。

「正しい」方法は実行時に決定されます。コンパイラーは、実行時にそこに有効なメソッドがあるかどうかを知ることができません。

「動的」キーワードは動的およびスクリプト言語用に定義されており、メソッドは実行時でもいつでも定義できます。バカバカしく

メソッドがインスタンスにあるため、intは処理するが文字列は処理しないサンプルを次に示します。

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