CLR 协变、逆变

看书看得有点晕了,协变、逆变傻傻分不清楚。

看书看得多少晕了,协变、逆变傻傻分不清楚。

探望泛型和嘱托、委托方法,发现这其中的协变和逆变不平等。

见到泛型和委托、委托方法,发现这里面的协变和逆变不雷同。

泛型的逆变和协变:
设若某个重临类型可以由其基类替换,那么这个类型就是永葆协变的。
假使某个参数类型可以由其派生类替换,那么这个项目就是永葆逆变的。

泛型的逆变和协变:
比方某个再次回到类型可以由其基类替换,那么那个类别就是襄助协变的。
一经某个参数类型可以由其派生类替换,那么这些连串就是支撑逆变的。

 参考:http://www.cnblogs.com/IPrograming/p/4471130.html

 参考:http://www.cnblogs.com/IPrograming/p/4471130.html

演示代码如下:

示范代码如下:

public class BaseClass
{
    //...
}

public class DerivedClass : BaseClass
{
    //...
}

IEnumerable<DerivedClass> d = new List<DerivedClass>();
IEnumerable<BaseClass> b = d;

//IEnumerable<T> 接口的定义(支持协变)
public interface IEnumerable<out T> : IEnumerable
public class BaseClass
{
    //...
}

public class DerivedClass : BaseClass
{
    //...
}

IEnumerable<DerivedClass> d = new List<DerivedClass>();
IEnumerable<BaseClass> b = d;

//IEnumerable<T> 接口的定义(支持协变)
public interface IEnumerable<out T> : IEnumerable

 

 

信托方法的逆变和协变:

寄托方法的逆变和协变:

假若某个重临类型可以由其派生类替换,那么那些类别就是帮忙协变的。
虽然某个参数类型可以由其基类替换,那么那多少个连串就是帮助逆变的。

万一某个再次回到类型可以由其派生类替换,那么这些序列就是协助协变的。
若果某个参数类型可以由其基类替换,那么这些系列就是支撑逆变的。

 

 

    public delegate object TestDelegate(string str);

    class MyClass
    {
        public string t1(string s)
        {
            return "";
        }

        public object t2(object s)
        {
            return "";
        }

        public string t3(object s)
        {
            return "";
        }

        public int t4(string s)//值类型不可以,只有引用类型支持协变和逆变
        {
            return 0;
        }
        public void main()
        {
            TestDelegate td1 = t1;
            TestDelegate td2 = t2;
            TestDelegate td3 = t3;
            TestDelegate td4 = t4;//编译报错,返回类型错误
        }
    }
    public delegate object TestDelegate(string str);

    class MyClass
    {
        public string t1(string s)
        {
            return "";
        }

        public object t2(object s)
        {
            return "";
        }

        public string t3(object s)
        {
            return "";
        }

        public int t4(string s)//值类型不可以,只有引用类型支持协变和逆变
        {
            return 0;
        }
        public void main()
        {
            TestDelegate td1 = t1;
            TestDelegate td2 = t2;
            TestDelegate td3 = t3;
            TestDelegate td4 = t4;//编译报错,返回类型错误
        }
    }

 

 

 

 

 

 

 

 

自己现在也有点懵。

自家现在也有点懵。

个人看书及查的资料所得,如有错误,欢迎指正。

民用看书及查的素材所得,如有错误,欢迎指正。

相关文章

admin

网站地图xml地图