首先我们看一下msdn上关于这两个概念的说明：协变允许方法具有的派生返回类型比委托中定义的更多。逆变允许方法具有的派生参数类型比委托类型中的更少。
不知道大家看到这两句话时是怎么理解的，反正我是没有理解清楚，于是放狗查了一下，最终我的理解是：
这些变化是在一个大的原则下进行的，即给程序所需要的范围一个更大的范围。
也许还是不清楚，来看一下小例子吧：
namespace ConsoleApplication1
{
class Program
{
static void Main(string[] args)
{
#region covariance test
Func<object> covarianceTest1 = () => getObject();
Func<object> covarianceTest2 = () => getString();
#endregion
#region contravariance test
Action<string> contravarianceTest1 = obj => setObject(obj);
Action<string> contravarianceTest2 = str => setString(str);
#endregion
}
private static object getObject() { return null; }
private static void setObject(object obj) { }
private static string getString() { return null; }
private static void setString(string str) { }
}
}
以Func<object>为例，它是协变事例：covarianceTest2所需的返回类型是一个object类的，但我给它实例化后，确是一个更精确的类型string,这
是好理解的。
以Action<string>为例，它是逆变事例：contravarianceTest1所需的参数类型是一个string类的,但我给它实例化后，确是一个范围更大的类型object。
所有这些都是ms在定义这门语言时设计的，你可以把它当成一个语法记下来。在c#4.0中还专门引进了in, out对这些变化进行处理。如果想理解更加彻底请看下面这两篇围脖吧！
http://hestia.typepad.com/flatlander/2008/12/c-covariance-and-contravariance-by-example.html
http://blogs.msdn.com/b/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx