灵魂拷问Java泛型，extends你为什么不继承

太过爱你忘了你带给我的痛 2023-10-11 14:18 34阅读 0赞

##### 问题 #####

今天在知乎上遇到这么个问题，泛型方法apply定义了泛型T和S，S extends T，按理说S只能是T的本身及其子类型，但实际中，参数s传入任何类型都能正常运行。  
问题如下：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70]  
看到这个问题，自己第一反应也是很纳闷，为什么调用apply的时候，T指定了Double，S传入Integer为什么还不报错了，自己还特地去运行了一下，居然能正常运行。度娘也不给力，百度了大半个小时也没找到什么结果。真的是想要放弃，毕竟在知乎也是萍水相逢，就像爱情一样，错过了就错过了。但是作为一名程序猿他不允许我这么做。这时忽然想起前两天看的**类型擦除**，突然有了灵感。

##### 类型擦除 #####

据说在很久很久以前，JAVA混沌未开，jdk1.5这个老大哥还没有拥有泛型，后来的1.6/7/8三个弟弟有了泛型，但是为了和大哥一样，兄弟三人决定，代码中泛型你写任你写，编译的时候我就悄悄的去掉，不留下一片云彩。为他们的友谊感到高兴。  
说白了就是List<String>和List<Integer>在编译后，哪分什么你我，他们都一样，都是List.  
代码如下：

public static void main(String[] args) {
        
            List<String> list = new ArrayList<>();
            list.add("test");
            apply(list);
        }
    	public static void apply(List<String> list){
        
            for (String s : list) {
        
                System.out.println(s);
            }
        }

反编译后的字节码如下：  
![字节码][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 1]  
我们会发现虽然我们指定的泛型是String类型，但是在17的时候我们会发现，里面存放的是Object类型，在22的时候会进行cast强转，将object强转为String，即上面的代码其实编译后是这样的：

public static void apply(List list){
        
            for (Object s : list) {
        
                System.out.println((String)s);
            }
        }

说白了，泛型就是帮你强转了类型，让你的代码更美观。

##### 回到原题 #####

public static void main(String[] args) {
        
           apply(new Double(1.0), new Integer(1));
            
        }
    	public static <T, S extends T> void apply(T t, S s){
        
            System.out.println(t);
            System.out.println(s);
        }

这段代码在编译后是这样的  
![节码][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 2]  
从4和11发现T和S都是Object类型，问题就迎刃而解了，都是Object，何来类型错误之说。  
但是为什么都是Object类型呢，S不是继承了T么？从类型擦除的角度来说，编译的时候T和S都会被擦除掉，但是S是T的子类型这一点是肯定的。  
但是在编译的时候，T的类型根本没有确定，编译器也不知道T到底是什么类型，所以就给他一个Object类型，所以S extends Object。这时候可能你要杠了，调用的时候不是指定了T是Double了么，T不就是Double，S就应该是Double子类。但是要明白的是，方法都是先编译后才能被调用，我都编译完了，你传入的T是只能告诉我t的类型是Double，并不能改变其他事实更不会影响S，我的S想是啥就是啥。  
修改代码后：

public <T extends String, S extends T> void apply(T t, S s){
        
            System.out.println(t);
            System.out.println(s);
        }

字节码如下：  
![字节码][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 3]  
从4和11看出T是String(Sting没有子类)，S也是String，即在指定了具体泛型类型之后，编译器知道T是String，S被T约束。

##### 总结 #####

说白了泛型需要先声明再使用。方法中的泛型要不然在类上定义，在创建类的时候指明具体类型，要不然就在定义泛型方法的时候指明具体类型。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 4]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20200727231210173.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20200727233308984.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 2]: https://img-blog.csdnimg.cn/20200727234140956.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 3]: https://img-blog.csdnimg.cn/20200727235017263.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ_size_16_color_FFFFFF_t_70 4]: https://img-blog.csdnimg.cn/20200728002443107.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L0NhdGNoTGlnaHQ=,size_16,color_FFFFFF,t_70