我最近一直在做一些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 object, super reference: [Super]
从Groovy中,它将导致:Sub object, super reference: [Sub]
为什么Groovy对static
变量的解释不同?
答案 0 :(得分:2)
正如@dmahapatro所述,它基于Multi Methods,但它是一个微妙的例子。在文档中,该示例基于给定参数的方法选择,其中变量是参数所拥有的实例的父类型。 Java在编译时选择方法签名,因为那时它只有参数变量声明(Object)的类,而不是实例的类(String)。 Groovy延迟了它的决定,因此它可以确定参数变量引用的实例的类,并使用它来确定哪个方法签名最匹配。
在上面的示例中,由于您指的是基于类的静态成员,而不是基于实例的,因此Java的继承思想(虚拟方法)不起作用。 Java再次从引用变量Class(Super.desc)中选择静态。 Groovy再次采用延迟的,基于实例的路径,并询问实例它的静态成员是什么(Sub.desc)。
请注意,大多数人会考虑案例3的错误样式(询问实例类静态成员的值是什么),所以它通常不应该出现。