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

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

通常的說法，編譯代表著將一個高級語言轉化為 CPU 能執行的機器碼。當你編譯 C 的時候，的確是做的這樣的操作。編譯的結果是一個二進制可執行文件，這時你的系統可直接運行這個程序。

與此相對的，解釋的意思是這樣的：程序運行時每次讀源文件中的一行代碼，并執行相應的操作，就這樣一行一行的重復下去。當然，所謂的腳本語言就是這么運行的。

在 Python 中，源代碼會被編譯為更低級的一種形式，我們稱之為字節碼。字節碼是一串指令，和 CPU 的指令集類似。但是字節碼并不直接被 CPU 執行，而是在虛擬機中執行的。當然，這里的虛擬機并不模仿整個操作系統的環境，只是提供了字節碼執行的一個環境。

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

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

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

Python 之所以稱為解釋型語言，是因為它沒有顯示的調用編譯操作，表現出解釋型的特性比較多而已。但事實上，編譯是存在的，具體怎么編譯就看語言的實現了，也就是解釋器的設計。