2

我为静态类型语言构建了一个小型编译器。在了解了静态语言的工作原理之后，我无法深入了解像 groovy 这样的动态语言。

在构建我的编译器时，我知道一旦我生成了机器级代码，就无法更改它！（即它的run-time）。

但是 Groovy 是如何做这些神奇的事情的，比如在如下语句中推断类型：

def a = "string"
a.size()

就我而言，groovy 必须在运行 line 之前找到 type ais of 。似乎它是在编译时这样做的（在构建 AST 时）！但是这种语言被称为动态的。stringa.size()

我很困惑，请帮我弄清楚。

谢谢。

4

1 回答 1

3

Groovy 不是简单地“调用”一个方法，而是通过元对象协议调度它。方法调用作为消息发送给对象，对象可以响应也可以不响应。使用动态类型时，对象类型无关紧要，只要它响应该消息即可。这称为鸭子打字。

当您反编译 Groovy 代码时，您可以看到它（虽然不容易）。您可以groovyc使用其他工具进行编译和反编译。我推荐jd-gui。由于 Groovy 的方法缓存，您不会看到该方法被显式调用（这样做是为了实现 Groovy 的简洁性能）。

对于一个简单的脚本，如：

def a = "abcdefg"
println a.substring(2)

这将是生成的代码：

CallSite[] arrayOfCallSite = $getCallSiteArray(); Object a = "abcdefg";
return arrayOfCallSite[1].callCurrent(
    this, arrayOfCallSite[2].call(a, Integer.valueOf(2))); return null;

并且方法调用被“调度”到对象，而不是直接调用。这是一个类似于 Smalltalks 和 Ruby 方法分派的概念。正是由于这种机制，您可以拦截 Groovy 对象上的方法和属性访问。

从 Groovy 2 开始，Groovy 代码可以静态编译，因此就像您的编译器一样。

于 2012-11-24T13:56:54.877 回答