C＃Genericsでこれは不可能ですか？

Question

class Bar 
{ 
    static public Bar Instance { get { return null; /*return instance*/ } } 
} 

private void Foo<T>() where T : Bar 
{ 
    T getInstace = T.Instance; 
} 

これはエラーですが、インスタンスを取得する必要があります。

これには解決策がありますか？

は、私はあなたが知っている、これをやっているしたいと思います

++

class Bar<T> 
{ 
    static public T Instance { get { return default(T); /*return instance*/ } } 
} 

class BarChild : Bar<BarChild> 
{ 
    public void Func(){} 
} 

private T Foo<T>() where T : Bar<T> 
{ 
    return T.Instance; 
} 

private void Example() 
{ 
    Foo<BarChild>().Func(); 
} 

に感謝します。 しかし、 "T.Instance"はエラーです。

Answer 1

あなたは実際にあなたが望むことに近いです。これは型システムの濫用であると考える人もいます。私はそれを言語の弱点と考えています。解決しようとする問題は、タイプがハードコードされたタイプではなく、クラスのタイプである汎用クラスの静的メンバーにアクセスしたいということです。このはです。

class Base<T> where T : Base<T> { 
    public static T SomeMethod() { ... } 
} 

class Derived : Base<Derived> { 

} 

public void Main() { 
    Derived d = Derived.SomeMethod(); // correctly returns an object of type Derived, even though method is defined in base class 
} 

これはC++のCRTPのバリエーションです。

これは実際には仮想ディスパッチまたはダイナミックディスパッチではありません。静的にこの動作を得る唯一の理由は、ジェネリックのためです。型はすべてコンパイル時に知られています。派生型が派生した型のメソッドであるかのように基本型のメソッドを使用できるようにするクラス階層では、これは依然として有効です。別の言い方をすれば、そこで宣言されているかのように、派生クラスで動作する基本クラスのテンプレート化されたメソッドを作ることができます。使用したい場所は、正しいタイプを返すClone()メソッドです。あなたは基本クラスのpublic abstract T Clone()と宣言することができ、それは派生クラスで正しい戻り値の型を持つでしょう。

EDIT：OPが望むすべてを行うために更新されたコード：

public class Base<T> 
    where T : Base<T>, new() { 
    public static T Instance { 
     get { 
      return new T(); 
     } 
    } 
} 

public class Derived : Base<Derived> { 
    public void SomeFunc() { 
     Console.WriteLine("SomeFunc()"); 
    } 
} 

// in other code 

private T Foo<T>() where T : Base<T>, new() { 
    // note that we can't just use T directly here, but that's okay, because we know that T is always going to be at least a Base<T> 
    return Base<T>.Instance; 
} 

private void Example() { 
    // the type of Base<Derived>.Instance is Derived, so you can call Func() on it 
    Base<Derived>.Instance.SomeFunc(); 

    // can also do this: 
    Foo<Derived>().SomeFunc(); 
} 

Answer 2

私はこれがstaticキーワードの根本的な誤解になると思います。これは、インスタンス間でメンバを共有するためのメカニズムではなく、メンバを静的に割り当てることができることをコンパイラに通知する方法です。つまり、実行時にプログラムの動的な動作に関係なく静的に割り当てることができます。

staticメンバーをvirtualにすることはできません。つまり、サブクラスでオーバーライドすることはできません。サブクラス化は静的なプロセスなので、継承されているかのように、親クラスの静的メンバーを参照することができます。これは、コンパイラがメンバーが定義されている場所を調べることができるからです。

文法上合法であっても、T.InstanceはBar.Instance以外のものを参照する方法はありません。