ylbtech-LanguageSamples-SimpleVariance

SimpleVariance 示例程序演示在委托和接口中使用泛型类型时，C# 4.0 对协变和逆变的支持。 在 C# 3.0 中，泛型类型是固定的。 因此，本示例在 C# 4.0 中可正常编译，但在早期版本的 C# 中无法编译。

程序首先声明两个简单类和两个委托：

class  Animal { }
class Cat : Animal { }

delegate T Func1<out T>();
delegate void Action1<in T>(T a);

然后，实现这些委托并使用这些类：

Func1<Cat> cat = () => new Cat();
Action1<Animal> act1 = (ani) => { Console.WriteLine(ani); };

再进行需要协变和逆变支持的分配：

Func1<Animal> animal = cat;
Action1<Cat> cat1 = act1;

后面这一组分配在 C# 4.0 中可以正常工作，但在早期版本的 C# 中无法工作。 第一个分配演示协变，第二个分配演示逆变。

通过新增的上下文关键字 out 和 in，可以指定泛型类型是要传递到委托或接口方法中，还是要从委托或接口方法返回。