协方差逆变泛型接口 - 为什么这不起作用？

Question

提前谢谢你。这是我的代码：

public class ApplicationUser : IdentityUser
{
    public ApplicationUser()
    {

    }
}

public class AppUserManager : UserManager<ApplicationUser>
{
...
}

public interface IOwinManager
{
    UserManager<IdentityUser> UserManager { get; }
}

为什么这不起作用？

public class OwinManager : IOwinManager
{        
    public UserManager<IdentityUser> UserManager
    {
        get { return new AppUserManager(); }
    }
}

既然ApplicationUser继承自IdentityUser，AppUserManager继承自UserManager，为什么不接受组合泛型？谢谢！

Answer 1

不支持类的泛型类型参数的逆变和协变。

简化您的问题：

// Compiler error!
UserManager<IdentityUser> userManager = new AppUserManager();

• AppUserManager 继承 UserManager<ApplicationUser>。
• 因此，您尝试在UserManager<IdentityUser> 引用上设置UserManager<ApplicationUser> 派生引用。这就是问题！它们是不同的类型。

OP 说...：

这基本上意味着，我不能使用具体的类及其 接口中的泛型，并期望它们由它们的实现 孩子们？

接口支持变化。因此，您可以按如下方式设计您的界面：

public interface IOwinManager<out TUser, out TManager>
    where TUser : IdentityUser 
    where TManager : UserManager<TUser>
{
    TManager UserManager { get; }
}

...一旦你实现了这个接口，你的实现将声明一个具体的TManager 类型的属性。

Answer 2

Matias 的回答很好；我想我会添加更多的上下文。让我们再次简化您的示例：

class Animal {} // IdentityUser
class Tiger : Animal {} // ApplicationUser    
class Giraffe : Animal {} // some other kind of user
class Cage<T> where T : Animal {} // UserManager
class SpecialTigerCage : Cage<Tiger> {} // AppUserManager

现在的问题是“为什么这种转换是非法的？”

Cage<Animal> cage = new SpecialTigerCage();

现在应该很清楚为什么这是非法的。 你可以把长颈鹿放进可以放动物的笼子里，但是如果你把长颈鹿放进一个特殊的老虎笼子里，长颈鹿就不会很高兴了。

类型系统无法令人满意地证明您不会将长颈鹿放入老虎笼中，因此它不允许转换。

正如其他人指出的那样，C# 确实支持接口和委托的这种协变转换，它可以证明你不会把长颈鹿放进老虎笼子里。 IEnumerable<T> 例如是协变的。在需要动物序列的情况下可以使用老虎序列，因为IEnumerable<T> 可证明没有方法可以将长颈鹿插入序列中。