Java基础之如何理解泛型的编译期检查

痛定思痛。 2024-04-06 14:26 52阅读 0赞

> 提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

#### 文章目录 ####

*  一、编译期检查
 *  二、泛型的桥接

--------------------

## 一、编译期检查 ##

public class Test {
          
    
        public static void main(String[] args) {
          
            ArrayList<String> list1 = new ArrayList();  
            list1.add("1"); //编译通过  
            list1.add(1); //编译错误  
            String str1 = list1.get(0); //返回类型就是String  
    
            ArrayList list2 = new ArrayList<String>();  
            list2.add("1"); //编译通过  
            list2.add(1); //编译通过  
            Object object = list2.get(0); //返回类型就是Object  
    
            new ArrayList<String>().add("11"); //编译通过  
            new ArrayList<String>().add(22); //编译错误  
    
            String str2 = new ArrayList<String>().get(0); //返回类型就是String  
        }  
    }

## 二、泛型的桥接 ##

现在有这样一个泛型类：

class Pair<T> {
          
    
        private T value;  
    
        public T getValue() {
          
            return value;  
        }  
    
        public void setValue(T value) {
          
            this.value = value;  
        }  
    }

然后我们想要一个子类继承它。

class DateInter extends Pair<Date> {
          
    
        @Override  
        public void setValue(Date value) {
          
            super.setValue(value);  
        }  
    
        @Override  
        public Date getValue() {
          
            return super.getValue();  
        }  
    }

先来分析setValue方法，父类的类型是Object，而子类的类型是Date，参数类型不一样，这如果实在普通的继承关系中，根本就不会是重写，而是重载。 我们在一个main方法测试一下：

public static void main(String[] args) throws ClassNotFoundException {
          
            DateInter dateInter = new DateInter();  
            dateInter.setValue(new Date());                  
            dateInter.setValue(new Object()); //编译错误  
    }

如果是重载，那么子类中两个setValue方法，一个是参数Object类型，一个是Date类型，可是我们发现，根本就没有这样的一个子类继承自父类的Object类型参数的方法。所以说，却是是重写了，而不是重载了。

原因是这样的，我们传入父类的泛型类型是Date，Pair，我们的本意是将泛型类变为如下：

class Pair {
          
        private Date value;  
        public Date getValue() {
          
            return value;  
        }  
        public void setValue(Date value) {
          
            this.value = value;  
        }  
    }

**可是由于种种原因，虚拟机并不能将泛型类型变为Date，只能将类型擦除掉，变为原始类型Object。这样，我们的本意是进行重写，实现多态。可是类型擦除后，只能变为了重载。这样，类型擦除就和多态有了冲突。**

*  愿你健康平安，快乐常伴。
 *  空庭得秋漫漫，寒露入暮愁衣单
 *  每一个懂事淡定的现在，都有一个很傻很天真的过去，每一个温暖而淡然的如今，都有一个悲伤而不安的曾经。
 *  不要活在别人的嘴里，也不要活在别人的眼里，而是把命运握在自己手里。
 *  要么你去驾驭生命，要么是生命驾驭你，你的心态决定谁是坐骑，谁是骑师。心态的不同必然导致人格和作为的不同，因而也会谱写不同的人生。
 *  朋友，别因为天气的风雨无常而挡住你前进的道路，那只不过是对你的一个考验，只要你能正视这些考验，那么你也就能成功的实现你的梦想。
 *  然万物好像逝去了，但是，你瞧！那火红的枫叶在树枝上摇摆着，就像是一大群顽皮的孩子在手拉手一起跳着欢快的舞蹈呢。有些枫叶因跳舞不慎，从树枝上跌了下来，瞬间化作了一只只飞舞的蝴蝶，在空中飞来飞去。
 *  愿你半生归来，仍旧初心未改，走自己最想要的人生，过出幸福的滋味。
 *  纵然我有千万般好，你也不会看到，因为你没有一双爱我的眼睛。
 *  如果把成才比作登天，自学便是成才的天梯。