インタフェースcontravariance型制約

Question

として使用したとき、私はその後、私は次のような方法

public class RuleEngine<TContext> 
{ 
    public void Register<TRule, TSource, TResult>() // I would like to keep it just Register<TRule> but compiler would not let me 
     where TRule : ITransformationRule<TSource, TResult, TContext> {...} 
} 

を持つルールエンジンを持っているそして今、私がしたいことから

public interface ITransformationRule<in TSource, in TResult, in TContext> {...} 
public class MyRule : ITransformationRule<object, object, object> {...} 

インタフェースおよび派生型を持っていますそのルールをどこかで登録してください：

var engine = new RuleEngine<object>(); 
engine.Register<MyRule>(); // this fails to compile 
engine.Register<MyRule, object, object>(); // this is OK 

私はどのようにして1つのタイプのパーameter（MyRule）とTSourceとTResultを指定する必要はありませんか？私はそれから制約を落とすことができますが、私はそれを保つつもりです。

Answer 1

これを試してみてください：

public interface ITransformationRule<in TSource, in TResult, in TContext> {} 
public class MyRule : ITransformationRule<object, object, object> {} 

public class RuleEngine<TContext, TSource, TResult> 
{ 
    public void Register<TRule>() // I would like to keep it just Register<TRule> but compiler would not let me 
     where TRule : ITransformationRule<TSource, TResult, TContext> 
    { 

    } 

} 

var engine = new RuleEngine<object, object, object>(); 
engine.Register<MyRule>(); 

EDIT：ヤクブDąbekのアプローチを使用して

public interface ITransformationRule<in TSource, in TResult, in TContext> { } 
public class MyRule : ITransformationRule<object, object, object> { } 

public class RuleEngine<TContext> 
{ 
    public void Register<TRule>() // I would like to keep it just Register<TRule> but compiler would not let me 
     where TRule : ITransformationRule<object, object, TContext> 
    { 

    } 

} 

var engine = new RuleEngine<object>(); 
engine.Register<MyRule>();