当泛型遇到重载

x33g5p2x  于2021-12-10 转载在 其他  
字(0.8k)|赞(0)|评价(0)|浏览(311)

当泛型遇到了重载,好戏,就发生了。

请看下面代码:

问题:代码能正确编译吗?

这个题目是一个考察泛型的题目。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文件中,其他都相同仅仅返回值不同的两个方法能共存的原因】

相关文章