深入 -- 为什么不能根据返回类型来区分重载？

昨天上网乱翻，看到一个问题，挺有意思的。

重载（方法名相同、参数列表不同）这个概念，相信大家都知道了，很多面试都会问到。

但为什么不能根据返回类型来区分重载？

首先重载是Java多态的一种体现，它实现的是编译时的多态。

举个例子：

float max(int a, int b);
int max(int a, int b);
上面两个方法，别人调用的时候，不要返回值，直接就是：max(...)，你能区分出它想调用哪个函数吗？

当调用max(1, 2);时无法确定调用的是哪个，单从这一点上来说，仅返回值类型不同的重载是不应该允许的。

另外，在Java虚拟机中也有提到重载的问题：

在《深入理解Java虚拟机》中，6.3.6章节有这样一段：

    在Java语言中，要重载一个方法，除了要与原方法具有相同的简单名称之外，还要求必须拥有一个与原方法不同的特征签名；

    特征签名就是一个方法中各个参数在常量池中的字段符号引用的集合，也就是因为返回值不会包含在特征签名之中，因此Java语言里面是无法仅仅依靠返回值的不同来对一个已有方法进行重载。

    但在Class文件格式之中，特征签名的范围更大一些，只要描述符不是完全一致的两个方法也可以共存。

    也就是说，如果两个方法有相同的名称和特征签名，但返回值不同，那么也是可以合法存于同一个Class文件中的。

Class文件中同方法名、同参数、不同返回值可以，那为什么Java文件中不行呢？

因为Java语言规范的规定，所以编译时会出现错误。

那为什么Class文件可以呢？因为Java虚拟机规范和Java语言规范不同，两者是分开的...

如有更多兴趣，可以看看这篇文章

Java语言层面和JVM层面方法特征签名的区别 及 实例分析

奈何水平有限，再挖就挖不动了.....