Python是一門解釋型語言?
沒學Python前,一直以為Python是一門解釋型語言,當學習是,發現了*.pyc文件的存在,才知道哪是一廂情願了。如果Python是解釋型語言,那么生成*.pyc文件是什么呢?C應該是compiled的縮寫才對啊!
下面看看一些基礎概念。
解釋型語言和編譯型語言
計算機是不能夠識別高級語言的,所以當我們運行一個高級語言程序的時候,就需要一個“翻譯機”來從事把高級語言轉變成計算機能讀懂的機器語言的過程。這個過程分成兩類,第一種是編譯,第二種是解釋。
編譯型語言在程序執行之前,先會通過編譯器對程序執行一個編譯的過程,把程序轉變成機器語言。運行時就不需要翻譯,而直接執行就可以了。最典型的例子就是C語言。
解釋型語言就沒有這個編譯的過程,而是在程序運行的時候,通過解釋器對程序逐行做出解釋,然后直接運行,最典型的例子是Ruby。
通過以上的例子,我們可以來總結一下解釋型語言和編譯型語言的優缺點,因為編譯型語言在程序運行之前就已經對程序做出來“翻譯”,所以在運行時就少掉了“翻譯‘的過程,所以效率比較高。但是我們也不能一概而論,一些解釋型語言也可以通過解釋器的優化來在對程序做出翻譯時對整個程序做出優化,從而在效率上超過編譯型語言。
此外,隨着Java等基於虛擬機的語言的興起,我們又不能把語言純粹地分成解釋型和編譯型這兩種。
用Java來舉例,Java首先是通過編譯器編譯成字節碼文件,然后在運行時通過解釋器個解釋成機器文件。所以我們說Java是一種先編譯后解釋的語言。
Python到底是什么?
其實Python和Java/C#一樣,也是一門基於虛擬機的語言,我們先來從表面上簡單地了解一下Python程序的運行過程吧。
當我們在命令行中輸入Python hello.py時,其實是激活了Python的”解釋器“:你要開始工作了。開始在”解釋“之前,其實執行的第一項工作和Java一樣,是編譯。
熟悉Java的可以想一下我們在命令行中如何執行一個Java的程序:
javac hell.java
java hello
只是我們在用eclipse之類的IDE時,將這兩部分給融合成了一部分而已。其實Python也一樣,當我們執行Python hello.py時,他也一樣執行了這么一個過程,所以我們應該這樣來描述Python,Python是一門先編譯后解釋的語言。
簡述Python的運行過程
在說這個問題之前,我們先來說兩個概念,PyCodeObject和pyc文件。
我們在硬盤上看到的pyc自然不必多說,而其實PyCodeObject中,當Python程序運行結束時,Python解釋器則將PyCodeObject寫回到pyc文件中。
當Python程序第二次運行時,首先程序會在硬盤中尋找到pyc文件,如果找到,則直接載入,否則就重復上面的過程。
所以我們應該這樣來定位PyCodeObject和pyc文件,我們所pyc文件其實是PyCodeObject的一種持久化保存方式。