異なる具体的なインスタンス（共通のインタフェースをすべて継承する）をコレクションに追加するにはどうすればよいですか？

Question

私は、すべての具体的なインスタンスが同じインターフェイスから継承するいくつかの具体的なインスタンスをコレクションに追加しようとしています。しかし、それはコンパイルされません。

// Common interface. 
public interface ISearchService<in TSearchOptions> where TSearchOptions : ISearchOptions 
{ .. } 

// Concrete #1. 
public class FooSearchService : ISearchService<FooSearchOptions> 
{ .. } 

// Concrete #2. 
public class BaaSearchService : ISearchService<BaaSearchOptions> 
{ .. } 

は、したがって、上記のコードでは、両方のFooBaaとの両方がISearchService<ISearchOptions>から継承するが、それぞれが独自の特定SearchOptionsタイプを定義しています。

それでは、私は（コンパイルされません）これをしようとしている：

var searchServices = new List<ISearchService<ISearchOptions>> 
{ 
    new FooSearchService(), 
    new BaaSearchService() 
}; 

I've written the full code up on .NET Fiddle。

アイデアは、共通の基本インターフェイスを持つ具体的なインスタンスの共通コレクションを持っているということです。

私は、私が絶えず理解していないばかつきの愚かさのためにこれで失敗していると確信しています。

私はおそらくあまりにも多くをしようとしていると思った.. so I've tried a new .NET Diffle with something differentしかし、それも動作しません。

誰でもお手伝いできますか？

私はちょうど一般的な汎用インタフェースの混合袋をしたい:(

Answer 1

あなたはこれにコードを変更するときには、コンパイルされます。

public interface ISearchService<out TSearchOptions> where TSearchOptions : ISearchOptions 
{ } 

Answer 2

あなたが代わりにinのoutを使用する必要があります。

outは、covariantを意味します。つまり、引数はクラスからその基本クラスの1つに変更できます。メソッドの戻り値の型（出力）、メソッドの結果を基本クラスとして使用できる場合は、その派生クラスのいずれかを取ることができます。

inは、contravariantを意味します。これは、引数がクラスからそれから派生したクラスに変更できることを意味します。メソッドのパラメータ（入力）を考えてください。メソッドが派生クラスを受け入れることができる場合は、基本クラスを必要とするメソッドに渡すことができます。

public interface ISearchService<out T> where T : ISearchOptions 
{ 
} 

注：メソッドの入力と出力の思考がoutとinを使用する際に覚えておくべきちょうど私の戦略である、それはまた、デリゲートジェネリック型パラメータの働き方です。基本的にcovariantとcontravariantは、インターフェイスとデリゲートの両方で同じように動作します。