c#泛型参数 协变和逆变

能够参考 https://www.cnblogs.com/qixuejia/p/4383068.html 个人测试代码以下:html

public class Animal { }
    public class Dog : Animal { }

    public class testclass
    {
        public int i = 1;
    }
 //协变和 逆变
            Func<Object,bool> parent = (p)=>{Console.WriteLine(p.GetType().FullName.ToString());return true;};
            Func<testclass, bool> child = parent;

            child(new testclass());

            //Func<testclass, bool> chx = (cp) => { Console.WriteLine(cp.GetType().FullName.ToString()); return true; };
            ////Func<Object, bool> phx = chx;  //此句有问题
            //Func<Object, bool> phx = (Func<Object, bool>)chx; //换成这句就编译成功,但运行时出错。
            //phx(new testclass());

            Func<bool, testclass> ch = (b) => { var t = new testclass(); Console.WriteLine("t.i=" + t.i); return t; };
            Func<Boolean, Object> ph = ch;
            ph(false);


            List<Dog> lsdog = new List<Dog>();
            //List<Animal> lsanimal = lsdog;//没法转换
            List<Animal> lsanimal = lsdog.Select(d => { return (Animal)d; }).ToList();//能够正常转换,但这种作法太麻烦

            List<Animal> lsanimal1 = new List<Animal>();
            //List<Dog> lsdog1 = lsanimal1; //也没法转换

            //List<T>中没有用到in和out关键字,因此List<>没有协变和逆变功能。用IEnumerable<out T>来看看
            List<Animal> lsanimal2 = new List<Animal>();
            IEnumerable<Animal> ieanimal = lsanimal2; //子类转换成父接口固然成功(只不过是相同的泛型而已)
            //IEnumerable<Dog> iedog = ieanimal;//不成功 为何不成功呢?由于IEnumerable<out t>中用的是out关键字,表明之后转换时,只能进行输出转换,既然
            //是输出转换,若是是子转换成父(协变)就能够成功,若是是父转子(逆变)就不能成功。

            List<Dog> lsdog2 = new List<Dog>();
            IEnumerable<Dog> iedog = lsdog2;//也是相同泛型参数的子类转换成父接口,固然成功
            IEnumerable<Animal> ieanimal2 = iedog; //协变,泛型参数子转换成父。成功


            //out关键字指出能够协变,in指出能够逆变
            //c#中IEnumerable<out T>,IEnumerator<out T>,IQueryable<out T>都是能够协变的
            //IComparer<in T>,ICompareable<in T>是能够逆变的
相关文章
相关标签/搜索