java 动态类型安全

        动态类型安全主要是在泛型容器中遇到的。因为可以向JAVA EE5 之前的代码传递泛型容器，所以旧式代码仍旧有可能会破坏你的容器，JAVA EE5的java.util.Collections中有一组便利工具，可以解决在这种情况下的类型检查问题，它们是：静态方法checkedCollection()、checkedList()、checkedMap()、checkedSet()、checkedSortedMap()和checkedSortedSet()。这些方法每一个都会将你希望动态检查的容器当作第一个参数接受，并将你希望强制要求的类型作为第二个参数接受。

        受检查的容器在你视图插入类型不正确的对象时会抛出ClassCastException异常，而不是在你将对象从容器中取出时才会通知你出现了问题。

Java代码  

1. public class CheckedList{
2.    @SuppressWarnings("unchecked")
3.    static void oldStyleMethod(List probablyDogs){
4.        probablyDogs.add(new Cat());
5.    }
6.     public static void main(String[] args){
7.         List<Dog> dogs1 = new ArrayList<Dog>();
8.         oldStyleMethod(dogs1);
9.         List<Dog> dogs2 = Collections.checkedList(
10.            new ArrayList<Dog>(),Dog.class);
11.         try{
12.            oldStyleMethod(dogs2);
13.         }catch(Exception e){
14.            e.printStack();
15.         }
16.         List<Pet> pets = Collections.checkedList(new ArrayList<Pet>(),Pet.class);
17.         pets.add(new Dog());
18.         pets.add(new Cat());
19.     }
20. } 

运行这个程序时，你会发现插入一个Cat对于dogs1来说没有任何问题，而dogs2立即会在这个错误类型的插入操作上抛出一个异常。还可以看到，将子类的对象放置到将要检查基类型的受检查容器是没有问题的。