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

log_theone
  • 78

有两段方法定义代码如下

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

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

宣传栏