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

问题

今天在知乎上遇到这么个问题，泛型方法apply定义了泛型T和S，S extends T，按理说S只能是T的本身及其子类型，但实际中，参数s传入任何类型都能正常运行。问题如下：

看到这个问题，自己第一反应也是很纳闷，为什么调用apply的时候，T指定了Double，S传入Integer为什么还不报错了，自己还特地去运行了一下，居然能正常运行。度娘也不给力，百度了大半个小时也没找到什么结果。真的是想要放弃，毕竟在知乎也是萍水相逢，就像爱情一样，错过了就错过了。但是作为一名初出茅庐老程序猿我告诉自己我不能。苦思冥想，峰回路转，记起前两天看的类型擦除，突然有了灵感，决定研究研究。

类型擦除

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

代码字节码如下：

我们会发现虽然我们指定的泛型是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);
   }

这段代码字节码如下：

从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想是啥就是啥。

修改代码，指明T的具体类型：

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

字节码如下：

从4和11看出T是String(Sting没有子类)，S也是String，即在指定了具体泛型类型之后，编译器知道T是String，S被T约束。

总结

说白了泛型在编译时需要先声明，才能起到约束作用。方法中的泛型要不然在类上定义，在创建类的时候指明具体类型，要不然就在定义泛型方法的时候指明具体类型。

就酱，共勉，晚安。