特定の型を返すようにオーバーライドするメソッドを制限する

Question

私は抽象クラスを持っています。このクラスには、基本クラスから継承するクラスのインスタンスを返すメソッドと、インターフェイスを実装するメソッドが必要です。

public abstract class AbstractClass 
{ 
    abstract [DonotKnowTheType] GetClassInstance() //The Return type should be an instance of a class which implements TestClass and ISample 
} 

public class ChildClass : AbstractClass 
{ 
    override [DonotKnowTheType] GetClassInstance() 
    { 
     //Need to return instance of SampleClass in this example. This could vary, this should be an instance of a class which implements TestClass and ISample 
    } 
} 

public class SampleClass : TestClass,ISample 
{ 
    //Implementation 
} 

良いデザインでこれを達成するのを手伝ってください。 ChildClassのオーバーライドメソッドを記述する開発者が、TestClassとISampleを実装するクラスのインスタンスのみを返すように制限する必要があります。そうでない場合は、コンパイル時エラーを表示する必要があります。

Answer 1

この試してみてください：あなたのコメントの後

public abstract class TheEnforcer<T> where T: TestClass, IMyInterface 
    { 
     protected abstract T GetClassInstance(); 
    } 

    public class ThePoorClass : TheEnforcer<DerivedTestClass> 
    { 
     protected override DerivedTestClass GetClassInstance() 
     { 
      throw new NotImplementedException(); 
     } 
    } 

    public class TestClass 
    { 

    } 

    public class DerivedTestClass : TestClass, IMyInterface 
    { 

    } 

    public interface IMyInterface 
    { 

    } 

：

namespace First { 
    public abstract class TheEnforcer<T> where T : IMarkerInterface 
    { 
     protected abstract T GetClassInstance(); 
    }  

    public interface IMarkerInterface 
    { 

    } } 

namespace Second { 
    using First; 

    // All this is in separate name space 
    public class TestClass: IMarkerInterface 
    { 

    } 

    public class DerivedTestClass : TestClass, IMyInterface 
    { 

    } 

    public interface IMyInterface 
    { 

    } 

    public class ThePoorClass : TheEnforcer<DerivedTestClass> 
    { 
     protected override DerivedTestClass GetClassInstance() 
     { 
      throw new NotImplementedException(); 
     } 
    } } 

Answer 2

あなたがTestClassとISample上contraintであなたの抽象クラスは、一般的な作ることができます：

public abstract class AbstractClass<T> where T: TestClass, ISample 
{ 
    public abstract T GetClassInstance(); //The Return type should be an instance of a class which implements AbstractClass and ISample 
} 

public class ChildClass : AbstractClass<SampleClass> 
{ 
    public override SampleClass GetClassInstance() 
    { 
     //Need to return instance of SampleClass in this example. This could vary, this should be an instance of a class which implements AbstractClass and ISample 
     return new SampleClass(); 
    } 
}