当泛型遇到了重载,好戏,就发生了。
请看下面代码:
问题:代码能正确编译吗?
这个题目是一个考察泛型的题目。java里面,泛型实际上是“伪泛型”,并不像C#那样是实际上的泛型。
IDE会提示我们下面的错误:
Method test(List) has the same erasure test(List) as another method in type TR
在java中,泛型只存在于源代码之中,在编译过后的代码中,泛型信息已经被“擦除”了。上面的代码被编译之后的样子应该是下面类似的代码:
两个函数具有相同的签名,当然编译器会拒绝为我们编译这样的代码。
在java这种伪泛型中,List和List,**编译之后,**是相同的类型。
但是在c#这种真实泛型中,上面两个就是不同的类型了。
故事到这里就结束了吗??显然没有
------------------------------------昏昏咯咯-------------------------------------
看下面代码:
问,这段代码能正常编译吗?
熟悉class文件结构的人能知道,这段代码能正常编译(重载成功了!)。而且还能正常执行呢!!!
代码输出:
integer
string
疑问来了。jvm规定,函数的返回值并不参与“函数签名”的生成,那么仅仅改变了函数返回值,从而让不能编译的代码通过了编译并且能正常执行了,这不是很矛盾吗?
原因在于,虽然函数的返回值不参与函数签名的生成,但是在class文件中,只要描述符不完全一致的两个方法就能共存于一个class文件中。
【java代码中,函数的特征签名仅仅包括方法名称、参数类型以及参数顺序。但在字节码中,特征签名还包括了方法的返回值以及受查异常表,这就是为什么在class文件中,其他都相同仅仅返回值不同的两个方法能共存的原因】