什么是Java别名(aliasing)

别名意味着有多个别名指向同一个位置，且这些别名有不同的类型。

在下面的代码例子中，a和b是两个不同的名字，有不同的类型A和B，B继承A

B[] b = new B[10];A[] a = b;a[0] = new A();b[0].methodParent();

在内存中，它们指向了同一个位置，如下：

内存中的该位置同时被a和b指向，在运行期间，方法的调用由实际存储的对象来决定。

Java是如何处理别名问题的

如果你拷贝以下代码到你的浏览器，会发现没有编译错误，

package simplejava;class A {    public void methodParent() {        System.out.println("method in Parent");    }}class B extends A {    public void methodParent() {        System.out.println("override method in Child");    }    public void methodChild() {        System.out.println("method in Child");    }}public class Q20 {    public static void main(String[] args) {        B[] b = new B[10];        A[] a = b;        a[0] = new A();        b[0].methodParent();    }}

但是当你运行以上代码的时候，结果会输出如下错误信息：

Exception in thread "main" java.lang.ArrayStoreException: simplejava.A

    at simplejava.Q20.main(Q20.java:24)

原因是因为Java是在运行期间处理别名的，在运行期间，知道第一个元素应该是B对象，而不是A对象。

因此，如果代码改成如下所示将会运行成功：

B[] b = new B[10];A[] a = b;a[0] = new B();b[0].methodParent();

结果打印：

override method in Child

 

译文链接：