java基础之泛型

ArrayList  collection1 = new ArrayList();//通过,无warning
ArrayList collection2 = new ArrayList();//通过,有warning

ArrayList collection3 = new ArrayList();//编译不通过
ArrayList collection4 = new ArrayList();//编译不通过

ArrayList collection5 = new ArrayList();
ArrayList collection6 = collection5;//编译通过

ArrayList>
    上限: java.lang.String,java.lang.Object

但是有一点没搞清楚，我在IDEA里面单步调试，发现结果如下图：  不知道b为什么是Double类型的（但直接Double b接收返回值会编译报错）。不知道跟IDE有没有关系，是不是IDE在debug时会显示这个对象最精确的类型？

编译器判断泛型方法的实际类型参数的过程称为类型推断。

• 当某个类型变量只在整个参数列表的所有参数和返回值中的一处被应用了，那么根据调用方法时该处的实际应用类型来确定。即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型。 例如：

swap(new String[3],1,2) -> static void swap(E[]a,int i,int j)

• 当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了，如果调用方法时这么多处的实际应用类型都 对应同一种类型，则泛型参数的类型就是该类型。 例如：

add(3,5) -> static T add(T a,T b)

• 当某个类型变量在整个参数列表的所有参数和返回值中的**多处被应用了，如果调用方法时这么多处的实际应用类型 *对应不同的类型,且没有返回值，则取多个参数中的最大交集类型，即第一个公共父类。 例如：

fill(new Integer[3],3.5) -> static void fill(T a[],T v)

该例子实际对应的类型就是Number,编译通过，运行出问题。

• 当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了，如果调用方法时这么多处的实际应用类型对应不同的类型,且使用有返回值，则优先考虑返回值的类型

例如：

int x = add(3,3.5) -> static T add(T a,T b)

上例编译报错,x类型改为float也报错，改为Number成功。

• 参数类型的类型推断具有传递性

例子：

copy(new Integer[5],new String[5]) -> static void copy(T []a,T []b)

该例推断实际参数类型为Object,编译通过.

copy(new ArrayList,new Integer[5]) -> static void copy(Collectiona,T[]b)

该例则根据参数化的ArrayList类实例将类型变量直接确定为String类型，编译报错。

例子

public class GenericDao{
    public void add(T x){
    }

    public T findById(int id){
        return null;
    }

    public void delete(T obj){
    }

    public void delete(int id){
    }

    public void update(T obj){
    }

    public T findByUserName(String name){
        return null;
    }

    public  Set findByConditions(String where){
        return null;
    }

}

注意：当一个变量被声明为泛型时，只能被实例变量和方法调用(还有内嵌类型)，而不能被静态变量和静态方法调用。因为静态成员是被所参数化的类所共享的，所以静态成员不应该有类级别的类型参数。

例子：

public class A(){
    //泛型类的成员方法，该T受A后面的T的限制
    public T memberFunc(){
        return null;
    }
    //泛型方法，这里的T和和类A的T是不同的
    public static  T genericFunc(T a){
        return null;
    }
    public static void main(String[] args) {
        //编译不通过
        //Integer i = A().findByUserName("s");

        //编译通过
        Set set=  A().findByConditions("s");
    }
}

这里Integer i = A().findByUserName("s");会编译报错：

Error:(35, 61) java: 不兼容的类型: java.lang.String无法转换为java.lang.Integer

由这个例子可知，泛型方法的T和和类A的T是不同的。

把泛型变量当成方法的参数，利用Method类的getGenericParameterTypes方法来获取泛型的实际类型参数 例子：

public class GenericTest {
    public static void main(String[] args) throws Exception {
        getParamType();
    }

     /*利用反射获取方法参数的实际参数类型*/
    public static void getParamType() throws NoSuchMethodException{
        Method method = GenericTest.class.getMethod("applyMap",Map.class);
        //获取方法的泛型参数的类型
        Type[] types = method.getGenericParameterTypes();
        System.out.println(types[0]);
        //参数化的类型
        ParameterizedType pType  = (ParameterizedType)types[0];
        //原始类型
        System.out.println(pType.getRawType());
        //实际类型参数
        System.out.println(pType.getActualTypeArguments()[0]);
        System.out.println(pType.getActualTypeArguments()[1]);
    }

    /*供测试参数类型的方法*/
    public static void applyMap(Map map){

    }

}

输出结果：

java.util.Map
interface java.util.Map
class java.lang.Integer
class java.lang.String