GCC 用 C++ 來編譯
GCC在2012年8月15日的時(shí)候，merge了一個(gè)patch - Merge from cxx-conversion branch，這意味著，以后在GCC的編譯只能用C++的編譯器了，也意味著，gcc的實(shí)現(xiàn)代碼開始轉(zhuǎn)向C++了。
你可能會(huì)有兩個(gè)問題，
- 一個(gè)問題是為什么GCC要轉(zhuǎn)成C++的實(shí)現(xiàn)？
- 沒有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語言的實(shí)現(xiàn)已經(jīng)有點(diǎn)hold不住了，因?yàn)?，開發(fā)人員覺得，不管我們用C或C++，都需要努力確保接口是容易理解的，這樣我們的代碼是想當(dāng)理性地被模塊化的，這樣內(nèi)部文檔和代碼一致，這樣可以更好地組織代碼，這樣有利于新人了fix-bug。而C++正好可以讓他們更好的完成這些東西。
GNU還給出了下面這些理由：
- C++ 是一種標(biāo)準(zhǔn)化的，大眾的，流行的語言。
- C++ 是C90的超集。
- C++作為C的擴(kuò)展和C在性能上一樣好。
- C++ 在一些有意義的案例上支持更干凈的代碼。
- C++ 讓你更容易去寫一個(gè)更干凈的接口。
- C++ 永遠(yuǎn)不會(huì)讓你的代碼變得更丑。
- C++ 不是萬靈藥，他是C的一個(gè)改進(jìn)。
然后，給了一個(gè)PDF http://airs.com/ian/cxx-slides.pdf，這是Google 的 Ian Lance Taylor的的一個(gè)PPT，這個(gè)文檔可以讓大家更好地理解我在《C++的坑多嗎？》一文中那些觀點(diǎn)。我都不知道我要說多少遍C++的封裝，繼承和多態(tài)比C語言在代碼組織上要好得多得多。大家還是自己看一下代碼吧：
數(shù)據(jù)結(jié)構(gòu)的操作 —— 你寫的一定不會(huì)有STL好
結(jié)構(gòu)套結(jié)構(gòu)還是繼承？
函數(shù)指針還是多態(tài)？
垃圾回收 還是 智能指針？
Why not C++?
- C++慢嗎？某些特性會(huì)慢，但是有時(shí)C++更快，你可以只用你喜歡的C++特性。
- C++復(fù)雜嗎？它只不過是另一種編程語言，他可以讓你對(duì)程序員維護(hù)更簡(jiǎn)單。
- FSF不喜歡C++！因?yàn)镕SF（自由軟件基金會(huì)）這些人不寫代碼。
Bootstrapping
***，我想來介紹一下Bootstrapping。 所謂Bootstrapping，就是用自己這個(gè)語言寫編譯器來編譯自己，也就是說如果你要編譯gcc，你需要用一個(gè)c的編譯器來編譯之，這個(gè)就是bootstrapped process，自舉過程。包括 BASIC, Algol, C, C++, Pascal, PL/I, Factor, Haskell, Modula-2, Oberon, OCaml,Common Lisp, Scheme, Java, Python, Scala 等語言都這么干。
這樣干的好處主要是，自己可以測(cè)試自己，編譯器的改善和語言的改善相輔相成。
但是，這是一個(gè)“雞生蛋，還是蛋生雞”的問題，如果你需要用X語言來寫一個(gè)X語言編譯器的語言，你可以這樣干：
- 用Y語言來實(shí)現(xiàn)X的語言解釋器或編譯器。 Niklaus Wirth 說 Pascal 的***個(gè)編譯器是由 Fortran 寫的。
- 已存在用Y語言寫的X語言的編譯器或解釋器。Scheme 就是這么干的。
- 已經(jīng)有一個(gè)編譯器來編譯一個(gè)早期版本的X語言，然后就可以用早期版本的X語言來編譯新版本的X語言了。Java，Haskell, 和最初版的 Free Pascal 就是這么干的。
- X在某平臺(tái)上的編譯器已經(jīng)存在，可以使用交叉編譯技術(shù)來編譯另一個(gè)平臺(tái)上X語言，C語言就是這么干的。
- 用X語言寫一個(gè)編譯器，然后手動(dòng)編譯之（不需要特別優(yōu)化），（注：手動(dòng)編譯估計(jì)就是手動(dòng)翻譯成機(jī)器匯編代碼），然后再運(yùn)行這個(gè)手動(dòng)編譯的編譯器來編譯這個(gè)編譯器的源碼，并優(yōu)化之。Donald Knuth 在他的 WEB literate programming 系統(tǒng)里用到了這個(gè)方法。
