主流编程语言优劣考

1、主流编程语言优劣考前言本文的目的并非是想挑起语言之争，而是希望通过客观地分析每一种主流语言的能力，辨明其长短，让程序员能够扬长避短，有效地使用各种语言。让各种语言能够各安其位，为你更好的服务。程序员应当成为语言的主人，而不是语言的奴隶。正文这里，我将比较一下几种主流编程语言： c，c+，java，.net，ruby， javascript 。其他主流编程语言，如 pascal,delphi ，我不太熟悉。希望熟悉的朋友能够补全对这些语言的评价。至于 basic ，它的版本差异很大，而且能力不太全面，这里也不做评价。语言特性对比表c c+java.net ruby javascript类型无类型

2、强类型强类型强类型强类型强类型静态 / 动态静态静态静态检验类型动态解释执行动态动态支持面向过程是是否否否是支持基于对象否是否是是是支持范型否否是是否否支持模板否是否否否否支持面向对象否是是是否否可能你对于我这样的语言评价有些疑问，请首先看我的另一篇文章基于对象和面向对象编程范式辨析和主流编程语言中的应用理清相关的概念。我对与面向对象和基于对象的定义和流行的定义不太一样。c语言优劣考c语言由来让我们先回顾一下历史。电脑使用 cpu指令，通过寄存器，内存等物件执行计算。最早的编程，是直接使用代表 cpu指令的机器码编写的。直接使用二进制的数据编程，当然很容易出错。于是，人们后来发明了一种方法，就

3、是使用英语单词作为助记符，代表各条 cpu指令。这就是汇编语言。现在，程序员可以使用英语单词进行编程，然后使用一个解释程序，把汇编指令翻译成机器语言，再交给计算机执行。1970 年， unix操作系统的研制者丹尼斯里奇(dennis ritchie)(ken thompson) 为了更好地编写操作系统，发明了c 语言。和肯汤普逊c语言比汇编语言更先进。它使用了面向过程的编程范式。同时它仍是一门十分接近汇编语言，面向机器的编程语言。适合编写操作系统和其他直接操纵硬件硬件的编程。面向过程编程范式下面是我查到的过程式设计的定义：过程式设计：1、自上而下 (top-down) 的设计方式：是一个自顶向

4、下，逐步求精的过程；2、以 main 函数概括出整个应用程序需要做的事情，而 main 函数由对一系列的子函数的调用组成；main 中的每一个子函数都可以被精炼成更小的函数。重复这个过程，即可完成一个过程式的设计；3、特征是以函数为中心，以函数作为划分程序的基本单位，数据往往处于从属地位。过程式设计的优点：易于掌握与理解，符合人们的思维习惯；过程式设计的缺点：1、不能适应问题比较复杂，或者需求经常变化的情况；2、数据与操作分离开，对数据与操作的修改变得很困难；3、程序架构的依赖关系不合理： main 函数依赖于子函数，子函数又依赖于更小的子函数；而子函数往往是细节的实现，这些实现是经常变化的，

5、造成的结构就是：程序的核心逻辑依赖于外延的细节，一个细节上的小改动，会引起一系列的变动。我对于面向过程编程范式是这样理解的：面向过程编程，就是使用函数代表处理的过程。这些函数使用的数据，要么是参数，要么是外部的数据。使用函数编程，这看上去很像函数式编程。但面向过程的编程范式不同于函数式编程。函数式编程的函数，一般不使用外部的数据。不维持外部的状态。这有很多优点，但也同样有了很大的局限性，不似面向过程编程这样方便。c语言就是典型的面向过程编程语言。它通过函数抽象了过程处理。函数，就是 c 语言的接口。c语言中，数据常常作为全局的变量保存起来。这样，使用 c语言编程就很难保证其他代码不破坏函数依赖

