Java的Object.hashCode()的返回值到底是不是对象内存地址？

关于这个问题，查阅了网上的资料，发现证明过程太繁琐，这里我用了反证法。

java.lang.Object.hashCode()的返回值到底是不是对象内存地址？

hashCode契约

说到这个问题，大家的第一反应一定和我一样——去查Object.hashCode的源码，但翻开源码，看到的却是这样的（Oracle JDK 8）：

 /**
      * Returns a hash code value for the object. This method is
      * supported for the benefit of hash tables such as those provided by
      * {@link java.util.HashMap}.
      * <p>
      * The general contract of {@code hashCode} is:
      * <ul>
      * <li>Whenever it is invoked on the same object more than once during
      *     an execution of a Java application, the {@code hashCode} method
      *     must consistently return the same integer, provided no information
      *     used in {@code equals} comparisons on the object is modified.
      *     This integer need not remain consistent from one execution of an
      *     application to another execution of the same application.
      * <li>If two objects are equal according to the {@code equals(Object)}
      *     method, then calling the {@code hashCode} method on each of
      *     the two objects must produce the same integer result.
      * <li>It is <em>not</em> required that if two objects are unequal
      *     according to the {@link java.lang.Object#equals(java.lang.Object)}
      *     method, then calling the {@code hashCode} method on each of the
      *     two objects must produce distinct integer results.  However, the
      *     programmer should be aware that producing distinct integer results
      *     for unequal objects may improve the performance of hash tables.
      * </ul>
      * <p>
      * As much as is reasonably practical, the hashCode method defined by
      * class {@code Object} does return distinct integers for distinct
      * objects. (This is typically implemented by converting the internal
      * address of the object into an integer, but this implementation
      * technique is not required by the
      * Java&trade; programming language.)
      *
      * @return  a hash code value for this object.
      * @see     java.lang.Object#equals(java.lang.Object)
      * @see     java.lang.System#identityHashCode
      */
     public native int hashCode();

Object.hashCode()是一个native方法，看不到源码（Java代码，Oracle的JDK是看不到的，OpenJDK或其他开源JRE是可以找到对应的C/C++代码）。

上面这段注释指出了Object.hashCode()在JRE（JavaRuntime Library）中应该遵循的一些契约（contract）： 
（PS：所谓契约当然是大家一致达成的，各个JVM厂商都会遵循）

（1）一致性（consistent），在程序的一次执行过程中，对同一个对象必须一致地返回同一个整数。

（2）如果两个对象通过equals(Object)比较，结果相等，那么对这两个对象分别调用hashCode方法应该产生相同的整数结果。（PS：这里equals和hashCode说的都是Object类的）

（3）如果两个对象通过java.lang.Object.equals(java.lang.Ojbect)比较，结果不相等，不必保证对这两个对象分别调用hashCode()也返回两个不相同的整数

 因为每个对象的内存地址都是不一样的，如果hashCode()的返回值是对象内存地址，那么两个对象分别调用hashCode()方法将会返回两个截然不同的整数，这与契约三矛盾了，因此java.lang.Object.hashCode()的返回值不是对象内存地址！

在这里我觉得hashCode()方法的返回值是对象内存地址通过hash算法计算之后的哈希码值，因此才会出现两个对象分别调用hashCode()返回同一个值。