介绍
这篇文章主要介绍c#中关于逆变和协变的示例分析,文中介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们一定要看完!
在c#从诞生到发展壮大的过程中,新知识点不断引入。逆变与协变并不是c#独创的,属于后续引入。在Java中同样存在逆变与协变,后续我还会写一篇Java逆变协变的文章,有兴趣的朋友可以关注一下。
逆变与协变,听起来很抽象,高深,其实很简单。看下面的代码:
class 人
,{
,}
,class Student :人
,{
,}
,class 老师:人
,{
,}
,
class 程序
,{
static 才能;void Main (string [], args)
{才能
,,List ();
,,plist =, new List ();
,,plist =, new List ();
}
} 在上面的代码中,plist=new List (), plist=new List()两句产生编译错误。虽然人是学生/老师的父类,但List类型却不是List<学生/Teacher>类型的父类,所以上面的赋值语句报类型转换失败错误。
如上这样的赋值操作,在c# 4.0之前是不允许的,至于为什么不允许,类型安全是首要因素。看下面的示例代码:
List, plist =, new List ();
plist.Add (new 人());
plist.Add (new 学生());
plist.Add (new 老师()); 如下示例,假设Listplist=new List()允许赋值,那plist虽然类型为List集合,但实际指向确是List集合.plist。Add(新人()),添加操作实际调用的是List阀门().Person类型无法安全转换为学生,所以这样的集合定义没有意义,所以上面的假设不成立。
但情况在c# 4.0之后发生了变化,并不是“<强>不可能发生的事情发生了强“,而是应用的灵活性做出了新的调整。同样的在c# 4.0中上面的程序仍是不被允许的,但却出现了例外。从c# 4.0开始,在泛型委托,泛型接口中,允许特殊情况的发生(实质上并未发生特殊变化,后面说明)。如下示例:
delegate void Work (T 项目);
class 人
{
public 才能string Name {组,得到,,,}
}
class Student :人
{
public 才能string Like {组,得到,,,}
}
class Teacher :人
{
public 才能string Teach {组,得到,,,}
}
class 程序
{
static 才能;void Main (string [], args)
{才能
,,Work 根据前面的理论支持,student_worker=工人;的错误很容易理解。但此处我们程序的目的是让锅,充当Work的功能,以后调用student_worker (s)实际调用的是锅(年代)。为了满足我们的需求,需要程序做2方面的处理:
1,因在调用student_worker (s)时,实质执行的是锅(s),所以需要年代变量的类型能成功转换为锅需要的参数类型。
2,需要告诉编译器,此处允许将Work类型的对象赋值给Work类型的变量。
条件1在调用时student_worker()时编译器会提示要求参数必须是学生类型对象,该对象可成功转换为类人型对象。
条件2则需要对醒来委托定义进行调整,调整如下:
delegate void WorkIn拷贝(T 项目), 委托名字改工作为是为却别修改前后的委托,关键之处为& lt; T>。通过增加在关键字,标注该泛型委托的类型参数T,仅作为委托方法的参数来使用。此时上面的程序便可成功编译并执行。
delegate void WorkIn拷贝(T 项目);
class 程序
,{
static 才能;void Main (string [], args)
{才能
,,WorkIn 对于要求类型参数为子类型,允许赋值类型参数为父类型值的这种情况,称为逆变。逆变在c#中需要用在标注泛型的类型参数。逆变虽叫逆变,但只是形式上看似父类对象赋值给子类变量,实质上是方法调用时参数的类型转换.Student s=新人(),这是不可能的,这不是逆变是错误。