6、的数据的状态。这是 c+基于对象编程范式出现的原因。这个我们稍后再说。我们再看看 c 语言对机器指令的抽象。c语言是一门十分接近汇编语言的语言。所以有人说 c语言既是一门高级语言 ( 面向过程，函数 ) ，也是一门低级语言 ( 面向机器，直接反映计算机的实际计算过程 ) 。c语言使用原生类型，数组， struct 等来表示数据。 c语言中，数据在内存中的表示是十分确定的。程序员可以充分控制。如， c语言中可以使用 memcpy()直接复制内存中的数据。现在，大多数的操作系统原生函数库，都使用 c 语言作为其接口。绝大多数的语言都具备与 c 语言函数库进行互操作的能力。c语言可以说是程序世界的世

7、界语。c语言的优点1，面向过程开发，以函数为中心。简单有效。实现了简单的接口。2，面向机器，让用户可以完全的操纵机器，效率较高。c语言运行高效，广泛应用于各种计算领域。对于简单的任务，非常有效。c语言的缺点1，函数无法有效控制需要的数据。不能保证外部状态不变。容易出现bug。2，对于机器的控制太强，也就是依赖太强。由于过于强调效率，使用 c 语言编程时，更多的需要考虑机器，而不是问题本身。由于过于关注机器，而不是问题域本身，因此抽象能力不足。容易出现各种bug。对于编写大型的程序，常常力不从心。c语言的使用方法c语言作为一种简单高效的编程语言，适用于编写简单的程序。在编程中，应该注意扬长避短，

8、使用面向过程的编程范式，少用对机器的依赖。1，使用函数编程时，应该尽量使用函数参数传递状态，少用全局数据。因为，你无法保证全局数据不被其他代码改变。这样使用函数，叫作 纯函数 。类似于函数式编程的用法。而且，使用这种方式编程，由于不存在全局数据，在进行多线程开发时，还不需要考虑多线程问题。2，使用结构化的编程方式。不要卖弄技巧。3，函数是接口。尽量使用函数调用，而不是直接的代码。通过层层分层，分配职责，编写出短小精悍，易于维护的代码。4，尽管 c 语言是一种面向机器的语言。但是，我们还是应该尽量少地依赖机器。多从问题域来考虑和抽象问题。如，少用内存假设等等。因为，我们会使用很多种语言， c，c

9、+， java，c#等语言的很多语法类似。但是实际的表现，各个语言都是不同的。如果过分考虑 c 的机器特性，那么很可能会因为记错而编写出错误的代码。5，代码，首先是给人看的。顺便给机器执行！不要处处优化代码。只应该优化性能瓶颈。因为优化的代码，常常表示很难看懂！6，应该大量使用 struct 组织相关的数据。在用 c 语言编程时，也应该树立类型和对象状态的概念。把 struct 作为函数的参数传递数据。c+语言优劣考在 c 语言优劣考中曾经说过：c语言中，数据常常作为全局的变量保存起来。这样，使用 c 语言编程就很难保证其他代码不破坏函数依赖的数据的状态。这是 c+ 基于对象编程范式出现的原因

10、。c+最初是作为 c 语言的扩展出现的，最初的名字就叫 带类的 c。后来， c+逐渐演化成一门独立的语言。但还是和 c 语言兼容。基于对象的编程范式基于对象的编程范式，又称 抽象数据类型 (adt) 。面向过程的编程范式中，函数无法控制函数外的共享数据。这使面向过程的编程语言不能很好地编写大型系统。为了解决这个问题，人们发明了基于对象的编程范式。就是把数据和处理数据的函数都封装在一个类中。这样，共享的数据就不会再被外部的代码改变了！下面是我查到的定义：抽象数据类型 (abstract type简称 adt)adt是指抽象数据的组织和与之相关的操作。可以看作是数据的逻辑结构及其在逻辑结构上定义的

