深圳做的好的电子行业招聘网站,衡阳网站排名,库存管理系统,做网站前台和后台是什么编译型语言与解释型语言 首先要说明#xff0c;编译型语言与解释型语言这种分类方法是不科学的#xff0c;或者说已经过时了#xff0c;但是这种称呼大抵还是能够让人明白我们将要讨论的是什么东西。 文中所列参考是笔者认为比较有帮助的一些扩展阅读内容。 首先贴一个很形…编译型语言与解释型语言 首先要说明编译型语言与解释型语言这种分类方法是不科学的或者说已经过时了但是这种称呼大抵还是能够让人明白我们将要讨论的是什么东西。 文中所列参考是笔者认为比较有帮助的一些扩展阅读内容。 首先贴一个很形象的比喻来自知乎孛尔只斤南丁 假设厂里来了两个新工人一个叫编译另一个叫解释。厂长程序员给他们安排了一项任务需求并发放了操作说明源代码。 编译这名工人的做法是先完整的看一遍操作说明遇到错别字或者不明白的地方就去问厂长直到操作说明最终成为一个没有错别字且他自己完全能够理解的东西。然后他把操作说明的内容理解消化编译并且变成记忆可执行程序。之后每次需要完成任务的时候就靠自己的理解和记忆去执行不再需要操作说明。 我们再看解释这个工人。他拿到操作说明二话不说直接上手读一条操作一步再读一条操作下一步如此重复。就算是操作说明中有错别字或者他看不懂的地方在没有读到那一条之前他是不知道的也不影响他进行前面的操作等真的读到错别字或者不能理解的条目再去问厂长。而且不管他执行这个任务执行了多少次每次都是需要看着操作说明一步一步执行。 那这两个工人谁好谁坏呢难说。 如果给他们安排的任务以后要重复很多次而且步骤繁多但是相对稳定不需要频繁调整那么编译工人的工作效率可能会更高一些。因为任务相对稳定不需要调整所以他只要第一次把不明白的地方跟厂长问清楚自己理解消化记住了以后的执行都是他自己内化理解的东西做起来很快。 如果任务步骤相对少呢编译工人其实也不会比解释工人高效出多少。甚至可能解释工人拿来就上手编译工人还没读完人家已经操作完了。又或者任务不需要重复执行如实验代码那么对着操作说明直接干就是了没必要理解消化记忆。再者任务可能需要灵活性每天需要根据厂长甚至是客户的要求改来改去解释工人可能更加出色。每次改动编译工人还要重新看一遍完整的操作说明当然了我们可以把操作说明分章节那他只会看更新的章节但是解释工人就不用这么麻烦反正他都是读一条操作一步你改不改动影响不大。 传统认知中的编译型、解释型、混合型 编译型 编译型需通过编译器compiler将源代码编译成机器码然后链接为可执行文件。这个过程对于在 Linux 下编译过代码的大家来说应该比较熟悉了这里以 gcc 的工具链为例 源代码(.c/.cpp) → 预处理(cpp) → 编译(cc1) → 汇编(as) → 链接(ld) → 可执行文件(.elf) 整个过程可参考从C源代码到可执行文件的四个过程预处理、编译、汇编、链接 编译把源代码编译成机器码编译的过程又可分为 源代码 → 词法分析 → 语法分析→ 语义分析 → 中间代码生成 → 优化 → 目标代码生成 → 目标代码 这就是大家熟悉的编译原理中学习过的的前中后端了。 链接把各个模块的机器码和依赖库串连起来生成可执行文件。链接也是有许多学问的又可分为静态链接和动态链接。可参考Linux下的ELF文件、链接、加载与库含大量图文解析及例程。 主流实现为编译型的语言有C、C、Object-C、swift 等。值得一提的是Java 很多时候也被分类为编译型这正是我们说所谓编译型语言的说法过时的原因我们会在后面详细讨论 Java。 解释型 解释性语言的程序不需要编译相比编译型语言省了道工序解释性语言在运行程序的时候才逐行翻译。代表有 Python、JavaScript、PHP 等。 混合型 混合型编译器将源码编译成中间码而不再是二进制机器码然后中间码需要被即时编译器翻译成目标平台的本地代码。待表有C#、Java。 编程语言及其实现 读者应该注意到上一小节我们的提法是编译型、解释型、混合型而不是编译型语言、解释型语言、混合型语言。 是这样的即使有所谓的编译型、解释型之分这种分类也是相对于语言的实现而言而非语言本身。语言的本身只是规定了源代码的语法至于怎样将源代码执行起来这应当称为是语言的实现。那么对于语言的实现我们将其可以分为编译型、解释型和混合型。 以下引自计算机语言分类 将编程语言分类为编译型语言、解释型语言被认为是不科学的因为很多语言既可以认为是解释型、也可以认为是编译型这种分类方式被指出是不科学的见于RednaxelaFX 在 虚拟机随谈一解释器树遍历解释器基于栈与基于寄存器大杂烩 中提到的我是倾向于避开把编程语言描述为“编译型”或者“解释性”的。 详细地下面以 Java 和 Python 为例子来解释这个问题。 Java 是这样从源码到被执行的大致地~: Java 源代码 - javac 将其转为字节码二进制码-虚拟机中执行。 Java 按这种分类方式难以分类的原因就如上所示首先编译其次在虚拟机中解释执行。为何说后者是解释因为传统上我们认为从字节码到对应平台的机器码需要不同平台上的 JVM 提供支持我们认为这个动作就是解释。 这样一来 Java 就难以按照这个分类方式进行分类了。实际上我还是倾向于将 Java 称之为编译型语言因为完全可以将 JVM 看做底层实现。这里粗粒度不宜过细因为本质上说机器码被 CPU 接收然后运行其中也涉及一段解释的过程。如此一来世上只有解释型语言。 Python 虽然被普遍认为一门解释型语言按理说应当不涉及编译过程。事实上Python 解释器会将源代码转换为字节码.pyc然后再由 Python 解释器来执行这些字节码。本质上Python 解释器不就是完成了编译器执行器这个模块的任务既然含有编译过程那么其被称为解释型语言就具有一定不合理性。 R 大所认为的语言一般只会定义其抽象语义而不会强制性要求采用某种实现方式。而编译、解释只是实现方式的一个步骤或者方式按这种分类是不合理的。 Python解释器与Java虚拟机 Python、Java对比的例子经常被用来说明这个问题。 Python 和 Java 的执行过程中都有字节码.py和.class的概念它们的字节码都是既可以编译执行也可以解释执行的这取决于后续处理这些字节码的 VM 的实现。 Python 的 VM 或者说 Runtime 有多种实现CPythonJPythonPyPyironpython等尤其是 PyPy 中是支持 JIT 即时编译的还有 ironpython 的机制几乎就和 .NET 平台上的其他语言一样了。这使得 Python 也很难被直接归类为所谓的 ”解释型语言“ 了。但是 Python 中字节码(.pyc)不是必须的而是可以直接由 Python解释器对源代码解释执行。可参考博客python解释器。Java 不同于 Python它是一定要先编译一步拿到字节码 (.class) 的这也是为什么 Java 常被分类为 “编译型语言”。但是在 JVM 拿到字节码之后Java 的 JVM 的实现就很多样了可以解释可以编译编译又可以分为 JIT 和 AOT。选择多多细节多多。因此Java 也可以被认为是混合型。可参考Java一次编译到处运行是如何实现的 和 JIT动态编译和AOT静态编译编译技术比较 以下参考自凭啥Java的运行环境称虚拟机Python的只能称解释器 看到Stackoverflow上有个问题在讨论Java和Python的对比其中就有人问答为啥Java的运行环境被称之为JVM而Python的只能叫做Interpreter。 这个问题估计想过的人不多先找维基百科看一下虚拟机的定义。 虚拟机的定义有2个一种是类似Vmware的系统虚拟机另一种是虚拟机称之为程序虚拟机诸如JVMCLR就是最常见到的虚拟机。 程序虚拟机也称作托管运行时环境运行这个虚拟机时就好比普通的OS中的一个进程。当这个进程启动时虚拟机启动当进程销毁时虚拟机销毁。使用虚拟机的目的就是提供一个和平台无关的编程环境。 JVM中的执行引擎只能处理编译后的Java字节码字节码处理引擎其实包含一个字节码解释器和一个JIT编译器和.net的CLR中JIT差别很大解释器逐条的执行字节码指令速度稍慢。JIT编译器则会将热点代码编译缓存起来因此执行速度加快。 解释器的概念比较简单它可以将代码翻译并运行不需要经过编译JVM中的解释器正式这样的JVM中解释的就是字节码。解释器运行程序的方法有3种 直接运行高级编程语言如Shell内置的解释器转换高级编程语言码到一些有效率的字节码Bytecode并运行这些字节码以解释器包含的编译器对高级语言编译并指示处理器运行编译后的程序例如JIT 其中Python的解释器就是属于第二种Python代码在首次运行时它会将Python代码编译成字节码如果可以的话它会将这个字节码保存到**.pyc文件**中这样下次启动的时候就不会再编译这些代码而是直接解释运行字节码。事实上这种机制正在模糊解释器和编译器之间的界限或者说是模糊了解释型语言和编译型语言的界限。 通过JVM和解释器的概念澄清似乎还是不明白为啥JVM就被称为虚拟机JVM中有运行的是字节码它可能直接被解释执行也可能被再次编译成目标语言Python中的解释器也会先预编译Python代码为字节码再解释执行。那么到底有啥区别 很多人参与了讨论分别从不同的角度去阐述区别。 有人认为虚拟机是和语言无关的JVM为例除了Java之外ScalaClojure甚至Python借助于Jython工具也可以运行在JVM上而没听说什么语言能有Python解释器解释执行除了Python。 也有人从语言的类型上Java为静态类型的语言而Python为动态语言。这使得Java字节码既可以被解释执行也可以被编译成机器指令再执行。而Python则复杂多了它虽然让程序员可以不去关注变量的类型但解释器不得不去推断数据类型这一定程度上影响性能。 还有观点认为解释器是一个历史遗留术语现代语言中虚拟机和解释器的分界已经很模糊甚至不存在。 事实上在《Learning Python》一书中作者把Python的解释器称为PVM。PVM是一个栈结构虚拟机这里虚拟机分为基于栈的和基于寄存器的它把字节码中的指令一条条执行过来就行。不用转换字节码。基于这个事实来讲可以认为解释器和虚拟机的区别正在越来越小已经是我中有你你中有我的地步。独立的分割来看可能还能区分这几步是解释器行为这几步是虚拟机的行为但是作为一个整体来看两者的区别确实没那么明显。