泛型协变与抗变（二）

前言

在.NET 4之前，泛型接口是不变的。.NET 4通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。协变和抗变指对参数和返回值的类型进行转换。

我们来看下到底什么是协变什么是抗变：
　　如果某个返回的类型可以由其基类替换，那么这个类型就是支持协变的
　　如果某个参数类型可以由其派生类替换，那么这个类型就是支持逆变（抗变）的。

函数的类型转换

在理解协变与抗变之前，我们看下面这个例子：

  class Program
     { public static string Tmain(object o)
        { return "aaa";
        } static void Main(string[] args)
        { string a = "aaa"; object b = Tmain(a);
        }

     }

我们仔细看下这个传值和返回。注意其中发现了两次隐式转换。

1、向函数传值的时候 参数a从string类型转换成object类型

2、最后接收返回值的时候b由string类型转换成object类型

我们在返回函数来看。

1、 String Tmain(object o) 可以转换成string Tmain(string o)

2、 String Tmain(string o) 可以转换成 object Tmain(string o)

在这里，也就是说函数输入的时候输入类型可以从object转换成string。基类-派生类

在函数输出时，函数的输出类型（返回类型）从string转换成object。派生类-基类。

这里就比较接近泛型接口的协变和抗变的概念了。我们再看我们开头的概念

如果某个返回的类型可以由其基类替换，那么这个类型就是支持协变的　如果某个参数类型可以由其派生类替换，那么这个类型就是支持逆变（抗变）的。

理解泛型接口的协变和抗变（in、out）

我们下面来看看泛型接口的协变及抗变的例子：

首先我们看下协变，在C#高级编程（第十一版）中指出，如果泛型类型用out关键字标注，泛型接口就是协变的。这也就意味着返回类型只能是T。

  /// 

    /// 标识out，意味着返回类型只能是T /// 
    /// 
    interface Itest {
        T Tmain(object value);
    } public class Test : Itest { public string Tmain(object value)
        { return value.ToString();
        }
 }

我们调用时：

 static void Main(string[] args)
        {
            Itest itest = new Test();
            Itest