一般的な派生型のオブジェクトを返す汎用メソッド

Question

C＃でジェネリックスに少し苦労しています。コードのこの部分を考えてみましょう：

public interface A {}; 
public interface B : A {}; 
public interface C : A {}; 

public interface IMyInterface<in T> where T : A {}; 

public class FirstImpl<T> : IMyInterface<T> where T : B {}; 
public class SecondImpl<T> : IMyInterface<T> where T : C {}; 

は、今私は種類を取り、正しい実装を返すいくつかの工場、する必要があります。

public IMyInterface<T> Create<T>() where T : A 
{ 
    if(typeof(T) is B) { 
     return new FirstImpl<T>(); 
    } 
    if(typeof(T) is C) { 
     return new SecondImpl<T>(); 
    } 
} 

これは2つのレベルでは動作しません。最初のものはリターンタイプです。第2の方法は、より具体的な型が必要なため、第1または第2の実装に "T"を渡すことができないということです。どのようにこれを解決するための任意のアイデア？

Answer 1

デザインをそのまま維持したい場合、最短の方法はCreate<T>()メソッド（public IMyInterface<T> Create<T>() where T : A , B, Cなど）で追加の制約を追加することです。メソッドを完了させるためには、デフォルトのケースの実装が必要になるでしょう。

public IMyInterface<T> Create<T>() where T : A, B, C 
{ 
    if (typeof(T) is B) 
    { 
     return new FirstImpl<T>(); 
    } 
    if (typeof(T) is C) 
    { 
     return new SecondImpl<T>(); 
    } 
    return new DefaultImpl<T>; 
} 

Answer 2

あなたは反射を気にしない場合、あなたはそのように行うことができます：

public static IMyInterface<T> Create<T>() where T : A 
{ 
    if (typeof(B).IsAssignableFrom(typeof(T))) 
    { 
     var type = typeof(FirstImpl<>); 
     var boundType = type.MakeGenericType(typeof(T)); 
     return (IMyInterface<T>) Activator.CreateInstance(boundType); 
    } 
    else if(typeof(C).IsAssignableFrom(typeof(T))) 
    { 
     var type = typeof(SecondImpl<>); 
     var boundType = type.MakeGenericType(typeof(T)); 
     return (IMyInterface<T>) Activator.CreateInstance(boundType); 
    } 

    throw new ArgumentException("unknown type " + typeof(T).Name); 
} 

あなたはジェネリック型を使用して.net fiddle

Answer 3

には、コードを持っていつでもそれを試すことができますかそのコードがジェネリック型のパラメータに対して何らかのテストを行っていれば間違ったことになります。 （そして、私は、反射に落とすことはさらに悪いことは言うまでもない）ジェネリックタイプの全体のポイントは、がではないコードをジェネリックタイプに依存するということです。

あなたの例では、より良いアプローチは、このようなものになるだろう：

static IMyInterface<T> CreateB<T>() where T : B 
{ 
    return new FirstImpl<T>(); 
} 

static IMyInterface<T> CreateC<T>() where T : C 
{ 
    return new SecondImpl<T>(); 
} 

すなわち、各シナリオを処理するための異なるメソッドを記述します。呼び出し元は、制約ベースのアプローチがうまくいくかどうか、すでに処理されていることを、とにかく知る必要があります。だから、ちょうど異なるメソッド名を持つことは問題ではなく、それぞれ適切な状況でそれぞれ使用されるべきです。

上記のシナリオが特定のシナリオに対応していない場合は、使用しようとしているジェネリックタイプだけでなく、使用されるコンテキストも示すように質問を改善してください。Minimal, Complete, and Verifiable code example