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

问题

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

看到这个问题，自己第一反应也是很纳闷，为什么调用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);
        }
    }

反编译后的字节码如下：

我们会发现虽然我们指定的泛型是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想是啥就是啥。
修改代码后：

	 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约束。

总结

说白了泛型需要先声明再使用。方法中的泛型要不然在类上定义，在创建类的时候指明具体类型，要不然就在定义泛型方法的时候指明具体类型。