要閱讀本文，不需要太高深的編譯原理知識，甚至不需要編譯相關(guān)的知識。但是本文也不是面向?qū)?a target='_blank' class='arckwlink_none'>電腦一無所知的讀者的，你至少要知道：

　　1. 不管是exe可執(zhí)行文件還是Linux下的程序，都是一些二進(jìn)制代碼，我們稱之為機(jī)器語言。這些代碼的執(zhí)行和系統(tǒng)以及 CPU都有關(guān)。

　　2. 大部分情況下，編譯器是一種將高級語言翻譯成機(jī)器語言的程序。而任何程序本身也是一些機(jī)器語言的代碼。

　　3. 無論是高級語言、匯編語言還是機(jī)器語言，實(shí)際上都是等價的，唯一有區(qū)別的是，越高級的語言寫起來越容易（所以我們傾向于盡量多書寫高級語言代碼）；同時，機(jī)器語言是可以直接運(yùn)行的。如果你覺得上面三條可以理解或者可以理解一部分，那么請繼續(xù)閱讀。另外，本文中提到的無論是編譯的過程還是語言的分類甚至是一些例子，都可以看做是一個簡化的模型。實(shí)際上，很少有一個exe程序就可以運(yùn)行的編譯器，現(xiàn)代的編譯器都是十分復(fù)雜的。不過，考慮這些簡化模型對我們沒有任何壞處，它們和實(shí)際情況相差并不很大

　　首先我來詳細(xì)解釋一下高級語言和機(jī)器語言。語言的所謂“高級”，實(shí)際上界定不是那么明確。不過我們可以確定的是：C++、Java、Python之流比匯編語言更高級，而匯編語言比機(jī)器語言更高級。這里提到一個匯編語言和機(jī)器語言的區(qū)分。可能有些讀者不明白這兩個概念的區(qū)別，實(shí)際上很簡單，匯編語言是我們會看到的那些MOV、JMP等命令組成的語言，而機(jī)器語言則純粹是是各種01串。我想沒有人會愿意寫一個機(jī)器語言的程序——實(shí)際上，我們學(xué)校的計(jì)算機(jī)組成實(shí)驗(yàn)都是用Verilog HDL這種高級語言來完成的，而嵌入式原理實(shí)驗(yàn)也是用一種匯編語言完成的；即使是做處理器和單片機(jī)，也不會有人愿意去寫機(jī)器語言，畢竟一大堆01串太坑爹了。試想，讓你用 C++寫一個從1輸出到100的程序，幾行代碼就可以搞定；而匯編語言則可能需要幾十行；機(jī)器語言呢，Oh my god，一大堆 01000101110110101011111001……，看都看不懂，還寫啥啊。

　　但是上面也提到了，機(jī)器語言和高級語言的區(qū)別是，它可以直接運(yùn)行。比如exe程序，實(shí)際上它內(nèi)部存儲的就是一些機(jī)器語言的代碼，機(jī)器可以直接閱讀這些代碼并在處理器中運(yùn)行它們（這里說的不是完全準(zhǔn)確，比如.NET編譯出的exe程序?qū)嶋H上是一段中間代碼，由CLR解釋成機(jī)器代碼才能運(yùn)行——不過這可以暫且忽略，就當(dāng)作我說的是一個簡化的模型）。當(dāng)然程序的運(yùn)行是依賴機(jī)器架構(gòu)和系統(tǒng)的，不然Wine什么的也就沒有用了（什么是Wine？WINE = WINE Is Not an Emulator！有趣的名稱遞歸定義還有很多，不過與本文無關(guān)，請自行Google）。而實(shí)際上，是機(jī)器架構(gòu)不同還是系統(tǒng)不同，并不是我們考慮的問題。我們考慮的問題只是，一段代碼在A機(jī)器和X系統(tǒng)下能否運(yùn)行，換到B機(jī)器和Y系統(tǒng)下又能否運(yùn)行。就算在A機(jī)器和X系統(tǒng)下能運(yùn)行，如果換成了A機(jī)器和Y系統(tǒng)之后不能運(yùn)行了，那對于我們這也可以看做兩臺不同的機(jī)器（也就是說，A機(jī)器和Y系統(tǒng)實(shí)際上就可以看做一個新的機(jī)器B）。所以之后的描述中，我們不考慮操作系統(tǒng)的情況，而是只考慮機(jī)器，我們編號為a、b 等，而它們上面可以運(yùn)行的機(jī)器語言我們編號為A、B等。