关于Java泛型里的类型变量有一个很困惑的问题

Question

有两段方法定义代码如下

    public <T super Integer> void test(T t){
        System.out.println();
    }

    public <T extends Integer> void test(T t){
        System.out.println();
    }

为什么第一种写法不能编译，第二种可以？
我的本意是第一种限制泛型的下边界，第二种限制泛型的上边界。

从java的TypeVariable接口定义的方法来看，确实只有一个getBounds获取上边界的方法，但是为什么不支持获取下边界呢？

Answer 1

• 当用extends的时候，你能明确知道T所有具有的方法/属性的最小子集，即Integer类的方法和属性
• 当你用super的时候，你无法知道T有哪些方法和属性，因为T可以Integer的任何一个父类。例如你调用T.abc()的时候，abc可能存在也可能不存在，一切依赖于运行时传入的对象类，此时编译器无法做静态检查