11、操作。adt的描述规范一个 adt可描述为：adt adt-namedata：/ 数据 明数据元素之 关系的描述operations ：/ 操作 明operation1 ：/ 操作 1，它通常可用 c或 c 的函数原型来描述input ： 入数据的 明preconditions： 行本操作前系 足的状 / 可看作初始条件process ： 数据 行的操作output ： 返回数据的 明postconditions： 行本操作后系 的状 / 系 可看作某个数据 构operation2 ：/ 操作 2/adt抽象数据 型可以看作是描述 的模型，它独立于具体 。它的 点是将数据和操作封装在一起，使得

12、用 程序只能通 在 adt里定 的某些操作来 其中的数据，从而 了信息 藏。在 c 中，我 可以用 ( 包括模板 ) 的 明来表示 adt，用 的 来 adt。因此， c 中 的 相当于是数据的存 构及其在存 构上 的 数据的操作。adt和 的概念 上反映了程序或 件 的两 抽象： adt相当于是在概念 ( 或称 抽象 ) 上描述 ，而 相当于是在 上描述 。此外， c 中的 只是一个由用 定 的普通 型，可用它来定 量 ( 称 象或 的 例 ) 。因此，在 c 中，最 是通 操作 象来解决 的，所以我 可将 次看作是 用 。例如， main 程序就可看作是用 的 用程序。c+支持多范型的开

13、方式：面向 程，基于 象，面向 象，模版。c+和 c 言是兼容的。因此，你完全可以使用 c+ 系 写 c 言的程序，因此，支持面向 程 程是很自然的。但是，使用面向过程编程，还能说是在使用c+编程吗 ?另外，需要注意， c+语言，实际上是一种不同于 c 语言的新语言。在内存上，除了一些 c 语言的元素之外，新的语言元素并不像 c 那样面向机器。对于 c+，你不能使用 memcpy等内存操作的函数，很可能会出现错误。因为c+语言建立在一些高级概念的规范上，这些规范并没有规定内存如何分配等机器方面的细节。我在基于对象和面向对象编程范式辨析和主流编程语言中的应用一文中已经指出基于对象和模板是必须组合

14、在一起使用的技术。c+中首选的编程范式是 模板支持的基于对象 的编程范式。实现静态多态。然后才是面向对象的编程范式。实现动态多态。最后是 c 语言风格的面向过程编程。c+的使用方法使用 c/c+开发环境，我们可以同时使用 c和 c+开发。既然 c+和 c是兼容的，我认为完全没有理由使用 c 语言，而不使用 c+进行开发。即使是很小的问题，使用 c+的 模板支持的基于对象 的编程范式也是首选的开发方式。另一方面，在整个类库的外部，如果我们希望向其他语言提供接口，那么我们还应当提供 c 语言的 api 函数作为接口。c语言是程序世界的世界语。使用 c+的基本类型， struct ，stl 库的 v

15、ector ， stl的 string ：c_str() 等都可以得到 c 语言兼容的接口。还不能使用异常。因为 c 语言不支持异常，而且 c+本身的异常，在不同的编译器中也可能不兼容。总之1，使用 c+开发，只在外部接口中使用 c语言开发。使用 模板支持的基于对象 的编程范式，或者面向对象的编程范式。不要使用面向过程的编程范式。2，尽量把代码放到类中，而不是使用全局或者命名空间的变量。3，尽量不要使用操作符重载。4，必须注意到 c+不像 c语言那样面向机器，不能对 c+对象的内存布局进行假设。不能根据内存内的数据直接构建对象。不要进行内存操作。5，c+还是很面向机器的。很多语言规则都规定了内

16、存的布局，必须按照规则定义、初始化等等。这和 java， .net， ruby 等语言不同。用惯高级语言的程序员特别需要注意 c+和 c对程序员的繁琐要求。c/c+的设计哲学中，始终把自己作为一门系统编程语言，针对机器进行了很多优化。因此，对于人，就很不照顾了。很多规则很不人性化。但没办法，你必须适应它们！它们就是为了高效而生的。它们就是汇编的替代者。java 语言优劣考java 是一门静态强类型面向对象的编程语言。它是 c+和 smalltalk 取长补短的产物。java 是静态编译的强类型语言。你必须声明变量的类型，以便编译器能够检查代码的类型是否正确。这和 c+是相同的。 java 是一

