汎用インターフェースまたはクラスでのwhere制約の使用

Question

テスト用のシステムを作成するとします。テストにはタスクのリストが含まれ、各タスクには質問と回答のリストが含まれます。また、質問や回答はテキストだけでなく、イメージなどとすることもできます。だから我々は、ジェネリックを使用します。

public interface IQuestion<T> 
{ 
    T Content { get; } 
} 

public interface IAnswer<T> 
{ 
    T Content { get; } 
    bool IsCorrect { get; } 
} 

をそして、我々は、タスクを作成するときに問題が発生します。

interface ITask<TQuestion, TAnswer> 
{ 
    TQuestion Question { get; } 
    List<TAnswer> Answers { get; } 
} 

TQuestionがIQuestionとTAnswerのサブタイプでなければならないことを書くためにどのように - IAnswerのサブタイプ？

interface ITask<TQuestion, TAnswer> 
    where TQuestion : IQuestion<object> 
    where TAnswer : IAnswer<object> 

をしかし、私は作成時：

私がしようと試みてきた

class TextQuestion : IQuestion<string> {...} 
class TextAnswer : IAnswer<string> {...} 

これは動作しませんでした：

class TextTask : ITask<TextQuestion, TextAnswer> 

Becouse、実際には、IQuestion<string>はしないでくださいIQuestion<object>から継承されます。

Javaの では、私はKotlinでは、上記のアプローチは、働いているだろう、ITaskジェネリック型の制約にワイルドカードを使用します。

しかし、どのようにC＃を使用して解決するには？

Answer 1

あなたは三番目のパラメータが必要です。ご存知のように

interface ITask<TQuestion, TAnswer, T> 
    where TQuestion : IQuestion<T> 
    where TAnswer : IAnswer<T> 

を、IQuestion<string>がIQuestion<object>から継承されていないが、この方法は、あなたがIQuestion<string>ことTQuestion持つことができます。

---

補遺：TQuestionはIQuestion<object>ことがあるが、IQuestionがvarianceが定義されていないので、唯一の問題である（そう、それはデフォルトでは不変です）。以下に示すように定義した場合、IQuestion<object>を使用できます（IAnswerも同じです）。

public interface IQuestion<out T> 
{ 
    T Content { get; } 
} 

public interface IAnswer<out T> 
{ 
    T Content { get; } 
    bool IsCorrect { get; } 
} 

interface ITask<TQuestion, TAnswer> 
    where TQuestion : IQuestion<object> 
    where TAnswer : IAnswer<object> 
{ 
    TQuestion Question { get; } 
    List<TAnswer> Answers { get; } 
} 

Answer 2

私は質問を理解しているので、タイプパラメータTQuestionとTAnswerを前に使用しないで、ITaskに追加のタイプパラメータを導入することによって制約を定式化することができます。

interface ITask<T> 
{ 
    IQuestion<T> Question { get; } 
    List<IAnswer<T>> Answers { get; } 
}