JavaTiger(Java5.0) 新特性------类型安全

     (本文例子适用于JDK 5.0, 学习请先安装并配置！！！)    
  
     我们从一个简单的例子开始：假设我们现在需要一个专用来存储字符串的List,该如何实现？呵呵，这还不简单，且看如下代码：    

public static void main(String[] args) 
{   
    List strList = new ArrayList();   
    strList.add("one");   
    strList.add("two");    
}   
  
  　　相信很多人都有过这样写的经历，不错，这个写法确实没有错。以前我们甚至都是这么做的。但是不是说要与时俱进么？这样的写法到今天来看，却就有问题了。问题来源于我们的需求，我们需要的是一个专门用来存储字符串的List，现在请在这段程序代码后面加一句，使之变成这样：   
 
public static void main(String[] args) 
{   
    List strList = new ArrayList();   
    strList.add("one");   
    strList.add("two");   
    strList.add(new Integer(1));           
}   
  
      然后运行检查一下，可以运行！是个好消息，别高兴，问题就在于这个List能正常运行（记住：程序员要求的不是程序能运行）。回头看看，我们的需求是这个List专门用来存储字符串，但是现在，这个List竟然还可以存储一个整型数据。也许你会说，Java类库定义的不就是可以存储任意一个Object么？是的，没错，但是现在我们的需求范围变小了，只需要存储字符串。别说我是钻牛角尖，我们看一个更普遍的问题：当我们操作数据库的时候，我们经常会返回一张表的所有数据，在我们通过实体关系映射之后，我们得到的就是一系列相同类型的数据，通常我们采取的操作是用一个List来保存这一系列的数据，但是由于这些数据都具有相同的类型，因此，这个List也就成了一个保存单一对象的List了。看到这里，我想对于我这个例子的目的大家应该清楚了。    
 
     现在我们来讨论一下问题的解决之道，一句话来总结就是我们需要一个只能操作单一类型的List。方法就在这里，Java 5给我们提供了解决之道-----Generic，对于我们的这个例子来说，Java5的类型安全要发挥作用了。    
 
     现在我们回到程序清单一，打开你的开发工具，编译一下（Eclipse等工具下面不用你自己变异就可以看到），我们发现程序虽然没有错误，但是却有一个警告：    
 
  Type safety: The method add(Object) belongs to the raw type List. 
  References to generic type List should be parameterized   
 
     看见了么， JavaTiger给你警告了，警告的来源就是上面所说的类型安全。如果你查询一下Javadoc，你会发现List 是这样定义的 ：          

Public  interface List<E> extends Collection,Iterable     
  
      注意这个<E>,它就是JavaTiger的类型安全标志，我想，到这里可以给出在保证类型安全时我们例子中的List应该如何定义了：          

List<String> strList = new ArrayList<String>();   

      在理解这条语句之前请先记住，以后这就是List的官方写法了（^_^）。现在来看一下，在List之后我们有<String>这样的标志，在JavaTiger里面，这就是类型安全的定义方法，结合这条语句，很容易就可以看出，我们定义了一个用来存储String类型的List。来看看重新定义后的效果：          

public static void main(String[] args) 
{   
    List<String> strList = new ArrayList<String>();   
    strList.add("one");   
    strList.add("two");    
}   
  
      再编译一下或者直接在Eclipse里面观察，先前的警告没有了。    
      到此，应该说我们已经掌握了类型安全的基本用法了，现在我么来个小小的改变，将List 的定义改成这样：                    

List<String> strList = new ArrayList();   
  
     呵呵，警告又回来了。虽然我们在这里对List定义了String类型，但是我们在实例化的时候去却没有指定，因此出现了这个警告，所以记住上面讲的官方写法。
    
     现在回来，让我们来验证一下这个保证了类型安全的List是不是安全的。让我们还是通过向这个list 添加一个整型数据来验证：          

public static void main(String[] args) 
{   
    List<String> strList = new ArrayList<String>();   
    strList.add("one");   
    strList.add("two");    
    strList.add( new Integer(1) );   
}          
  
      结果竟然出错了(这可不是警告啊！)   是不是很神奇？看一下出错的消息：    
 
The method add(String) in the type List is not applicable for the arguments (Integer)
  
      效果很明显，这个List的add方法已经只能接受String类型的参数了，Javadoc中的add( Object obj )方法已经不能用了，现在大家都应该很满意了吧，我们的需求达到了，这个List太安全了，呵呵。想想它带来的好处，以后当我们要处理一个List中间的元素时，再也不需要这么写了：          

String str = (String) list.get( i );          
        
      有了类型安全，我们可以直接书写：          

String str = list.get( i );          
  
     也许这还不以让你来满意，但是看这样一个方法吧:          

public List<String> getStrList( List<String> list )
{   
    .....   
    return XXX;    
}   
 
      这就是参数化类型的威力，别告诉我说你觉得这个方法没有什么特别的。    
  
      好了，我想我的目的应该已经达到了，大家应该明白Java5里面的类型安全是怎么回事以及如何运用了，好吧，为了让大家心里更有底，再写两行代码让大家看看：            

Map<Integer,String> myMap = new HashMap<Integer ,String>();   
Set<MyClass> set = new HashSet<MyClass>(0);   

      不用再举例了吧，这几个例子够直白了吧。　　　　   
  
      在本文结束的时候，让我们又回到程序清单一，先前不是有警告么？如果你是这样一个人，既不想用类型安全来消除警告，又不想要看到那个讨厌的Waining，你可以在main方法以前加上这么一句（如果你用IDE的话可以自动来完成）：  

@SuppressWarnings("unchecked") 。

使程序变成这样：          

@SuppressWarnings("unchecked")   
public static void main(String[] args) 
{   
    List strList = new ArrayList();   
    strList.add("one");   
    strList.add("two");    
    strList.add( new Integer(1) );     
}   
  
      这下子我想就算你如此挑剔也应该满足了，既没有类型安全，也没有警告了。为什么？关键在于我们添加的那行语句，它也是 JavaTiger的新特性之一Annotation：至于它是怎么回事，请关注后续话题。