这篇文章主要介绍“C#泛型的逆变协变是什么”的相关知识，小编通过实际案例向大家展示操作过程，操作方法简单快捷，实用性强，希望这篇“C#泛型的逆变协变是什么”文章能帮助大家解决问题。

一般来说, 泛型的作用就类似一个占位符, 或者说是一个参数, 可以让我们把类型像参数一样进行传递, 尽可能地复用代码。

我有个朋友, 在使用的过程中发现一个问题

IFace<object> item = new Face<string>(); // CS0266

public interface IFace<T>
{
    string Print(T input);
}
public class Face<T> : IFace<T>
{
    public string Print(T input) => input.ToString();
}

Q:  

string

object

Face<string>

IFace<string>

IFace<string>

IFace<object>

string

object

IFace<string>

IFace<object>

IFace<string>

Print

string

IFace<object>

Print

object

Print(string input)

IEnumerable<object> list = new List<string>();

逆变协变

C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说(可能)是个很难理解的概念, 简单来说其表现形式如下

逆变(in):

I<子类> = I<父类>

I<父类> = I<子类>

上面例子中提到的

IEnumerable<object> list = new List<string>();

协变

转到

IEnumerable<>

public interface IEnumerable<out T> : IEnumerable
{
    new IEnumerator<T> GetEnumerator();
}

泛型

T

out

前编中提到的代码例子不适用并且也不能改造成协变, 只适合使用逆变

相比于符合直觉且和谐的协变, 逆变是不符合直觉并且别扭的

IFace<string> item = new Face<object>();

public interface IFace<in T>
{
    string Print(T input);
}
public class Face<T> : IFace<T>
{
    public string Print(T input) => input.ToString();
}

这是一个逆变的例子, 与协变相似, 需要在泛型

T

in

对比上方的协变, 逆变看起来就像是将基类赋值给子类, 但这其实符合里氏代换的

当我们调用

item.Print

string

Face<object>.Print

object

string

逆变协变的作用

逆变(in)协变(out)的作用就是扩展泛型的用法, 帮助开发者更好地复用代码, 同时通过约束限制可能会出现的破坏类型安全的操作

逆变协变的限制

虽然上面讲了逆变(in)协变(out)看起来是什么样的, 但我的那个朋友还是有些疑问

Q:   那我什么时候可以用逆变, 什么时候可以用协变, 这两个东西用起来有什么限制?

A:   简单来说, 有关泛型

输入

逆变

in

输出

协变

out

Q:   为什么这两个不能同时存在?

A:  

协变

子类赋值给基类

输出

逆变

基类赋值给子类

输入

输出

输入

Q:   听不懂, 能不能举个例子给我?

A:   假设

IEnumerable<>

IEnumerable<object> list = new List<string>();

list

string

item.First()

输出

object

string

string

object

输入

item.Add()

object

string

object

string