インターフェイスよりも派生クラスを返す指定

Question

異なる抽象レベルのクラスを作成しようとしています。ここではVectorの例を使用します。

私の目標は、自分のクラスのユーザーが使用する抽象化のレベルを選択できるということです。つまり、より派生したクラスを使用する場合と使用しない場合があります。

interface IVector 
{ 
    Vector A(); 
} 

interface ISparseVector : IVector 
{ 
    new SparseVector A(); 
} 

今、私は、次のようなクラスを実装：

class Vector : IVector 
{ 
    public Vector A() { return new Vector(); } 
} 

class SparseVector : Vector,ISparseVector 
{ 
    public new SparseVector A() { return new SparseVector(); } 
} 

これは、すべての罰金とダンディです。しかし、基本クラスが以下のような抽象クラスの場合：

abstract class Vector : IVector 
{ 
    public abstract Vector A(); 
} 

class SparseVector : Vector,ISparseVector 
{ 
    public SparseVector A() { return new SparseVector(); } // Hides abstract member. 
} 

派生したメソッドがVectorの抽象メソッドを隠していると言うコンパイルエラーが発生します。これを回避する方法の考えですか？

Answer 1

「戻り型共分散」と呼ばれる機能は、C＃の機能ではありません。戻り型共分散は、Animalを返す仮想メソッドを持つことができ、次にそれをキリンを返すメソッドでオーバーライドする機能です。

タイプセーフで、一部の言語にはこの機能（C++など）がありますが、C＃ではサポートされていないため、追加する計画はありません。オーバーライドするメソッドはオーバーライドとマークされなければならず、名前、仮パラメータ型、および戻り型と正確に一致する必要があります。

Answer 2

まず、抽象コンストラクタを使用できない理由を示すこのスレッドを見てください。

Why can't I create an abstract constructor on an abstract C# class?

その後、あなたは実際には抽象メソッドがあることになっているとして、実装を提供するためにオーバーライドすることができ、あなたのVectorクラスに抽象メソッドを置く必要があります。

Answer 3

理由は、Vectorクラスの最初の例では、A（）メソッドのアクセスレベルを指定していないためです。これはプライベートメソッドであり、これがデフォルトです。このエラーを回避するには、SparseVectorクラスのnewキーワードを使用します。

Answer 4

あなたが試している方法で、抽象メソッドとインターフェイスメソッドを混在させることはできません。 'Vector' abstractを宣言してA（）の実装をオーバーライドする場合は、抽象クラスから 'Vector A（）'をオーバーライドしますが、インターフェイスISparseVector.Vectorは実装されません。 ISparseVectorのタイプ。

あなたのユースケースでは、 'Vector'が抽象である必要はありません。