与其说C的速度快，不如说C的成本模型是透明的。如果一个C程序慢，它的慢是通过一个明显的方式:执行很多语句。与C语言中操作的代价相比，对对象(特别是反射)或字符串的高级操作可能具有不明显的代价。

标准ML(使用MLton编译器)和Objective Caml这两种语言通常编译成二进制文件的速度与C语言一样快。如果你检查一下基准测试游戏，你会发现对于一些基准测试，比如二叉树，OCaml版本比c更快(我没有找到任何MLton的条目)。但不要把枪战看得太严重;正如它所说的，它是一个游戏，结果通常反映了人们在调优代码上投入了多少精力。

我认为没有人提到这样一个事实，即在C编译器上投入的精力比任何其他编译器都要多，也许Java是例外。

由于前面提到的许多原因，C是非常可优化的——几乎比任何其他语言都要多。因此，如果在其他语言编译器上投入同样的精力，C可能仍然会名列前茅。

I think there is at least one candidate language that with effort could be optimized better than C and thus we could see implementations that produce faster binaries. I'm thinking of digital mars D because the creator took care to build a language that could potentially be better optimized than C. There may be other languages that have this possibility. However I cannot imagine that any language will have compilers more than just a few percent faster than the best C compilers. I would love to be wrong.

我认为真正的“唾手可得的果实”将是那些被设计为易于人类优化的语言。一个熟练的程序员可以让任何语言运行得更快——但有时你不得不做一些荒谬的事情或使用不自然的结构来实现这一点。尽管这总是需要付出努力，但一种好的语言应该产生相对快速的代码，而不必纠结于程序究竟是如何编写的。

It's also important (at least to me) that the worst case code tends to be fast. There are numerous "proofs" on the web that Java is as fast or faster than C, but that is based on cherry picking examples. I'm not big fan of C, but I know that ANYTHING I write in C is going to run well. With Java it will "probably" run within 15% of the speed, usually within 25% but in some cases it can be far worse. Any cases where it's just as fast or within a couple of percent are usually due to most of the time being spent in the library code which is heavily optimized C anyway.

这不是语言的问题，而是工具和库的问题。C语言可用的库和编译器比新语言要老得多。你可能认为这会让它们变慢，但事实恰恰相反。

这些库是在处理能力和内存非常重要的时候编写的。它们必须写得非常高效，才能发挥作用。C编译器的开发人员也花了很长时间为不同的处理器进行各种巧妙的优化。C语言的成熟和广泛采用使得它比同时期的其他语言具有显著的优势。它还使C语言在速度上比那些不像C语言那样强调原始性能的新工具更有优势。

有什么能阻止其他语言 能够编译成二进制文件 运行速度和C一样快?

没什么。像Java或。net语言这样的现代语言更多地面向程序员的生产力，而不是性能。现在硬件很便宜。此外，编译到中间表示提供了很多好处，如安全性，可移植性等。net CLR可以利用不同的硬件-例如，你不需要手动优化/重新编译程序来使用SSE指令集。

c++的平均速度更快(就像它最初一样，主要是C的超集，尽管有一些不同)。然而，对于特定的基准测试，通常有另一种更快的语言。

https://benchmarksgame-team.pages.debian.net/benchmarksgame/

fannjuch-redux是Scala中最快的

n-body和fasta在Ada中更快。

频谱范数在Fortran中是最快的。

反补、mandelbrot和pidigits在ATS中最快。

regex-dna是JavaScript中最快的。

chameneau -redux最快的是Java 7。

Haskell的螺纹环速度最快。

其余的基准测试在C或c++中是最快的。

c语言并没有什么特别之处，这也是它速度快的原因之一。

新语言支持垃圾收集、动态类型和其他功能，使程序员更容易编写程序。

问题在于，会有额外的处理开销，这会降低应用程序的性能。C语言没有这些，这意味着没有开销，但这意味着程序员需要能够分配内存并释放它们以防止内存泄漏，并且必须处理变量的静态类型。

也就是说，许多语言和平台，如Java(其Java虚拟机)和。net(其公共语言运行时)，多年来通过即时编译(从字节码生成本机机器代码以实现更高性能)等技术改进了性能。