36 入门泛型的基本应用37 泛型的内部原理及更深应用

最新推荐文章于 2021-09-25 13:39:22 发布

cactusz

最新推荐文章于 2021-09-25 13:39:22 发布

阅读量170

点赞数

本文链接：https://blog.csdn.net/cactusz/article/details/74561479

版权

36 入门泛型的基本应用

l Jdk 1.5以前的集合类中存在什么问题

ArrayList collection = new ArrayList();

collection.add(1);

collection.add(1L);

collection.add("abc");

int i = (Integer) collection.get(1);//编译要强制类型转换且运行时出错！

l Jdk 1.5的集合类希望你在定义集合时，明确表示你要向集合中装哪种类型的数据，无法加入指定类型以外的数据

ArrayList<Integer> collection2 = new ArrayList<Integer>();
  collection2.add(1);
 /*collection2.add(1L);
 collection2.add(“abc”);*///这两行代码编译时就报告了语法错误
 int i2 = collection2.get(0);//不需要再进行类型转换

//new String(new StringBuffer("abc"));
Constructor<String> constructor1 =String.class.getConstructor(StringBuffer.class);
String str2 = constructor1.newInstance( new StringBuffer("abc"));
System.out.println(str2.charAt(2));

37 泛型的内部原理及更深应用

泛型是给编译器看的！！

l 泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时会去除掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，getClass()方法的返回值和原始类型完全一样。由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，例如，用反射得到集合，再调用其add方法即可。

代码:

/*
       泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，
       编译器编译带类型说明的集合时会去除掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，
       getClass()方法的返回值和原始类型完全一样。
       */
      ArrayList<Integer> collection3 = new ArrayList<Integer>();
      ArrayList<String> collection2 = new ArrayList<String>();
      System.out.println(collection3.getClass() == collection2.getClass());
      /*
       由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，
       例如，用反射得到集合，再调用其add方法即可。
       */
      //collection3.add("abc");
      collection3.getClass().getMethod("add", Object.class).invoke(collection3, "abc");
      System.out.println(collection3.get(0));

l ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语：

Ø 整个称为ArrayList<E>泛型类型

Ø ArrayList<E>中的E称为类型变量或类型参数

Ø 整个ArrayList<Integer>称为参数化的类型

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

Ø ArrayList<Integer>中的<>念着typeof

Ø ArrayList称为原始类型

l 参数化类型与原始类型的兼容性：

Ø 参数化类型可以引用一个原始类型的对象，编译报告警告，例如，
Collection<String> c = new Vector();//可不可以，不就是编译器一句话的事吗？//根据变量声明，说所以c中只能add字符串类型

Ø 原始类型可以引用一个参数化类型的对象，编译报告警告，例如，
Collection c = new Vector<String>();//原来的方法接受一个集合参数，新的类型也要能传进去// c中可以add任何类型，即Object

l 参数化类型不考虑类型参数的继承关系：

Ø Vector<String> v = new Vector<Object>(); //错误!///不写<Object>没错，写了就是明知故犯

Ø Vector<Object> v = new Vector<String>(); //也错误!

l 编译器不允许创建泛型变量的数组。即在创建数组实例时，数组的元素不能使用参数化的类型，例如，下面语句有错误：

Vector<Integer> vectorList[] = new Vector<Integer>[10];

l 思考题：下面的代码会报错误吗？

Vector v1 = new Vector<String>();

Vector<Object> v = v1;

上面两行不会报错，因为编译器是一行一行的检查的，在编译阶段上面两行是没有关系的。第二行是原始类型给参数化类型。