.Net逆变与协变

　　总结：

1. 协变与逆变只针对引用类型
2. 协变：把子类型 赋值给 父类型，string 赋值给object叫‘类型兼容’，string[]赋值给object[] 叫协变
3. 逆变：把父类型 赋值给 子类型，且不需要强制转换进行赋值，已经帮我们进行了隐式转换

1、接口中

• 协变式(泛型前加 out)，只能用于方法的返回值
• 逆变式(泛型前加   in)，只能用于方法的参数签名

首先来看一下接口的例子：

    /// <summary>
    /// 接口
    /// </summary>
    /// <typeparam name="Tin">Tin为逆变式，只能用于接口中函数的参数签名</typeparam>
    /// <typeparam name="Tout">Tout为协变式，只能用于接口中函数的返回值类型</typeparam>
    public interface Face<in Tin, out Tout>
    {
        //Tin Fun(double instance);错误的函数定义，编译就会报错
        double Fun(Tin instance);

        Tout Fun(double instance);
        //double Fun(Tout instance);错误的函数定义，编译就会报错
    }

 

 

2、在委托中：

• 不能将函数参数定义成协变，也不能将返回类型定义成逆变

　　 /// <summary>
    /// 委托
    /// </summary>
    /// <typeparam name="Tin">Tin为逆变式，只能用于委托中函数的参数签名</typeparam>
    /// <typeparam name="Tout">Tout为协变式，只能用于委托中函数的返回值类型</typeparam>
    /// <param name="instance"></param>
    /// <returns></returns>
    public delegate Tout MyDel<in Tin, out Tout>(Tin instance);
    //public delegate Tin MyDel1<in Tin, out Tout>(Tout instance);错误的委托定义 

 下面来看看Action委托

class Program
{
    static void Main(string[] args)
    {
        //以下能将Action<object>的实例赋值给Action<string>实例的原因就是由于Action委托是一个逆变式
        Action<object> acObj = ActionFuncObj;
        Action<string> acStr = acObj;

        //以下表达式是错误的，因为Action是一个逆变式，所以无法将Action<string>实例赋值给Action<object>实例
        //Action<string> acStr2 = ActionFuncStr;
        //Action<object> acObj2 = acStr2;
    }
    static void ActionFuncStr(string str)
    {
        Console.WriteLine(str);
    }
    static void ActionFuncObj(object obj)
    {
        Console.WriteLine(obj);
    }
}

 

 下面来看看Func委托

class Program
{
    static void Main(string[] args)
    {
        //以下能将Func<string, object>的实例赋值给Func<string, object>实例的原因就是由于Func委托是一个协变式
        Func<string, string> funcStr = FuncStr;
        Func<string, object> funcObj = funcStr;

        //以下表达式是错误的，因为Func是一个协变式，所以无法将Func<string, object>实例赋值给Func<string, string>实例
        //Func<string, string> funcStr2 = funcObj;
    }
    static string FuncStr(string str)
    {
        return str;
    }
}