Java语言基础：泛型

     我必须承认我不是一个Java程序员，日常开发主要是C++和Delphi，使用Java完全是为了开发Android应用。今天在看Java的泛型，有些方面感到很奇怪，先来看下面的代码：

 

    class Shape {
        public void Draw() {
            System.out.println("Draw Shape");
        }
    }

 

    class Rect extends Shape {    
        @Override
        public void Draw() {
            System.out.println("Draw Rect");
        }
    }

 

    class Line extends Shape {
        @Override
        public void Draw() {
            System.out.println("Draw Line");
        }
    }

 

    class Drawer<T> {
        public void DrawShape(T shape) {
            shape.Draw();
        }
    }

 

    Drawer是一个泛型类，DrawShape方法绘制一个图形，从使用C++模板的经验来看，这绝对是正确的，但Java居然出现编译错误了：shape.Draw这样调用不被允许。
    我再把代码修改了一下：

 

    class Drawer<T> {
        public void DrawShape(T shape) {
            shape.toString();
        }
    }

 

    这样就编译通过了，看来Java是把 T 解释成 Object 了，有没有办法让它解释成Shape呢，又看了一下文档，才知道要这样写：

 

    class Drawer<T extends Shape> {
        public void DrawShape(T shape) {
            shape.Draw();
        }
    }

 

    原来类型参加也可以指定继承的，如果是这样，那和不用泛型的代码有什么区别呢：

    class Drawer {
        public void DrawShape(Shape shape) {
            shape.Draw();
        }
    }

    看来Java的泛型和C++的模板有很大的区别，Java的泛型更多的是用于容器，并且在我看来，它的最大作用是省去类型转换的操作，并且在编译期检查一下类型是否正确，传统容器类可能要这样写：

 

     List intList = new ArrayList(); 
     intList.add(new Integer(10));
     Integer i = (Integer)intList.get(0);

 

有了泛型以后可以改成这样写：

 

     List<Integer> intList = new ArrayList<Integer>(); 
     intList.add(new Integer(10));
     Integer i = intList.get(0);

 

 

    我还注意到泛型参数不能是基本类型，只能是对象，这跟C++的模板差距又进一步拉大了。感觉Java泛型的作用并不是很大，但又搞得很复杂，比如通配符这种东西，先看下面的代码：

 

    private static void PrintList(List<Object> list) {
        for (Object o: list) {
            System.out.println(o.toString());
        }
    }

 

    public static void DoTest() {
         List<Rect> intList = new ArrayList<Rect>(); 
         intList.add(new Rect());
         intList.add(new Rect());
         intList.add(new Rect());
         PrintList(intList);
    }

 

    PrintList这一句编译不过，因为List<Rect>与List<Object>不兼容，怎么改呢，用通配符：

 

    private static void PrintList(List<?> list) {
        for (Object o: list) {
            System.out.println(o.toString());
        }
    }

 

    List<?> 的意思是列表的元素类型未知，但变成Object总是没有问题的，所以可以编译通过，现在如果我想它是Shape，该怎么办呢，用通配符再加Extends的办法：

 

    class Shape {
        public String getName() {
            return "Shape";
        }
    }

 

    class Rect extends Shape {    
        @Override
        public String getName() {
            return "Rect";
        }
    }

 

    public class TestGenerics {

 

        private static void PrintList(List<? extends Shape> list) {
            for (Shape s: list) {
                System.out.println(s.getName());
            }
        }

 

        public static void DoTest() {
             List<Rect> intList = new ArrayList<Rect>(); 
             intList.add(new Rect());
             intList.add(new Rect());
             intList.add(new Rect());
             PrintList(intList);
        }
    }

 

    看看List<? extends Shape> list，我已经快被搞晕了，它的意思是List的项必须是Shape或继承自Shape，搞了一圈又回到使用多态就可以解决问题了。
    但这个用法又带来了一些限制，就是List<? extends Shape> list中的list是不能增加删除元素的，比如: 

 

    private static void PrintList(List<? extends Shape> list) {
        for (Shape s: list) {
            System.out.println(s.getName());
        }
        list.add(new Line());
    }

 

    list.add(new Line())这句编不过，因为带有通配符的集合类，根本不能确定它的元素是什么类型。
    个人觉得Java不要泛型的好，因为没有一定要用它的理由啊，它只可以帮你自动转换和检查一下类型，但它所带来的语法复杂性，其实是得不偿失的。