黑马程序员 java泛型

---------------------- ASP.Net+Unity开发、.Net培训、期待与您交流！ ----------------------

 

一、概念介绍：

Java泛型（generics）是JDK 5中引入的一个新特性，允许在定义类和接口的时候使用类型参数（type parameter）。声明的类型参数在使用时用具体的类型来替换。泛型最主要的应用是在JDK 5中的新集合类框架中。

二、引入泛型的好处

1、将运行时期出现问题ClassCastException，转移到了编译时期。

方便于程序员解决问题。让运行时问题减少，提高了程序安全性。

2、避免了强制转换麻烦 

　　下面是个不用泛型的例子：

List list = new LinkedList(); 
list.add(0); 
Integer x=(Integer)list.iterator().next();

　　　注意第3行代码，这是让人很不爽的一点，因为程序员肯定知道自己存储在List里面的对象类型是Integer，但是在返回列表中元素时，还是必须强制转换类型，这是为什么呢？原因在于，编译器只能保证迭代器的next()方法返回的是Object类型的对象，为保证Integer变量的类型安全，所以必须强制转换。

　　这种转换不仅显得混乱，更可能导致类型转换异常ClassCastException，而运行时异常往往让人难以检测到。保证列表中的元素为一个特定的数据类型以取消类型转换，减少发生错误的机会， 这应该就是泛型设计的初衷。

下面是用泛型的例子：

List<Integer> list = new LinkedList<Integer>(); 
list.add(0); 
Integer x = list.iterator().next(); 

　　在第1行代码中指定List中存储的对象类型为Integer，这样在获取列表中的对象时，就不必强制转换类型了。

三、定义泛型： 

定义泛型跟定义原生类型没有什么区别，只是在类或接口后面加入了一个尖括号，尖括号里面是一个类型参数（定义时就是一个格式化的类型参数，在调用时会使用一个具体的类型来替换该类型）

代码示例：

//源代码中的List接口 和 Iterator 接口的例子
public interface List<E> 
{
    void add(E x);
    Iterator<E> iterator();
}

public interface Iterator<E> 
{
    E next();
    boolean hasNext();
}

四、泛型的特点：

　　泛型的最大特就是类型可擦除。

　　Java中的泛型基本上都是在编译期来实现的。在生成的Java字节代码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会被编　　　译器在编译的时候去掉。这个过程就称为类型擦除。

代码示例：

public static void main(String[] args)
{
    ArrayList<String>  arr1 = new ArrayList<String>();
    ArrayList<Integer> arr2 = new ArrayList<Integer>();

    System.out.println(arr1.getClass());
    System.out.println(arr2.getClass());
    System.out.println(arr1.getClass() == arr2.getClass());
}

/*运行结果:
   class  java.util.ArrayList     
   class  java.util.ArrayList
    true
*/    

 

编译器承担了全部的类型检查工作。编译器禁止某些泛型的使用方式，正是为了确保类型的安全性。

五、泛型的兼容性设计

　　关于泛型的转化兼容设计：

　　代码如下：

 //原始类型可以和泛型类型相互赋值  
ArrayList<String> list1 = new ArrayList();  
ArrayList list2 = new ArrayList<String>();  
  
//参数类型不考虑参数的继承关系，无论是向下转型还是向上转型 都会报错 
ArrayList<String> list3 = new ArrayList<Object>();  //编译失败
ArrayList<Object> list4 = new ArrayList<String>();  //编译失败
  
//不能创建数组元素为参数类型的数组  
ArrayList<String>[] array = new ArrayList<String>[10];  //编译失败

六、通配符？

先看一个打印集合中所有元素的代码。

//不使用泛型时
void printCollection(Collection c) 
{                  
    Iterator i=c.iterator();  

    for (k=0;k < c.size();k++)
    {  
        System.out.println(i.next());  
    } 
}

