【协变】和【逆变】的简单示例

注意：无论【协变】还是【逆变】都能 保证类型安全

static void Main(string[] args)
{
    //==>【协变】：子类泛型赋值给父类泛型 (返回值的时候使用)
    //前提是类型参数有 out 修饰：public interface IQueryable<out T>
    IQueryable<string> a = null;
    IQueryable<object> b = a; //这里就是【协变】

    //==>【逆变】：父类泛型赋值给子类泛型 (传参数的时候使用)
    //前提是类型参数有 in 修饰：public delegate void Action<in T>(T obj);
    Action<object> c = null;
    Action<string> d = c; //这里就是【逆变】
    d("target");//这一行是理解关键，注意实际是谁在使用"target"参数就能理解【逆变】

    //==>【最后提醒一句】：像List<T>这样的泛型类，由于声明时没有 in或out 修饰泛型参数，所以不存在【协变】和【逆变】
    //public class List<T>
    List<string> e = null;
    List<object> f = e; //不存在【协变】，编译时就会报错
    List<object> h = null;
    List<string> i = h; //不存在【逆变】，编译时就会报错
}