为什么可以为 JVM 构建自定义语言，例如 Groovy、Scala、Clojure、Kotlin？

Question

这些语言在很多方面与 Java 不同，例如 OO 系统、类型系统（最显着）。

实际的问题是 JVM 是否在后台跟踪对象？ JVM 内部有 object 吗？这些语言的创建者有责任与 Java 世界互操作，还是“默认”实现？

Answer 1

实际的问题是 JVM 是否在后台跟踪对象？

是的，确实如此。垃圾回收是 JVM 的职责。

JVM里面有对象吗？

是的，有创建类实例的字节码。此外，实例方法的动态分派由 JVM 完成。

这些语言的创建者有责任与 Java 世界互操作，还是“默认”实现？

这是唾手可得的成果，不这样做是愚蠢的。此外，并非所有 JVM 语言都重新发明轮子，只在适当的时候使用 JRE 类。这很可能包括 String、原始类型及其装箱形式和数组。

Answer 2

所有 JVM 语言都编译为“Java 字节码”。实际上，JVM 对编程语言 Java 没有任何概念。 JVM 规范 specifies 一个“class 文件”，它必须满足某些规则。只要您提供兼容的class 文件，由编译器创建，例如，您的代码将在 JVM 上运行。例如，这就是 Kotlin 所做的。