17、门类型非常安全的编程语言。java 只支持一种编程范式：面向对象编程范式。对于过时的面向过程编程范式并不支持。也不支持基于对象的编程范式，也没有模板。原因可能是，当java 在 90 年代中期刚刚诞生时，面向过程的编程已被唾弃。而c+的基于对象的编程方式，由于没有和模板相互结合，而名声扫地。 c+对于面向对象的编程范式的支持又比较差。于是，汲取经验教训之后，java 作为一门纯正的面向对象编程语言诞生了。java 使用面向对象的编程范式实现了动态多态，实现了抽象化的编程方式。取得了巨大的成功。java 语言中，除了基本类型是值类型之外，没有任何值类型，你也不能创建任何值类型。这样，基于对象编程

18、这条路就被卡死了。虽然丧失了值类型的效率，但是也避免了基于对象编程的大量错误。java 语言中所有方法也都是虚函数。这也是为了保证纯正的面向对象编程。java 语言是静态面向对象编程范式的顶峰。使用面向接口的抽象编程，是有效使用 java 开发的唯一途径！另一方面，java 实际上是一门动态语言。它是动态解释执行的。和ruby，javascript等一样。这使 java 具备了运行时的灵活性。可以实现自省，反射等c+等传统静态语言无法实现的功能。.net 语言优劣考.net 是 java 的兄弟。是微软因为被 sun 排除在 java 之外而开发的一套语言。主要包括 c#，vb.net,c+/

19、cli 等语言。它的设计理念基本和java 相同，也是一个支持静态面向对象编程范式的平台。对于 .net 语言平台，我选择 c#和 c+/cli 这两种语言进行论述。 vb.net和 c#类似，这里就不再多说了。c#c#.net 还支持值类型，也就是基于对象的编程范式。 ( 当然， .net 框架也是支持值类型的 )c#.net 的泛型类型替换是在运行时执行的。对于引用类型 ( 在堆内存中创建实例的类型 ) ，它使用类型强制转换，而不是 c+模板的源代码生成来实现参数化类型。对于值类型，则使用类似于c+模板的 msil中间代码生成机制实现。顺便提一下， java 的泛型实现和 c#的机制类似。

20、也是使用强制类型转换实现。而且， java 中没有值类型，也不能对基本类型进行泛型操作，因此没有 c#和 c+中的源代码扩张问题。但是，老实说，java的泛型机制确实太弱了！c#语言首选的是面向对象编程范式。 c#也可以使用泛型支持的基于对象的编程范式。使用值类型，对于用惯面向对象编程范式的c#和java程序员来说有一定的难度。而且，提升的效率也并不很高。同时，在语法层面上， c#泛型是实现参数化类型的更简单方法，不具有复杂性。此外， c#并不尝试提供 c+模板所提供的所有功能。c+模板的因此， c#泛型支持的基于对象编程要比模板支持的基于对象的编程要弱很多。理念上，泛型编程有些不伦不类，有着

21、太强的面向对象编程的气味。c#中，使用泛型支持的基于对象的编程范式不如面向对象编程范式。我认为， c#语言还是应该首先使用面向对象编程范式。c+/cli c+/cli 是为了让 c+使用 .net 平台而提供的扩展机制。.net 平台是类似于 java 的静态强类型动态执行的执行平台。是面向对象编程范式理念的框架。c+/cli 使用了新的语法，使用c+/cli 进行 .net 开发时，类似于c#编程。同时，也可以使用模板进行c+/cli 编程。这是 c+/cli2005 新增的功能。使用 c+/cli 进行 .net 编程时，既可以使用 c#样式的面向对象编程。也可以使用模板支持的基于对象的编

