协变和逆变

泛型接口中的泛型参数可以声明为协变参数或者逆变参数，首先介绍一下泛型接口的协变和逆变：

•   协变：泛型参数定义的类型只能作为方法的返回类型，不能用作方法参数的类型，且该类型直接或间接地继承自接口方法的返回值类型，称为协变。可以使用关键字out，将泛型类型参数声明为协变参数。
•   逆变：泛型参数定义的类型只能作为方法参数的类型，不能用作返回类型，且该类型是接口方法的参数类型的基类型，称为逆变。可以使用in关键字，将泛型类型参数声明为逆变参数。

首先我们来定义一个协变接口，代码如下所示：

 具有协变参数的泛型接口
 1 interface ISample1<out T>
{
T Function1();
}

class Sample1<T>:ISample1<T>
{
public T Function1()
{
Console.WriteLine("Wroked......");
return default(T);
}
}

上述代码中，ISample1<out T>是一个协变接口，其泛型参数T是一个协变参数，Sample1 <T>泛型类实现了该协变接口，如下代码体现了“协变”：

class BaseClass{}
class Child:BaseClass{}
ISample1<Child> sample1=new ISample<Child>(); <1>
ISample1<BaseClass> base1=sample1; <2>
ISample1<object> base2=base1; <3>

在上述代码中，<1>中sample1的协变参数的类型为Child（此时是协变实参），也就是<1>中sample1的接口方法返回类型为Child，二<2>中的接口方法返回类型为BaseClass，CLR会自动完成Child到BaseClass的隐式类型转换，此谓“协变”。同理，<3>也是合法的。
    我们特别介绍一下第一段代码中的“default(T)”代码，在这里default关键字用以解决这样一个问题：在无法预参数化类型T是值类型还是引用类型的情况下，使用default关键字，对于引用类型会返回空引用（null），而对于值类型则会返回0。

具有逆变参数的泛型接口
 1 interface ISample2<in T>
{
void Function2(T arg);
}
class Sample2<T> : ISample2<T>
{
public void Function2(T arg)
{
Console.WriteLine(arg);
}
}

上述代码定义了一个逆变接口，以及一个实现了该接口的类。接下来，首先使用BaseClass作为类型实参声明，并初始化一个变量sample2，然后再使用Child作为类型实参声明一个变量sample3，Child类是BaseClass类的派生类，可以基于逆变的规则将sample2赋给sample3变量

ISample2<BaseClass> sample2 = new Sample2<BaseClass>();
ISample2<Child> sample3 =sample2;