List＜String＞ 不是List＜Object＞的子类

前置知识

协变&不变

假设前提条件为：A是B的子类
数组是协变的，也就是说如果，那么数组A[] 必然也是 B[]的子类。与之相对的就是泛型，泛型是不变的，体现在集合中，就是List<A> 与 List<B> 不存在任何的关系。

代码演示

浅谈理解

根据里氏替换原则（Liskov Substitution Principle，LSP）：子类能够替换父类其相同的作用，显然这里List<String> 无法起 List<Object> 相同的作用，最简单的说，List<String> 不能如 List<Object>一样添加任何类型的对象。
那么同理其实Object[] objects 到 (Object[]) strings不应该转换成功，同样违背了LSP原则，那么为什么不会编译报错呢？
确实这里编译不会报错，但是向数组中添加数字时在运行时会报错。因为数组实在运行时知道和强化他们的元素类型的，所以运行时就会出现

，所以数组也是不安全的；而泛型则是通过擦除来实现的，在编译时就已经强化类型信息，在运行时就已经丢弃了这些类型信息，可以安全的运行，所以List相比于数组更为安全。