Groovy和Java静态变量行为

2019年7月20日 341次阅读

我最近一直在做一些
Java和Grails3编程.

我发现了一些我不理解的行为.

有两个groovy类：

class Super {
    static String desc = "Super"
}

和

class Sub extends Super {
    static String desc = "Sub"
}

现在,我在Java和Groovy中运行以下代码：

Super aSuper = new Super();
Sub sub = new Sub();
Super superSub = new Sub();

System.out.println("Super object: [" + aSuper.getDesc() + "]"); //1
System.out.println("Sub object: [" + sub.getDesc() + "]");//2
System.out.println("Sub object, super reference: [" + superSub.getDesc()+ "]");//3
System.out.println("Super reference: [" + Super.getDesc()+ "]");//4
System.out.println("Sub reference: [" + Sub.getDesc()+ "]");//5

1,2,4,5的结果在两种情况下都相同且易于预测([Super],[Sub],[Super],[Sub])

但是在第3种情况下运行时,代码表单上的Java类输出将是：Sub对象,超级引用：[Super]
从Groovy中它将导致：Sub对象,超级引用：[Sub]

为什么Groovy对静态变量的解释不同？

最佳答案 正如@dmahapatro所述,它基于
Multi Methods,但这是一个微妙的例子.在文档中,该示例基于给定参数的方法选择,其中变量是参数所拥有的实例的父类型. Java在编译时选择方法签名,因为那时它只有参数变量声明(Object)的类,而不是实例的类(String). Groovy延迟了它的决定,因此它可以确定参数变量引用的实例的类,并使用它来确定哪个方法签名最匹配.

在上面的示例中,由于您指的是基于类的静态成员,而不是基于实例的,因此Java的继承思想(虚方法)不起作用. Java再次从引用变量Class(Super.desc)中选择静态. Groovy再次采用延迟的,基于实例的路径,并询问实例它的静态成员是什么(Sub.desc).

请注意,大多数人会考虑案例3的错误样式(询问实例类静态成员的值是什么),所以它通常不会出现.

点赞