原理性地理解 Java 泛型中的 extends、super 及 Kotlin 的协变、逆变