协方差泛型类 [英] Covariance for generic classes

问题描述

有没有在C＃中的任何方式来实现以下目标：

  MyClass类< T>其中T：BaseTypeInner {} 
 
类BaseTypeInner {} 
 
类答：BaseTypeInner {} 
 
 B类：BaseTypeInner {} 
 
无效的主要（）
 {
 MyClass的< BaseTypeInner>变体; 
 
变种=新MyClass的< A> （）; //错误：无法隐式转换类型'UserQuery.MyClass< UserQuery.A>'到'UserQuery.MyClass< UserQuery.BaseTypeInner>'
 
变种=新MyClass的< B> （）; 
} 
  

解决方案

在C＃中唯一的接口可变体。引用C＃规格：

Variant类型参数列表只能在接口和委托类型出现。

所以，你可以声明泛型，协变接口 IBaseClass<出T> ，使的BaseClass< T> 实现它，后来就投地 IBaseClass< BaseTypeInner> 而不是铸造类

 接口IMyClass<出T>其中T：BaseTypeInner {} 
 
类MyClass的< T> ：IMyClass< T>其中T：BaseTypeInner {} 
  

  IMyClass< BaseTypeInner>变体; 
 
变种=新MyClass的< A>（）; //只是罚款
变种=新MyClass的< B>（）; 
  

Is there any way in C# to achieve the following:

class MyClass<T>  where T : BaseTypeInner {}

class BaseTypeInner {}

class A : BaseTypeInner {}

class B : BaseTypeInner {}

void Main()
{
    MyClass<BaseTypeInner> variant;

    variant = new MyClass<A> (); // ERROR: Cannot implicitly convert type 'UserQuery.MyClass<UserQuery.A>' to 'UserQuery.MyClass<UserQuery.BaseTypeInner>'

    variant = new MyClass<B> ();
}

解决方案

In C# only interfaces can be variant. Quoting C# spec:

Variant type parameter lists can only occur on interface and delegate types.

So you could declare a generic, covariant interface IBaseClass<out T>, make BaseClass<T> implement it, and later on cast to IBaseClass<BaseTypeInner> instead of casting to the class.

interface IMyClass<out T> where T : BaseTypeInner { }

class MyClass<T> : IMyClass<T> where T : BaseTypeInner { }

IMyClass<BaseTypeInner> variant;

variant = new MyClass<A>(); // works just fine
variant = new MyClass<B>();

这篇关于协方差泛型类的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！