22、程范式进行开发。可以把模板支持的基于对象的编程范式和 .net 的面向对象的编程范式结合起来使用。c+/cli 可以同时使用原生 c+和.net 编程。如果使用 .net 框架执行，那么 c+原生代码就会存放在生成的 msil 中间代码中，在运行时再使用 c+编译器编译成机器码。.net 的互操作机制.net 运行时本身就是使用 com编写的，是一个 com服务器。因此， .net 和 com互操作是非常简单的。也可以使用 com技术，用 c/c+直接调用 .net 内的方法。在互操作上。 .net 比 java 实现得更好。不能从 c语言调用 java 方法，只能从 java 代码中使用 j

23、ni 调用 c方法。总体评价.net 是 java 的表兄弟。又做出了一下改变。1，定义了 .net 的汇编语言。基于 .net 的汇编语言可以支持任何语言在 .net 平台上执行。 java 自然也可以作为一个平台。但是 java 平台的设计目标就是 java 这一种语言，因此没有定义汇编语言，只有 java 的机器码。2，支持值类型。虽然用处不大，但是可以提高性能，也方便与 c 语言的函数库交互。3，泛型的实现比 java 强大。4，特别是 c+/cli，具有模板 *.net 运行库的强大能力。ruby语言优劣考ruby是一种强类型的动态解释型语言。在ruby中一切都是对象。使用 duck

24、 typing 像鸭子一样编程 的编程理念。 ruby 有类型，但是变量不确定类型。这也实现了动态的多态能力。不象 java，.net 等静态面向对象编程语言，不需要使用什么都不作，仅仅表示类型的规范的接口。 ruby中使用变量时不需要声明使用什么接口或者类型。任何类型都可以，只要确实有这样的方法或者数据成员存在即可！类似于 c+的模板编程，只是 c+的模板需要指定参数的类型。 ruby不需要指定变量的类型，因此不需要模板那样的机制。ruby这样不指定变量类型的语言使用起来非常灵活。按照动态语言的观点，既然编译时不能完全找出运行时的错误，不如不要编译时检查，也不要编译。使用单元测试来寻找错误。

25、但是， c+， java，.net 这样的编译时检查类型的语言也有自己的优点：1，更加安全，编译时就会发现错误。2，可以实现 ide 的智能提示。而 ruby 这样的语言就不可以。因为 c+，java 的变量使用时都指定了类型，因此可以在 ide 中智能提示可能的成员。而 ruby 这样的动态语言的变量都没有指定类型，所以无法为你提供智能提示。使用 ruby，应该使用 动态类型语言 的基于对象的编程范式，使用隐式的接口。使用的类不需要有一个共同的基类。让各个实现类互相独立存在就行了。记住，这是和 c+的模板支持下的基于对象的编程范式类似的基于对象 (adt 抽象数据类型 ) 的编程！不要试图用

26、 java ，c#这样的语言的面向对象的编程思维方式来编写ruby程序！javascript语言优劣考javascript 是一门长期以来被忽视的语言。它的重要性和能力都被大大的低估了！这是因为 java 和.net 崛起以来， 静态类型语言 的面向对象的编程范式受到广泛的推崇。作为动态语言，函数式语言的 javascript 长期以来被广大 java，.net 程序员视为畸形怪胎！老实说，长久以来，我也一直是以厌恶的眼光看待它。多少次，它让我很抓狂。尽管 javascript 已经诞生了这么多年，但是把 javascript 作为一门很有前途的动态强类型语言，函数式语言来看待还是新鲜事物。还没有见到很多关于这方面和设计模式的研究。javascript支持面向过程的编程范式这是 javascript 使用最广泛的一种编程范式。简单、快速、有效。 javascript 代码需要通过网络传输到用户浏览器中，因此 javascript 的使用一般都是简单的几个数据提交和验证功能。如果使用 ruby 那样的动态基于对象的编程范式编码显得有些小题大做，又浪费带宽。javascript支持 动态类型语言 的基于对象的编程范式如果 javascript 仅仅支持过时的面向过程的编程范式，那么 javascript 就真的是大家心目中的鸡