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

有两段方法定义代码如下

    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获取上边界的方法,但是为什么不支持获取下边界呢?

阅读 1.3k
1 个回答
  • 当用extends的时候,你能明确知道T所有具有的方法/属性的最小子集,即Integer类的方法和属性
  • 当你用super的时候,你无法知道T有哪些方法和属性,因为T可以Integer的任何一个父类。例如你调用T.abc()的时候,abc可能存在也可能不存在,一切依赖于运行时传入的对象类,此时编译器无法做静态检查
撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
推荐问题