拡張メソッドとメソッド先日

Question

をオーバーライド私は、拡張メソッドに関連stackoverflowの記事でこの文を見つけました：

異なるのジェネリックパラメータのインスタンスに基づいて異なるメソッドをオーバーライドする能力がある主なものを。これは、それが意味になってどのようなHaskellの型クラス

Java equivalent to C# extension methods

に似ていますか？誰もがこの声明を明確にする重要な例を挙げることができますか？

Answer 1

私は、C＃のコンパイラが最も狭く型を定義するメソッドを選択するということを指していると思います。だから、あなたは抽象クラス（ABS）を持っており、継承されたクラス（CLS2）と2つの拡張メソッド

public static object GetStuff(this ABS obj){ 
    blah blah blah 
} 

    public static object GetStuff(this CLS obj){ 
    blah blah blah 
} 

場合たとえば、あなたがCLS2.GetStuff（呼び出す場合）、コンパイラは第二の方法を選択します。より具体的にすることで拡張方法を「上書き」することができることがわかったら、あなたはあなたが（上記のようなタイプのクラスを使用して）

public static void DoSomething(this Foo<Abs> abs){} 

ここで

public static void DoSomething(this Foo<CLS2> abs){} 

を2つの拡張メソッドを作ることができ

public class Foo<T>{} 

ジェネリッククラスを持っているのであれば第二の方法は、「オーバーライドです"より一般的な"抽象タイプです。

これは、実際にはすべての汎用タイプに対して新しいクラスを生成するため、C＃では可能です。 "Type Erasure Generics"を使用するJavaのような言語では、すべてが実際に型オブジェクトであるため、汎用メソッドを "オーバーロード"できません。