1.泛型
public interface Demo {
void test(T t);
}
public class DemoImpl implements Demo {
//重写父类方法。 第一点 !1
@Override
public void test(User user) {
// TODO Auto-generated method stub
}
}
java的泛型实现是基于类型擦除,编译之后没有具体的类型信息的,基于这样信息,提出以下问题:
1>:由于java泛型基于类型擦除,所以,接口Demo编译之后的方法信息:
void test(Object obj);
而实现类DemoImpl中的具体实现方法经过编译是:
void test(User user);
这样的问题是:按照我们的理解,方法实现,参数和方法名,必须保持一致才符合语法的定义。那么java是怎么做到以上维持重写方法的语义呢?
我们通过javap命令查看DemoImpl.class的字节码信息(如图):
如上图:经过编译之后,在DemoImpl.class信息中存在两个重载的test方法;一个是入参是Object,和接口中定义的方法一致,另一个是具体实现定义的入参User;
其中:入参是Object的方法被声明是一个桥方法,并且表明为ACC_SYNTHETIC,这个标志声明的是编译器为我们生成的方法;
在入参为Object的方法中有两个指令需要我们关注:checkcast,转型:将Object转为User,invokevirtual,调用入参为User的方法。
至此,我们就搞清楚了jvm层面泛型方法实现的具体形式。
2>:有两个方法如下:
这段代码在JDK1.6版本下编译可通过
根据我们对方法签名的理解和泛型擦除的理解:以上两个方法的签名是一致的,按语法来讲是不应该通过编译的,事实是通过了编译,并且能够正常调用。
引起这种情况的原因是:java语言层面和jvm层面对方法签名不同的定义;
java语言规定的就是我们平时理解的,方法名和参数列表
jvm规定的是除了方法名和参数列表,还包括了返回值类型,可检查异常等信息。
只是恰好在jdk1.6的时候javac编译这段代码并没有严格按照语言规范的定义去编译,让我们发现了这个问题。
注:此问题已经在1.6之后的版本修复了。
从上面两个问题可以看出来,java语言规范是针对java和编译器而言,规定我们可以做什么,不可以做什么,而实际上jvm的实现里面为了实现具体功能有时会打破这种规范。
又比如:
1.8之前规定接口中不能有具体的实现方法,而1.8版本新增的一个特性就是接口中可以有默认的实现方法了,这个情况也表明了在jvm的底层是允许接口中存在具体实现方法的。
3>关于泛型方法的使用
如图:
对于test方法而言,可以接受任意类型的参数,如main方法中调用,一个1,一个字符串穿参,那么返回值类型是什么?
对于这种不规定具体泛型的调用,我们思考:返回值类型和两个入参类型一致,说明返回值类型是两个入参类型的最小共同超类,如上方法就是Serializable;
那么这个方法在调用时怎么规定具体的泛型信息呢,如下图调用即可: