C#泛型接口的协变和逆变怎么实现(云服务器、云主机、高防IP、高防服务器、香港服务器、美国服务器,开发技术)

假设：TSub是TParent的子类。
协变：如果一个泛型接口IFoo<T>，IFoo<TSub>可以转换为IFoo<TParent>的话，我们称这个过程为协变，IFoo支持对参数T的协变。
逆变：如果一个泛型接口IFoo<T>，IFoo<TParent>可以转换为IFoo<TSub>的话，我们称这个过程为逆变，IFoo支持对参数T的逆变。

通常只有具备继承关系的对象才可以发生隐式类型转换，如Base b=new sub()。
协变和逆变可以使得更多的类型之间能够实现隐式类型转换、类型安全性有了保障。

基于以上原因的同时、许多接口仅仅将类型参数用于参数或返回值。所以支持协变和逆变后泛型的使用上有了更大的灵活性

“TParent不能安全转换成TSub”，是这两个问题的共同原因。
我们定义一个接口IFoo。

我们看一下协变的过程：IFoo<TSub>转换成IFoo<TParent>。

Method1：将TSub替换成TParent，Method1显然存在 TParent到TSub的转换。

Method2：返回值类型从TSub换成了TParent，是类型安全的。

所以支持协变的参数只能用在方法的返回值中。

再看一下逆变的过程：IFoo<TParent>转换成IFoo<TSub>。

Method1：将TParent替换成TSub，Method1存在 TSub到TParent的转换，是类型安全的。

Method2：返回值类型从TParent换成了TSub，是不安全的。

所以支持逆变的参数只能用在方法的参数中。

这其实是对3个问题的补充。

定义一个接口IFoo，既不支持协变，也不支持逆变。

实现接口IFoo

定义一个接口IBar支持对参数T的协变

实现接口IBar

定义一个接口IBaz支持对参数T的逆变

实现接口IBaz

定义两个有继承关系的类型，IParent和SubClass。

按照协变的逻辑，分别来使用IFoo和IBar。

foo_parent=foo_sub 会提示编译时错误“无法将类型“IFoo<SubClass>”隐式转换为“IFoo<IParent>”。存在一个显式转换(是否缺少强制转换?)”

按照逆变的逻辑，分别来使用IFoo和IBaz。

foo_sub=foo_parent 会提示编译时错误“无法将类型“IFoo<IParent>”隐式转换为“IFoo<ISub>”。存在一个显式转换(是否缺少强制转换?)”

2.0中的定义：

4.0中的定义：

可以看到4.0中增加了对协变的支持。

可以在两个版本试下， 下面的语句在2.0下会报错。