Java语法笔记-泛型

泛型方法和构造函数

 

 class Box<T> {
  
    private T t;

    <S> Box(S s) {

    }

}

Box<Integer> a = new Box<Integer>("hello");
Box<Integer> b = new <String>Box<Integer>("hello");
Box<Integer> c = new Box<>("world"); // Java 7

 

受限类型参数

class Box<T> {
  
    private T t;

    public <S extends Number> abc(S s) {
    
    }  

    public <U extends Number & OtherInterface> def(U u) {
 
    }
  
}

 

这里extends同时具有关键字extends和implements的意思

 

 

子类型化

Integer和Float是Number的子类型，但Box<Integer>和Box<Float>不是Box<Number>的子类型，而是Box<? extends Number>的子类型

我的理解是，如果Box<Integer>是Box<Number>的子类型，那么他可以当做Box<Number>使用，Float对象就可以放入Box<Integer>中，从而推出Integer和Float存在继承关系，矛盾。