Question

我最近一直在做一些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变量的解释不同？

Answer 1

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

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

请注意，大多数人会考虑案例3的错误样式（询问实例类静态成员的值是什么），所以它通常不应该出现。

Groovy和Java静态变量行为

1 个答案: