ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

协变和逆变

2022-01-07 14:04:38  阅读:160  来源: 互联网

标签:逆变 List IEnumerable 协变 GetT public


概念

协变:以out修饰的泛型类型叫做协变类型,协变只能返回(当返回值),用于返回参数,协变T只能用来当返回值使用

逆变:以in修饰的泛型类型叫做逆变类型,逆变只能当参数传进来,用于接收参数,逆变T只能用来当参数传递

协变和逆变都是单向的。in可读不可写,out可写不可读

创建两个类,基类:Person,子类:Student

public class Person
    {
        public int Id { get; set; }
        public string UserName { get; set; }

    }

    public class Student : Person
    {

    }

协变

我们发现,如下代码会报错,虽然里氏转换子类可以给父类,但是这里不行,因为List 不继承List
List<Person> persons = new List<Student>();

但是,这样就可以,因为List实现了IEnumerable接口,也就是继承了IEnumerable,根据里氏转换,可以将子类赋值给父类,而且IEnumerable里的Person也是List()里Student的基类。
IEnumerable<Person> persons = new List<Student>();

原理是因为IEnumerable本身就是协变,它里面的泛型用out进行修饰了。
image

协变:父类接收子类

我们模仿IEnumerable接口做个测试。,创建一个协变接口和实现这个接口

  //协变接口
    public interface IMyOut<out T>
    {
        T GetT();
    }

    //实现协变接口
    public class MyOut<T> : IMyOut<T>
    {
        public T GetT()
        {
            return default(T);
        }
    }

再Main里调用发现没问题

 IMyOut<Person> persons = new MyOut<Student>();
            persons.GetT();

image


逆变:子类接收父类

//逆变接口
    public interface IMyIn<in T>
    {
        void GetT(T t);
    }

    //实现逆变接口
    public class MyIn<T> : IMyIn<T>
    {
        public void GetT(T t)
        {

        }
    }
IMyIn<Student> students = new MyIn<Person>();
            students.GetT(
                new Student()
                {
                    Id = 1,
                    UserName = "张三"
                });
	

标签:逆变,List,IEnumerable,协变,GetT,public
来源: https://www.cnblogs.com/fhzmasl/p/15774743.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有