java泛型受限

有时，类或者方法需要对类型变量加以约束。这就要用到受限泛型技术

JAVA泛型的规则和限制

1. 泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。
2. 同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。
3. 泛型的类型参数可以有多个。
4. 泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上称为“有界类型”。
5. 泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName(java.lang.String);
   

限制泛型的可用类型

    如果我们要限制class GenericsFoo<T>类型持有者T的范围为集合接口类型，只需使用class GenericsFoo<T extends Collection>，这样类中的泛型T只能是Collection接口的实现类，传入非Collection接口编译会出错。

通配符泛型

    为了解决类型不能动态根据实例来确定的缺点，引入了“通配符泛型”，使得一个参数可以用来表示一组实例化后的模板。

其中，

“?”代表未知类型

extends关键字声明了类型的上界，表示参数化的类型可能是所指定的类型，或者是此类型的子类

super关键字声明了类型的下界，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至Obj

    

extends ,super例子 代码如下：

  class Info<T>{  
        private T var ;     // 定义泛型变量  
        public void setVar(T var){  
            this.var = var ;  
        }  
        public T getVar(){  
            return this.var ;  
        }  
        public String toString(){   // 直接打印  
            return this.var.toString() ;  
        }  
    };  
    public class  GenericsDemo4{  
        public static void main(String args[]){  
            Info<Integer> i1 = new Info<Integer>() ;        // 声明Integer的泛型对象  
            Info<Float> i2 = new Info<Float>() ;  // 声明Float的泛型对象
            Info<String>i3  =new Info<String>();
            i1.setVar(30) ;                                 // 设置整数，自动装箱  
            i2.setVar(30.1f) ;                              // 设置小数，自动装箱  
            i3.setVar("Hello");
            fun(i1) ;  
            fun(i2) ;  

        }  
        public static void fun(Info<? extends Number> temp){  // 只能接收Number及其Number的子类  
            System.out.print(temp + "、") ;  
        }  
    };

class Info2<T>{  
    private T var ;     // 定义泛型变量  
    public void setVar(T var){  
        this.var = var ;  
    }  
    public T getVar(){  
        return this.var ;  
    }  
    public String toString(){   // 直接打印  
        return this.var.toString() ;  
    }  
}
public class GenericsDemo5{  
    public static void main(String args[]){  
        Info2<String> i1 = new Info2<String>() ;      // 声明String的泛型对象  
        Info2<Object> i2 = new Info2<Object>() ;      // 声明Object的泛型对象  
        i1.setVar("hello") ;  
        i2.setVar(new Object()) ;  
        fun(i1) ;  
        fun(i2) ;  
    }  
    public static void fun(Info2<? super String> temp){    // 只能接收String或Object类型的泛型  
        System.out.print(temp + "、") ;  
    }
}