注意：无论【协变】还是【逆变】都能 保证类型安全
1 static void Main(string[] args)
2 {
3 //==>【协变】：子类泛型赋值给父类泛型 (返回值的时候使用)
4 //前提是类型参数有 out 修饰：public interface IQueryable<out T>
5 IQueryable<string> a = null;
6 IQueryable<object> b = a; //这里就是【协变】
7
8 //==>【逆变】：父类泛型赋值给子类泛型 (传参数的时候使用)
9 //前提是类型参数有 in 修饰：public delegate void Action<in T>(T obj);
10 Action<object> c = null;
11 Action<string> d = c; //这里就是【逆变】
12 d("target");//这一行是理解关键，注意实际是谁在使用"target"参数就能理解【逆变】
13
14 //==>【最后提醒一句】：像List<T>这样的泛型类，由于声明时没有 in或out 修饰泛型参数，所以不存在【协变】和【逆变】
15 //public class List<T>
16 List<string> e = null;
17 List<object> f = e; //不存在【协变】，编译时就会报错
18 List<object> h = null;
19 List<string> i = h; //不存在【逆变】，编译时就会报错
20 }
