标签：line 安全 接口 namespace show 基类 误区 强制转换 指定
根据可变性的规则，只有接口和委托可以标记可变性。且只有类型参数为引用类型时才可以利用可变性。
不变性：泛型类型的参数不能改变，这表示一个创建一个MyInterface类型的对象时，赋值给它的只能是MyInterface类型
1 namespace ContravariantAndCovariant
2 {
3 public interface MyInterface//没有指定任何可变性，说明这个接口的类型参数是不变的
4 {
5 void Show(T t);
6 }
7
8 public class ShowObject : MyInterface
逆变性：泛型的类型参数可以从一个类变成它的派生类，比如：可以把MyInterface
1 namespace ContravariantAndCovariant
2 {
3 public interface MyInterfacein T>//用in关键字指定T的逆变性
4 {
5 void Show(T t);//T是参数类型
6 }
7
8 public class ShowObject : MyInterface
协变性：泛型的类型参数可以从一个类变成它的基类，比如：可以把MyInterface转换成MyInterface
1 namespace ContravariantAndCovariant
2 {
3 public interface MyInterfaceout T>//用out关键字指定T的协变性
4 {
5 T Show(); //T是返回类型
6 }
7
8 public class ShowObject : MyInterface
CLR是要保证类型的转换是安全的，协变性还好理解，子类是可以转换成父类的，因为子类对象中包括父类对象的所有成员。这个转换是安全的。
但是逆变的话，父类转换成子类是不安全的，当不能里氏转换的时候，父类对象中并没有子类的所有成员。
其实这么看的话是有一个误区，就是关于引用和对象。当逆变的时候，比如上面逆变的代码中:
MyInterface
MyInterface str = obj;
str.Show("123")
str是MyInterface类型的变量，但是它引用的对象是MyInterface
obj的参数是object类型的，我们传入的是一个string类型，string---->object的转换是安全的。所以逆变是安全的！
同理的话，协变：
MyInterface str = null;
Myinterface
object result = obj.show();
可以看到obj是MyInterface
它返回的是string类型，但是obj.Show()返回的是一个object类型，所以我们用一个object类型的变量result去接收返回值，最终变成 string ----->object类型的转换，所以协变是安全的。
C#逆变和协变的理解-----为什么逆变可以把Object类型的类型参数转换成String类型的类型参数
标签：line 安全 接口 namespace show 基类 误区 强制转换 指定
原文地址：http://www.cnblogs.com/marsir/p/7658822.html