GCC在2012年8月15日的时候,merge了一个patch – Merge from cxx-conversion branch,这意味着,以后在GCC的编译只能用C++的编译器了,也意味着,gcc的实现代码开始转向C++了。

你可能会有两个问题,

一个问题是为什么GCC要转成C++的实现?

没有C++的编译器,我怎么编译C++编译器的代码?这不是“鸡生蛋还是蛋生鸡”的问题么?

那,我们来看一看吧。

为什么要用C++

在GNU的C++ Conversion文档中,我们可以在Background中看到这样的描述:

Whether we use C or C++, we need to try to ensure that interfaces are easy to understand, that the code is reasonably modular, that the internal documentation corresponds to the code, that it is possible for new developers to write new passes and to fix bugs. Those are the important issues for us to consider. The C++ features which are not present in C — features which are well documented in many books and many web sites — are not an important issue.

这句话的意思可以理解为,今天GCC在用C语言的实现已经有点hold不住了,因为,开发人员觉得,不管我们用C或C++,都需要努力确保接口是容易理解的,这样我们的代码是想当理性地被模块化的,这样内部文档和代码一致,这样可以更好地组织代码,这样有利于新人了fix-bug。而C++正好可以让他们更好的完成这些东西。

GNU还给出了下面这些理由:

C++ 是一种标准化的,大众的,流行的语言。
C++ 是C90的超集。
C++作为C的扩展和C在性能上一样好。
C++ 在一些有意义的案例上支持更干净的代码。
C++ 让你更容易去写一个更干净的接口。
C++ 永远不会让你的代码变得更丑。
C++ 不是万灵药,他是C的一个改进。

然后,给了一个PDF http://airs.com/ian/cxx-slides.pdf,这是Google 的 Ian Lance Taylor的的一个PPT,这个文档可以让大家更好地理解我在《C++的坑多吗?》一文中那些观点。我都不知道我要说多少遍C++的封装,继承和多态比C语言在代码组织上要好得多得多。大家还是自己看一下代码吧:

数据结构的操作 —— 你写的一定不会有STL好

结构套结构还是继承?

函数指针还是多态?

垃圾回收 还是 智能指针?

Why not C++? 

C++慢吗?某些特性会慢,但是有时C++更快,你可以只用你喜欢的C++特性。
C++复杂吗?它只不过是另一种编程语言,他可以让你对程序员维护更简单。
FSF不喜欢C++!因为FSF(自由软件基金会)这些人不写代码。

Bootstrapping

最后,我想来介绍一下Bootstrapping。 所谓Bootstrapping,就是用自己这个语言写编译器来编译自己,也就是说如果你要编译gcc,你需要用一个c的编译器来编译之,这个就是bootstrapped process,自举过程。包括 BASIC, Algol, C, C++, Pascal, PL/I, Factor, Haskell, Modula-2, Oberon, OCaml,Common Lisp, Scheme, Java, Python, Scala 等语言都这么干。

这样干的好处主要是,自己可以测试自己,编译器的改善和语言的改善相辅相成。

但是,这是一个“鸡生蛋,还是蛋生鸡”的问题,如果你需要用X语言来写一个X语言编译器的语言,你可以这样干:

用Y语言来实现X的语言解释器或编译器。 Niklaus Wirth 说 Pascal 的第一个编译器是由 Fortran 写的。
已存在用Y语言写的X语言的编译器或解释器。Scheme 就是这么干的。
已经有一个编译器来编译一个早期版本的X语言,然后就可以用早期版本的X语言来编译新版本的X语言了。Java,Haskell, 和最初版的 Free Pascal 就是这么干的。
X在某平台上的编译器已经存在,可以使用交叉编译技术来编译另一个平台上X语言,C语言就是这么干的。
用X语言写一个编译器,然后手动编译之(不需要特别优化),(注:手动编译估计就是手动翻译成机器汇编代码),然后再运行这个手动编译的编译器来编译这个编译器的源码,并优化之。Donald Knuth 在他的 WEB literate programming 系统里用到了这个方法。

转载于酷壳CoolShell 无删改 仅以此纪念陈皓(左耳朵耗子)