逆变和协变在存在于强类型语言中，尽管非常少提及。可是里面蕴含了面向对象的世界观。感谢和我一起讨论这个问题的人。
这里用了C#、Scala的语法作为演示样例。事实上逆变和协变的概念跟语言本身关系不大。事实也是如此。
一、定义
逆变的參数能够由指定的类型的子类型取代，协变的參数能够由指定类型的父类型取代。
Scala中的逆变声明：Function[-A,+B] ;当中泛型-A为逆变类型，在实例化时，能够使用A类型或者A类的子类型。
二、协变与逆变的用途不同
1.语义
Scala中，函数的原型之中的一个包括Function1[-A,+B]。表示一个A类型的输入，B类型的输出（返回）。替换的语法为A=>B
这个函数的定义就好像说。我须要类A帮我做一些事情，处理完之后给你一个B。而A能够完毕的工作。其子类也应该能够完毕，这正是里氏替换原则——父类出现的地方都能够用子类取代。
逆变强调功能——“能做什么”。
顺便看下协变。输出为协变，表示我会给你你个B对象，假设B是肉，我当然能够说给了你食物，而食物是肉的父类，恰好是协变。假设使用逆变则说不通。
协变强调类型——“是什么”。
2.刀和肉的样例
类型：食品<-肉<-牛肉。武器<-刀<-牛肉刀。（<-表示继承关系：父类<-子类）
情景：继续拿Function1做演示样例。假设Function1须要一把刀。会生产出肉。大致为Function(A)：B普通刀（刀类）会生产出普通肉（肉类），牛肉刀会生产出牛肉。
问题：A的类型？B的类型？怎样确定
A的类型可以为刀和牛肉刀，由于牛肉刀也是刀。
甚至说刀的子类都可以满足条件——都有刀的功能。从继承来讲刀的子类都是刀。
所以A的类型应该为逆变——-刀（刀和子类）
由于做出的是肉，所以B类型肯定包括肉，但不确定是牛肉。所以我们能够设定返回为肉类型。
对于这个情景，我们对FunctionX的终于定义为：FunctionX(-刀)：肉
没有协变？
我们没有看到协变，实际上在C#和Scala中。我们设定一个食品类型 来接收FunctionX的返回值也不会报错。由于全部的返回类型在语言中都被声明为协变了，也就是说实际的定义是FunctionX(-刀)：+肉。这么做的原因是：假设我返回了一个肉。那么这个肉一定是食品。我总能用返回类型的父类型取代返回的对象。
这样的行为也是多态一方面的体现——在执行时改变了引用的实际类型。我觉得。这是编译层面上的协变。
三、C#中的样例
ICompareable<in T>强调“可比較”这一功能，是逆变。
IEnumerable<out T>强调的是“可数的”类型。是协变。拿List<T>说明，List<肉>表示“我放了肉在列表里面”，也能够说"我放了食物在列表里面"，即能够使用List<食品>取代。
可是不能说“我放了牛肉在列表里面”，所以用List<牛肉>取代是不正确的。