Java 泛型通配符及上下边界

上界<? extends T>不能往里存，只能往外取，下界<? super T>往外取只能赋值给Object变量，不影响往里存。
很多博客论点都是上界<? extends T> 无法确定它是 T 类型还是 T 的子类，无法确定具体类型，所以在存入的时候无法判断类型一致，而下界<? super T> 可以确定是 T 类型或 T 的父类故可以存入，但是取的时候只能当作 Object 对象使用。其实这种解释是比较牵强的，上界通配符无法确定类型故无法存入，那下界通配符就可以确定确切的类型吗，首先，他们的类型都是不确定的，而造成二者不同原因就在于内存分配的问题，众所周知 List 的实现是数组，Int 类型占 4 个字节，long 类型占 8 个字节，Int 和 long 就好比小杯和大杯，小杯可以放进大杯，但是大杯放不进小杯，因为数值范围、内存占用空间和类型都不同，那么当我们创建了一个上界<? extends T>数组，类型是 T 或者 T 的子类，T 的子类内存开辟的空间肯定是 >= T 的，但是我该用什么类型去开辟这个空间呢，无论申请多大空间都不合适，因为无法确定，所以不支持存入，只能取。下界<? super T>则不同，因为最大的类型都已经确定了，我可以按 T 来申请内存空间，举例来说 <? super Long> 类型是 Long 或者 Long 的父类，虚拟机按 Long 来申请空间，Long 来存是可以的，父类也是可以的。