//使用泛型、、、
void printCollection(Collection<Object> c) 
{   
    for (Object obj:c)
    {  
        System.out.println(i.next());  
    } 
}

     很容易发现，使用泛型的版本也只能接受元素类型为Object类型的集合如ArrayList<Object>();如果是ArrayList<String>，则会编译时出错。那么如何改造新版本以便它能接受所有类型的集合呢？这个问题就可以通过使用通配符来解决。修改后的代码如下所示：

//使用通配符？，表示可以接收任何元素类型的集合作为参数 
void printCollection(Collection<？> c) 
{   
    for (Object obj:c)
    {  
        System.out.println(i.next());  
    } 
}

　　这里使用了通配符？指定可以使用任何类型的集合作为参数。读取的元素使用了Object类型来表示，这是安全的，因为所有的类都是Object的子类。 

　　但是还有另外一个问题：

　　如下代码所示，如果试图往使用通配符？的集合中加入对象，就会在编译时出现错误。需要注意的是，这里不管加入什么类型的对象都会出错。这是因为通配符？表示该集合存储的元素类型未知，可以是任何类型。往集合中加入元素需要是一个未知元素类型的子类型，正因为该集合存储的元素类型未知，所以我们没法向该集合中添加任何元素。唯一的例外是null，因为null是所有类型的子类型，所以尽管元素类型不知道，但是null一定是它的子类型。

Collection<?> c = new ArrayList<String>();  
    c.add(newObject()); //不管加入什么对象都出错，除了null外。  
    c.add(null); //OK  

解决办法：边界通配符

 

1）？extends通配符

假定有一个画图的应用，可以画各种形状的图形，如矩形和圆形等。为了在程序里面表示，定义如下的类层次：

public abstract class Shape 
{  
    public abstract void draw(Canvas c);  
}  
      
public class Circle extends Shape 
{  
    private int x,y,radius;  
    public void draw(Canvas c) { ... }  
}  
      
public class Rectangle extends Shape
{
    private int x,y,width,height;  
    public void draw(Canvasc) { ... }  
}  

public void drawAll(List<？exends Shape> shapes)
{  
    for (Shapes:shapes)
    {  
        s.draw(this);  
    }  
} 

　　这里就又有个问题要注意了，如果我们希望在

　　　　　　　　　　　　　　　　　　　　　　List<？exends Shape> shapes       中加入一个矩形对象，如下所示：

　　　　　　　　　　　　　　　　　　　　　　shapes.add(0, new Rectangle()); //compile-time error

那么这时会出现一个编译时错误，原因在于：我们只知道shapes中的元素时Shape类型的子类型，具体是什么子类型我们并不清楚，所以我们不能往shapes中加入任何类型的对象。不过我们在取出其中对象时，可以使用Shape类型来取值，因为虽然我们不知道列表中的元素类型具体是什么类型，但是我们肯定的是它一定是Shape类的子类型。

2）？super通配符

       这里还有一种边界通配符为？super。比如下面的代码：

List<Shape> shapes = new ArrayList<Shape>();  
    List<? super Cicle> cicleSupers = shapes;  
    cicleSupers.add(new Cicle()); //OK, subclass of Cicle also OK  
    cicleSupers.add(new Shape()); //ERROR

 　　这表示cicleSupers列表存储的元素为Cicle的超类，因此我们可以往其中加入Cicle对象或者Cicle的子类对象，但是不能加入Shape对象。这里的原因在于列表cicleSupers存储的元素类型为Cicle的超类，但是具体是Cicle的什么超类并不清楚。但是我们可以确定的是只要是Cicle或者Circle的子类，则一定是与该元素类别兼容。

3) 边界通配符总结　　　　

如果想从一个数据类型里获取数据，使用 ? extends 通配符
如果想把对象写入一个数据结构里，使用 ? super 通配符
如果既想存，又想取，那就别用通配符。

 

 

 

---------------------- ASP.Net+Unity开发、.Net培训、期待与您交流！ ----------------------