派生类型不能隐式转换为基本接口

Question

interface IModel {} 

class MyModel : IModel {} 

interface IRepo<T> 
    where T: IModel { } 

class Repo : IRepo<MyModel> { } 

//EDIT: A smaller example 
IRepo<IModel> repo = new Repo(); // Cannot implicitly convert.. An explicit convertion exists. Missing cast? 

// Old example: 
/* 
The type 'Repo' cannot be used as type parameter 'C' in the generic type or method. 
'Castle.MicroKernel.Registration.ComponentRegistration<S>.ImplementedBy<C>()'. 
==> There is no implicit reference conversion from 'Repo' to 'IRepo<IModel>'. 
*/ 
container.Register(
    Component.For<IRepo<IModel>>() 
    .ImplementedBy<Repo>()); 

但是，回购是从IRepo派生的，而MyModel是从IModel派生的。为什么这不起作用？

我尝试添加上回购隐式操作，但它不允许在接口之间转换..

难道这解决了联合/禁忌varience东西从C＃4（不，我没有线索我在说什么:)）？

Answer 1

你的直觉是正确的。这是一个协变问题。你看，IRepo<IModel>和IRepo<MyModel>是不一样的。

为了允许协变类型，你可以用out修改修复它在C＃4：

interface IRepo<out T> where T: IModel {} 

如果你不是在C＃4的是，你将需要收紧您的使用情况：

IRepo<MyModel> repo = new Repo(); 

Answer 2

你是对的。由于Co/Contravariance，它不起作用。它应该用C＃4工作（我没有测试它，因为我从来不需要这样的东西：P）。

它如何工作的一个很好的解释可以在这里找到：http://blogs.msdn.com/b/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx