深度解析与其他语言相比C语言是快速的语言的原因
扫描二维码
随时随地手机看文章
初入门的我们经常听见别人说“真正的程序员用C语言编程,C是最快的语言因为它是最靠近及其底层的语言。”那么和其他语言相比C语言到底有什么特别的呢?
C语言没有什么特别,这就是它快速的秘诀。
新的语言支持更多的特性,比如,垃圾回收(garbage collection),动态类型(dynamic typing)等等。这些新加入的特性让出学者们更容易上手。
问题的关键就在于,这些新的功能增加了处理开销(processing overhead),也就降低了程序性能。而C语言中没有这些功能,它不需要这些额外的开销,这也意味着程序员自己要分配和释放内存,时刻注意内存泄露问题,处理静态类型的变量。
C语言的设计者权衡了利弊,把速度的需求放在了安全之上。C语言不会:
检查数组索引是否越界
检查未初始化的变量。
检查内存泄露。
检查空的指针的解引用。
当你在JAVA中使用数组索引时,虚拟机中有一些方法调用来检查索引越界和其他的合理性问题。但在C语言中即使是再微小的事情都有安全隐患。它不是用来编写大型的商业软件的。
但这些设计上的决定并不是bugs。这些设计的初衷是为了让编译器和库的编写者可充分利用计算机每一个bit的计算能力。
即便如此,许多语言和平台,例如Java(和它的虚拟机).NET(和它的通用语言运行库),随着即时编译(从字节码产生本地机器码)等技术的出现,这些年的运行速度也有了很大的提高。
下面是C语言的精神和理论解释:
C语言的不可移植。尽管C语言允许程序员编写可移植的代码,委员会并没有强迫程序员编写可移植的代码,把C语言当成高级汇编语言。能够编写特定机器的语言是C语言的特征之一。
保持C语言的精神。委员会这么做的主要目的也是为了继承C语言的传统精神。这项精神有很多方面,但最根本的是C语言基本原则产生的社区情感,这种社区情感被使用C语言的人所共有。C语言的一些精神可以总结如下:
信任程序员。
不阻止程序员做任何必要的操作。
保持语言的简洁和简单。
一种操作只提供一种方法。
保持速度,即使牺牲可移植性。
稍稍解释一下最后一条,产生高效代码的潜能是C语言最重要的能力。为了力求对一个简单的操作不会出现代码爆发(简单操作需要大量代码),许多操作定义为目标机器的硬件如何操作而不是一般化的抽象规则。这种与机器配合的意愿例子有很多,比如在规定表达式中字符对象的宽度时,字符对象的值是转换为有符号还是无符号类型完全取决于哪种类型在目标机器中计算起来更快。
C语言程序快是因为它简单编程语言其实就是程序员与机器沟通的一门“外语”,可以认为编程语言是为程序员和机器服务的。事实上,在设计编程语言时,常常需要在一些问题上取舍以寻求平衡,天平的两端则分别是程序员和机器。
人类和计算机的思考方式是有很大差异的,因此如果某种编程语言偏向程序员,那么可能程序员写程序会很方便,但是最终得到的程序对机器就不够友好了,效率会有损失。例如 Python,JavaScript 等脚本语言。
相反,如果某种编程语言偏向机器,那么最终得到的程序效率会得到最大程度的提升,但是这样的编程语言可能对于程序员就会不太友好,开发效率会有所降低。这类编程语言以C语言,以及汇编语言为代表。
开发效率会有所降低
C语言诞生时,计算机技术还不是很发达,这可能是影响“天平”平衡的一个重要因素。如今,新出现的一些编程语言通常都会更加“照顾”程序员,“垃圾回收”以及“动态类型”等机制几乎已经成为标配了。
原因也很简单,因为在如今快节奏(快到“浮躁”)的社会,开发效率低下的编程语言是无法得到广泛发展的。
正如前文所说,当编程语言的“天平”向程序员倾斜时,最终得到的程序效率自然会有所降低。因为编程语言要“照顾”程序员是要付出代价的——“垃圾回收”等机制本身也会消耗相当一部分的计算机性能。虽然今天的计算机技术已经大大发展,但是计算机的运算能力始终是有限的。
计算机的运算能力始终是有限的
而C语言也没有这些额外的机制,自然最终C语言程序的运行速度也会比别的语言程序高。当然,这也意味着C语言程序员需要自己管理分配的内存,自己避免内存溢出、泄漏等问题,还要自己处理变量的类型。
再来谈谈C语言设计人员在设计C语言时,更多考虑的是最终C程序的运行效率,因此像下面这样的几种安全检查,都要依赖程序员自己,C语言本身是不会检查的:
数组的索引边界未初始化的变量值内存是否泄漏空指针的引用以数组的应用为例,Java程序设计语言会在虚拟机中进行一些方法调用、绑定检查以及其他的一些安全检查。这是语言本身提供的服务,这些检查隐藏在底层,对开发应用的程序员是不可见的。但是这样的安全检查无疑对程序员是友好的,因为它增加了应用的安全性。
安全检查无疑对程序员是友好的
而在C语言程序开发中,即使是一些非常琐碎的事情也要程序员自己处理。例如在执行 memcpy() 等内存操作时,是不会检查要复制的内存区域是否有重叠的。
C语言的这些特性在有些程序员看来是缺陷,但其他一些程序员却认为这是一种灵活,能够让程序员具有更大的权限的管理机器,以及获得计算机的每一点性能。
虽然C语言号称是一种支持可移植程序开发的编程语言,它的一些语法也尽力实现这一目标,但是C语言并不想强迫程序员以可移植的方式编写代码,以防止C语言成为“高级汇编语言”,毕竟编写特定于机器的代码是C语言的优势之一。
C语言作为一门古老的编程语言,其热度却始终没有减少,自然的,C语言近些年也是得到很多发展和拓展的,从C89到C90,再到C99,C11标准。但是C语言始终没有偏离它的基本精神:
相信程序员,尽量把控制权交给程序员。不阻止程序员做他想做的事,例如有时数组下标为负也允许 arr[-1]。保持语言简洁。只提供一种操作方法。保持C语言程序的高效率,即使可能会与可移植性相悖。最后一句需要稍加解释:生成高效的程序是C语言的最重要的优点之一。为了确保看似非常简单的操作不会导致崩溃,C语言有时宁愿在通用抽象规则上做出让步,这也是C语言标准中有许多“未定义”的规则。
C语言有时宁愿在通用抽象规则上做出让
例如,short int,int, long int 整数类型究竟占用多少内存空间,C语言标准并没有给出确定的定义,这就意味着这几种整数类型在不同的机器上占用内存空间大小可能是不同的。再比如,虽然C语言标准规定了 char 类型占用一字节内存空间,但是却没有定义其符号,也就是说 char 类型在有的机器上是有符号的,而在其他机器上可能是无符号的。
C语言的缺点正如前文讨论的,C语言的“天平”更加偏向机器,这使得C语言程序员的工作量增加不少。有一些 Java 程序员甚至说:“C语言程序员花费一个月开发的程序运行需要 0.05 秒,而我只需要一天就能开发出这样的程序,它运行只需要 0.1 秒,所以,C语言快吗?”
C语言的缺点
虽然略微夸张了一些,但是的确应该考虑这样的问题。一般来说,C语言程序本身的确会比其他编程语言程序快一些,但是有些项目的确不需要那么快,它们对 deadline 的要求更加苛刻,这时可能C语言就不再那么合适了。
因此,C语言程序的效率的确高,但它是以牺牲程序员开发效率换来的。这其实决定了它与其他编程语言的应用领域,如果追求资源消耗以及效率的极致,那么C语言无疑是最佳的选择。这个领域以嵌入式领域为代表。如果项目更多追求的是开发效率,那么C语言显然就不是合适的人选了。