Python 是解釋型的語言嗎？它會被編譯嗎？

這個(gè)問題沒有想象中那么好回答。和很多人認(rèn)識世界一樣，習(xí)慣以一個(gè)簡單的模型去評判一些事物。而事實(shí)上，里面包含了很多很多的細(xì)節(jié)。

通常的說法，編譯代表著將一個(gè)高級語言轉(zhuǎn)化為 CPU 能執(zhí)行的機(jī)器碼。當(dāng)你編譯 C 的時(shí)候，的確是做的這樣的操作。編譯的結(jié)果是一個(gè)二進(jìn)制可執(zhí)行文件，這時(shí)你的系統(tǒng)可直接運(yùn)行這個(gè)程序。

與此相對的，解釋的意思是這樣的：程序運(yùn)行時(shí)每次讀源文件中的一行代碼，并執(zhí)行相應(yīng)的操作，就這樣一行一行的重復(fù)下去。當(dāng)然，所謂的腳本語言就是這么運(yùn)行的。

在 Python 中，源代碼會被編譯為更低級的一種形式，我們稱之為字節(jié)碼。字節(jié)碼是一串指令，和 CPU 的指令集類似。但是字節(jié)碼并不直接被 CPU 執(zhí)行，而是在虛擬機(jī)中執(zhí)行的。當(dāng)然，這里的虛擬機(jī)并不模仿整個(gè)操作系統(tǒng)的環(huán)境，只是提供了字節(jié)碼執(zhí)行的一個(gè)環(huán)境。

Python 還有一個(gè)重要的特性，就是交互式命令行。你可以敲入一行 Python 語句，然后立刻回車執(zhí)行。實(shí)際上，即使是這個(gè)過程，Python 同樣是先轉(zhuǎn)為字節(jié)碼，然后執(zhí)行。而這個(gè)交互式命令行這個(gè)特性，在很多編譯型語言里是沒有的。同樣因?yàn)闆]有顯示的調(diào)用編譯程序，很多人將執(zhí)行 Python 源文件的程序叫做 Python 解釋器。

即使比較簡略，但還是補(bǔ)充下。部分編譯型語言比如 C 或者 JAVA 也有交互式命令行，但這些并不是這些語言的重心。JAVA 剛開始是編譯成字節(jié)碼然后執(zhí)行，后面有了即時(shí)編譯技術(shù)（ JIT ）可以直接編譯成機(jī)器碼，與 C 類似。

從上面的描述可以看出，不管是解釋還是編譯，并沒法完全分離開來。很多時(shí)候，我們想用一些詞將現(xiàn)有的編程語言分個(gè)類，但事實(shí)上要辦到這一點(diǎn)太難了。

Python 之所以稱為解釋型語言，是因?yàn)樗鼪]有顯示的調(diào)用編譯操作，表現(xiàn)出解釋型的特性比較多而已。但事實(shí)上，編譯是存在的，具體怎么編譯就看語言的實(shí)現(xiàn)了，也就是解釋器的設(shè)計(jì)。