什么是编译型语言？什么是解释型语言？它们的区别是什么？

编译型语言与解释型语言的区别

初学者在学习编程语言时，常常不了解所学语言是编译型还是解释型。编译型语言需要先编译成机器指令的可执行文件，如C语言生成.exe文件。解释型语言则是逐条执行，像Java语言，它边解释边执行，出错时停在错误代码处。

为什么存在两种编程语言？

编译型语言通常跨平台性较差，因为在不同操作系统下，需要不同的编译工具和机器代码。例如，C语言在移植到新平台时需要重新编译。相对地，解释型语言更适合跨平台使用，Java程序通过编译器编译成与平台无关的class字节码文件，然后由特定平台的Java虚拟机解释执行。因此，Java的跨平台性取决于Java虚拟机。

Java虚拟机的作用

要运行Java程序，需要安装包含JVM的JDK。JVM通过类加载器加载字节码文件，校验无误后，解释器把字节码翻译成机器码，供操作系统调度执行。虽然字节码与平台无关，但机器码是平台特定的，所以需要JVM作为中间件来转换。

JVM执行流程

1. 使用类加载器装载class文件
2. 字节码校验，包括版本兼容性、系统完整性、栈溢出、参数类型和类型转换的正确性
3. 解析器将通过校验的字节码解析为机器码

解释型语言的编译过程

解释型语言如Python也是跨平台的，它将代码先编译成pyc二进制文件，然后由Python虚拟机解释执行。虽然编译是自动过程，但解释型语言性能通常不及编译型语言，因为虚拟机的存在增加了额外层次，从而减慢运行速度和增加内存需求。

总结

编译型语言运行快、占用内存小，但跨平台性差。解释型语言跨平台性好，但运行速度慢、内存占用大。两者各有优缺点，根据需求选择不同的编程语言。