一個經常聽見的問題，那就是：Python是解釋型的語言嗎？它會被編譯嗎？這個問題沒有想象中那么好回答。和很多人認識世界一樣，習慣以一個簡單的模型去評判一些事物。而事實上，里面包含了很多很多的細節。

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

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

但事實上，上面的定義有太多的局限。一門真正的語言，為了擁有更多有用和強大的特性，通常采用了各種各樣的實現方式。我們可以將編譯理解為更通用一些：將一種語言轉化為另一種語言形式。通常來說，源語言比目標語言要更高級一些，比如將 C 轉化為機器碼。當然，JavaScript 8 到 JavaScript 5 的轉化也算是一種編譯。

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

下面我們看 Python 的一小段代碼以及它對應的字節碼

看了字節碼的內容后，我們就知道 f'...' 這種格式化字符串的形式的運行原理，就是將里面的字符串轉化為一系列的字面字符串與變量，然后使用 號連接起來。

dis 是 Python 標準庫中反匯編模塊，它可以展示 Python 代碼的字節碼信息。上面提到的執行字節碼的虛擬機，可以用任意的語言實現，包括 Python 自己。有興趣的可以去 GitHub 上看下這個項目 nedbat/byterun 。這個項目可以用來學習，但不適用于生產環境。

不過，我們運行 Python 時完全感受不到它的編譯過程，沒有顯示的調用什么編譯程序，僅僅是簡單的執行 .py 文件，編譯都是需要時自動編譯的。這和 JAVA 不同，當你每次寫完 JAVA 代碼要執行時，都要手動將其編譯為 .class 文件，然后執行。也正是這個原因，JAVA 被稱為編譯型語言，而 Python 被叫做解釋型語言。但事實上，兩種語言執行時都會先編譯成字節碼，然后交給虛擬機執行。

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

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

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

最后要說明的是，你的代碼是怎么執行的只是語言的實現問題，并非語言的特征。上文中，我們討論的是 Python ，但實際上是 CPython 的描述。CPython 是一個解釋器，之所以這么叫，是因為這個解釋器是用 C 編寫的，這也是 Python 默認的解釋器。當然還有其它很多解釋器，比如，PyPy 就是另一種解釋器，使用了 JIT 技術，運行速度相比 CPython 有較大提升。

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

更多Python相關技術文章，請訪問Python教程欄目進行學習！