java学习之泛型

泛型是提供给javac编译器使用的,可以限制集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会去除掉类型信息,使程序运行效率不受影响,由于编译器生成的字节码会去掉泛型类型信息,只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据,如用反射得到集合,再调用其add方法

 

package cn.itcast.day1;

 

import java.util.ArrayList;

 

public class GenericTest {

 

/**

* @param args

*/

public static void main(String[] args) throws Exception {

// TODO Auto-generated method stub

     ArrayList Collections1= new ArrayList();

     ArrayList Collections2= new ArrayList();

     System.out.println(Collections1.getClass()==Collections2.getClass());

     Collections1.getClass().getMethod("add",Object.class).invoke(Collections1,"abc");

     System.out.println(Collections1.get(0));

}

 

}

 

 

输出:

 true

abc

 

问题:

 

 Collections2.getClass().getMethod("add",Object.class).invoke(Collections2,11);

     System.out.println(Collections2.get(0));

如果是String 放入 int类型的数据 就会报错:java.lang.Integer cannot be cast to java.lang.String

好像是没跳过编译检查?

 

泛型术语

 

整个称为泛型ArrayList泛型类型

ArrayList中的E称为泛型类型或类型参数

整个ArrayList称为参数化的类型

ArrayList中的Integer称为类型参数的实例或实际类型参数

ArrayList中的<>念type of

ArrayList称为原始类型

 

Collectoin中,?是通配符,表示任意参数化类型的集合;

使用?通配符可以引用其它各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法

 

泛型中?通配符的扩展


 

 

//限定通配符的上边界:

         ArrayList x1 = new ArrayList();//正确 因为?号通配符表示任意类型但他继承了Number,表示只要是Number这个范围的就行!而Integer是Number的子类,所以可以

         //错误: ArrayList x2 = new ArrayList();因为String不属于Number的子类

         //限定通配符的下边界:

ArrayList x3 = new ArrayList();//可以?号必须是Integer的父类

编译完的泛型集合已经去类型化了(就是可以忽略这个泛型集合里装的是什么类型,所以可以往这个泛型集合里加别的类型的对象)

 

 

HashMap maps=new HashMap();

     maps.put("syh", 18);

     maps.put("syh1", 15);

     maps.put("syh2", 18);

     Set> entrySet= maps.entrySet();

     for(Map.Entry entry:entrySet){//迭代;

     System.out.println(entry.getKey()+entry.getValue());

 

 

输出:

 syh118

syh15

syh218

 

注:如果 可前面参数key:String是相同的,则不管后面integer参数是否相同都只能存储一个,存储前应该会进行Key值检测看是否有相等(equals),如有就不放进去

 

自定义泛型

 

   swap(new String[]{"abc","ass","sss"},1,2);

     swap(new int[]{1,3,4},1,2);//出错,只有引用类型才能作为泛型方法的实际参数

 

    public static void swap(T[] a,int i,int j){

     T t= a[i];

     a[i]=a[j];

     a[j]=t;

    }

只有引用类型才能作为泛型方法的实际参数

你可能感兴趣的:(java学习笔记)