我们有Jython, JRuby，Groovy它们是动态类型的并且会运行JVM。我知道这些语言编译为字节码。
其他语言如Scala支持类型推断，很明显编译器会为我们推断类型。
但Java它是一种静态语言，它编译为字节码，这是否意味着字节码支持动态类型？
例如在Java我们需要在编译时声明变量类型，并且永远不能改变它。但是如果Python我们不必声明类型，但我们可以在运行时将任何类型的值分配给同一个变量。
动态类型如何在静态语言上工作？
问问题
4321 次
3 回答
7
但是Java是一种静态语言，它编译成字节码，这是否意味着字节码支持动态类型？
是的，它确实是这个意思。
您会看到 Java 不是一种完全静态类型的语言。每当您将对象从类型转换为子类型时，JVM 都会执行动态（运行时）类型检查以检查对象是否真的是子类型的实例。Usinginstanceof是动态类型检查的另一个例子。
当您使用反射 API 时，甚至在您使用泛型时，动态类型检查也会在后台使用。
动态类型如何在静态语言上工作？
如果它是一种纯粹的静态类型检查语言，那么它不是。例如，Pascal 是一种具有（纯）静态类型的强类型语言。但大多数现代编程语言至少支持某种程度的运行时类型检查。许多动态类型语言要么具有可选的静态类型，要么具有使用类型推断来获取与类型相关的错误的开发人员工具。
顺便说一句，一种语言既可以是静态类型的，也可以使用类型推断。类型推断应被视为显式类型声明的替代方案，而不是静态类型的替代方案。
于 2012-07-10T06:05:56.517 回答
6
正如其他人指出的那样，动态语言仅意味着某些（通常是所有）类型检查完全在运行时完成。即使在非常静态类型（甚至几乎无类型（x86 机器代码））的环境中，您也可以构建非常动态的语言。
Java 也一直在为动态语言添加越来越多的本地支持。Sun 发表了一篇很好的概述，说明了这意味着什么以及它如何帮助动态语言在 JVM 上表现良好并让您感到宾至如归。
于 2012-07-10T06:09:41.257 回答
5
你混淆了语言和架构。一般来说，架构对类型一无所知。动态类型是指对象携带类型信息。您可以将动态类型语言视为只有“Object”类型和大量“instanceof”检查的 Java。
于 2012-07-10T06:04:32.413 回答