当泛型遇到重载

心已赠人 2023-10-01 09:02 1阅读 0赞

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

请看下面代码：

![img][]

## 问题：代码能正确编译吗？ ##

这个题目是一个考察泛型的题目。java里面，泛型实际上是“伪泛型”，并不像C\#那样是实际上的泛型。

IDE会提示我们下面的错误：

Method test(List) has the same erasure test(List) as another method in type TR

在java中，泛型只存在于源代码之中，在编译过后的代码中，泛型信息已经被“擦除”了。上面的代码被编译之后的样子应该是下面类似的代码：

![img][img 1]

两个函数具有相同的签名，当然编译器会拒绝为我们编译这样的代码。

在java这种伪泛型中，List和List，\*\*编译之后，\*\*是相同的类型。

但是在c\#这种真实泛型中，上面两个就是不同的类型了。

故事到这里就结束了吗？？显然没有

\------------------------------------昏昏咯咯-------------------------------------

看下面代码：

![img][img 2]

## 问，这段代码能正常编译吗？ ##

熟悉class文件结构的人能知道，这段代码能正常编译（重载成功了！）。而且还能正常执行呢！！！

![img][img 3]

代码输出：

integer
    string

疑问来了。jvm规定，函数的返回值并不参与“函数签名”的生成，那么仅仅改变了函数返回值，从而让不能编译的代码通过了编译并且能正常执行了，这不是很矛盾吗？

**原因在于**，虽然函数的返回值不参与函数签名的生成，但是在class文件中，只要描述符不完全一致的两个方法就能共存于一个class文件中。

【java代码中，函数的特征签名仅仅包括方法名称、参数类型以及参数顺序。但在字节码中，特征签名还包括了方法的返回值以及受查异常表，这就是为什么在class文件中，其他都相同仅仅返回值不同的两个方法能共存的原因】

[img]: https://img-blog.csdnimg.cn/img_convert/ccf1c92252acf91deac4a918a438b1de.png
[img 1]: https://img-blog.csdnimg.cn/img_convert/90618123e67a7f6c0839c380761a632f.png
[img 2]: https://img-blog.csdnimg.cn/img_convert/1170f44874ad0f0ecf89e32bf59ec8fb.png
[img 3]: https://img-blog.csdnimg.cn/img_convert/6bf9a744fa3c99db1db874acd82f088d.png

发表评论取消回复

表情：

评论列表（有 0 条评论，1人围观）

还没有评论，来说两句吧...

相关阅读

相关遇到的Java泛型模糊问题实例

在Java编程中，泛型是一种可以让我们编写更灵活、可复用代码的方式。然而，有时候可能会遇到一些模糊的问题，下面我会给出一个具体的例子。 **问题实例：** ```java

た入场券/ 2024年11月16日 01:06/ 0 赞/ 25 阅读

相关 Java泛型设计不当引发编译警告

Java泛型（Generics）是一种支持泛型编程的工具，它允许在编译时检查类型安全，从而避免运行时的ClassCastException。然而，如果泛型使用不当，可能会引发编

心已赠人/ 2024年11月01日 12:21/ 0 赞/ 21 阅读

相关遇到的Java泛型使用误区案例

在Java编程中，泛型是一种强大的工具，用于创建可重用的类型安全的数据结构。然而，在实际应用中，有时候会出现一些误解和误区。以下是一个案例： **误区1：不理解抽象类与接口的

一时失言乱红尘/ 2024年10月07日 06:18/ 0 赞/ 60 阅读

相关遇到的Java泛型使用误区

Java泛型是Java语言中的一个重要特性，用于创建高度可重用和类型安全的类。然而在实际使用中，有时会出现一些误区。以下是一些常见的误区： 1. **误认为泛型可以消除类型擦

ゝ一纸荒年。/ 2024年09月20日 19:00/ 0 赞/ 69 阅读

相关泛型-通配泛型、消除泛型

一：通配泛型有三类：<?>非受限通配、<? extends T>受限通配、<? super T>下限通配案例一： package fanxin;

小咪咪/ 2024年02月18日 20:31/ 0 赞/ 80 阅读

相关当泛型遇到重载

当泛型遇到了重载，好戏，就发生了。请看下面代码： ![img][] 问题：代码能正确编译吗？这个题目是一个考察泛型的题目。java里面，泛型实际上是“伪泛型”，

心已赠人/ 2023年10月01日 09:02/ 0 赞/ 2 阅读

相关泛型编程&&运算符重载——简单示例

if 0 // 函数模板 template<typename T> T max(T a, T b, T c) { T max_

朱雀/ 2022年12月10日 03:54/ 0 赞/ 115 阅读

相关 Java泛型通配符解决了泛型的许多诟病(如不能重载)

泛型： package Java基础增强; import java.util.ArrayList; import java.util.Lis

刺骨的言语ヽ痛彻心扉/ 2022年08月08日 00:46/ 0 赞/ 58 阅读

相关泛型（二）泛型类、泛型方法

需求：DAO定义了一个泛型接口 StudentDAO和CustomerDAO分别继承DAO接口两个实体类Student和Customer分别属于两个类 TestStud

ゝ一世哀愁。/ 2022年07月24日 12:19/ 0 赞/ 387 阅读

相关 Java中的泛型与重载

这一篇文章是关于Java中泛型中重载的问题，我们应该知道，方法的签名包括，参数类型，参数数量，有无返回值，还有方法名称四个条件。其中可能和泛型有关的问题就是参数的类型、返回值这

深碍√TFBOYSˉ_/ 2022年05月30日 07:14/ 0 赞/ 177 阅读