link里面支持的是哪种形式的泛型顺变和逆变机制？和汇总是什么关系？
已经在另一个贴回答你了，简单来说，所谓协变逆变其实只是让编译器对代码放行，因为早期clr的设计并没有考虑协变逆变，所以基于类型的协变逆变其实还是不支持的。
http://www.cnblogs.com/jingzhongliumei/archive/2012/07/02/2573149.html