这是我参与11月更文挑战的第14天，活动详情查看：2021最后一次更文挑战
问题
在知乎上遇到这么个问题，泛型方法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约束。
总结
说白了泛型需要先声明再使用。方法中的泛型要不然在类上定义，在创建类的时候指明具体类型，要不然就在定义泛型方法的时候指明具体类型。
