黑马程序员--高新技术--泛型

泛型：
1.5后出现的新特性，解决了安全问题，是一个类型安全机制。


好处：
1.将运行时期转移到编译时期，方便程序员解决问题。提高了安全性。


2.避免了强制转换的麻烦


ArrayList 泛型语法
Iterator


格式：

通过<>来定义要操作的引用数据类型。

什么时候使用泛型?

在集合中很常见，只要见到<>就要定义泛型。
<>是用来接收数据类型的泛型技术：其实应用在编译时期，是给编译器使用的技术，到了运行时期，泛型就不存在了。
为什么,因为泛型的擦除：也就是说，编辑器检查了泛型的类型正确后，在生成的类文件中是没有泛型的.

在运行时，如何知道获取的元素类型而不用强转呢？
泛型的补偿：
因为存储的时候，类型已经确定了是同一个类型的元素，所以在运行时，只要获取到该元素的类型，在内部进行一次转换即可，所以使用者不用再做转换动作了。

应用:

泛型类
什么时候定义泛型类？
当类中操作的引用数据类型不确定的时候，
早起定义Object来完成扩展。

现在定义泛型来完成扩展。

		class Utils {
	
			private QQ q;
			
			public void setObject(QQ q); {
			
				this.q=q;
		  
			}
			public QQ gerobject() {
			   return q;
		   
			}

		}

泛型方法：
泛型类定义的反应，在整个类中有效，如果被方法使用，那么泛型类的对象明确要操作的具体类型后，所有要操作的类型就已经固定了。


为了让不同方法可以操作不同类型，而且类型还不确定，那么可以将泛型定义在方法上。

		class Demo {  
		
			public  void show(T t) {
			
			}


		}

静态方法泛型：静态方法不可以访问类上定义的泛型，如果静态方法操作的数据类型不确定，可以将泛型定义在方法上。


public static  void menthod(W w){}




泛型接口：

		interface Inter {
		
		   void show(T t);
		   
		}

		class InterImpl implements Inter {
		
			 public void show(R r) { 
			 
				  System.out.println("show:"+r); 
				  
			  }
		}

案例：给限定Integer类型的集合 添加 String类型

ArrayList collection2 = new ArrayList();   

System.out.println(collection1.getClass()==collection2.getClass());   

collection2.add（“呵呵 ”）；//这句会报错    

collection2.getClass().getMethod("add", Object.class).invoke(collection2, "呵呵");   

System.out.println(collection2.get(0)); //结果却为呵呵  

//已经限制集合中元素的类型为Integer，可用反射却能将String存入，为什么？ 

//这是因为泛型是给编译器用的，运行时就没有这些泛型信息了，这叫做“去泛型化”，所以可以通过反射，获取集合字节码加入非指定的类型。

泛型限定

通配符,也可以理解为占位符号
? extends E:可以接受E类型或者E的子类型 上限
? super E:可以接受E或E的父类型 下限  


上限什么时候用：
往集合中添加元素时，既可以添加E类型对象，又可以添加E的子类型对象。为什么？因为取的时候，
E类型既可以接收E类对象，又可以接收E的子类型对象。?


下限什么时候用：
当从集合中获取元素进行操作的时候，可以用当前元素的类型接收，也可以用当前元素的父类型接收。




泛型的细节：

1）、泛型到底代表什么类型取决于调用者传入的类型，如果没传，默认是Object类型；
 
2）、使用带泛型的类创建对象时，等式两边指定的泛型必须一致； 
 
  原因：编译器检查对象调用方法时只看变量，然而程序运行期间调用方法时就要考虑对象具体类型了；
  
3）、等式两边可以在任意一边使用泛型，在另一边不使用(考虑向后兼容)； 
 
ArrayList al = new ArrayList