App下載

當你使用print時,Python是怎么運行的

猿友 2020-08-27 15:16:52 瀏覽數(shù) (2437)
反饋

學(xué)編程這么久了,大家不知道有沒有想過一個問題,當我們執(zhí)行Python時,它是怎么實現(xiàn)的呢?

眾所周知,Python 是一門解釋型的語言

——所謂“解釋型”,當然是區(qū)別于以 C語言 為代表的編譯型語言。編譯型語言需要將整個程序文件全部轉(zhuǎn)換為可以直接由機器執(zhí)行的二進制文件;而解釋型語言則是由相應(yīng)的解釋器一行一行“解釋”并執(zhí)行代碼描述的行為。

正是因此,對于新接觸的人來說,Python這樣的解釋性語言很多時候需要執(zhí)行到相應(yīng)的語句,才會發(fā)現(xiàn)一些顯然的錯誤。

話說回來,Python的解釋器是怎么樣來“解釋”Python代碼的呢?

實際上,類似于Java的執(zhí)行機制,Python也擁有自己的虛擬機。而這個虛擬機實際上執(zhí)行的也是一種“字節(jié)碼”。

Python程序的執(zhí)行中依然存在一個“編譯”的過程:將Python代碼編譯為字節(jié)碼。

并且,Python也提供了一個名為dis模塊,用于查看、分析Python的字節(jié)碼。

1. dis模塊

舉例來說,dis模塊中有一個同名函數(shù)dis,可以用于將當前命名空間中的對象反匯編為字節(jié)碼。

import dis


def add(add_1, add_2):
    sum_value = add_1 + add_2


dis.dis(add)

執(zhí)行結(jié)果為:

  4           0 LOAD_FAST                0 (add_1)
              2 LOAD_FAST                1 (add_2)
              4 BINARY_ADD
              6 STORE_FAST               2 (sum_value)
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE

其中,開頭的數(shù)字“4”表示字節(jié)碼的內(nèi)容對應(yīng)于腳本中第 4 行的內(nèi)容。

隨后的一列數(shù)字則表示對應(yīng)指令所在的地址。縱向觀察可以發(fā)現(xiàn)一個規(guī)律:下一條指令的地址總比上一條指令的地址大 2 。這是巧合嗎?

顯然不是的。官方文檔《dis --- Python 字節(jié)碼反匯編器》中記錄的更改顯示,從Python 3.6版本開始,”每條指令使用2個字節(jié)“。所以每條指令的地址會在上一條指令地址的基礎(chǔ)上加2。

再往后,是一列表示指令含義的單詞組合,實際上就是人類可讀的對應(yīng)指令名稱。顧名思義,LOAD_FAST就是加載某個內(nèi)容/對象到某處,”FAST“很可能意味著這是一個便捷快速的命令實現(xiàn)。

最右邊,則是對應(yīng)于當前命令的操作數(shù),即操作對象。數(shù)字同樣是一個類似于地址的表示,括號中的字符串則表示相應(yīng)對象在Python代碼中的具體名稱。

這樣我們就可以大概地閱讀生成的字節(jié)碼了:

首先Python將函數(shù)add的第一個參數(shù)add_1加載到某處,緊跟著將第二個參數(shù)add_2加載到第一個參數(shù)之后。然后調(diào)用了一個名為BINARY_ADD的指令,即對之前加載的兩個參數(shù)做加法。再然后則是將加法所得的和sum_value存儲在了另一個位置。最后,加載了一個常量None并返回。

其實讀完上面這個執(zhí)行過程,我們很容易想到一種常用的數(shù)據(jù)結(jié)構(gòu)——棧。

像下面這樣:

數(shù)據(jù)結(jié)構(gòu)棧

當然這并不是本文的重點——真要探討Python的實現(xiàn)機制,還得另外寫幾篇長文才能說得一二。

使用dis.dis函數(shù)除了可以查看當前腳本中各個對象對應(yīng)的字節(jié)碼,還可以直接傳入一段代碼對應(yīng)的字符串進行反匯編:

# test_dis.py
import dis




s = """
def add(add_1, add_2):
    sum_value = add_1 + add_2


print("Hello World!")


import sys
"""


dis.dis(s)

匯編結(jié)果:

  2           0 LOAD_CONST               0 (<code object add at 0x0000019FF66DFDB0, file "<dis>", line 2>)
              2 LOAD_CONST               1 ('add')
              4 MAKE_FUNCTION            0
              6 STORE_NAME               0 (add)


  5           8 LOAD_NAME                1 (print)
             10 LOAD_CONST               2 ('Hello World!')
             12 CALL_FUNCTION            1
             14 POP_TOP


  7          16 LOAD_CONST               3 (0)
             18 LOAD_CONST               4 (None)
             20 IMPORT_NAME              2 (sys)
             22 STORE_NAME               2 (sys)
             24 LOAD_CONST               4 (None)
             26 RETURN_VALUE

2. compile函數(shù)

除了在程序中直接給出要反匯編的程序形成的字符串,我們還可以通過使用內(nèi)置函數(shù)compile來形成相應(yīng)腳本的編譯對象,再使用dis.dis查看其字節(jié)碼內(nèi)容。

# test_compile.py
import dis


with open("test_dis.py", "r", encoding="utf-8") as f:
    s = f.read()


compile_obj = compile(s, "test_dis.py","exec")


dis.dis(compile_obj)

字節(jié)碼輸出結(jié)果:

  1           0 LOAD_CONST               0 (0)
              2 LOAD_CONST               1 (None)
              4 IMPORT_NAME              0 (dis)
              6 STORE_NAME               0 (dis)


 11           8 LOAD_CONST               2 ('\ndef add(add_1, add_2):\n    sum_value = add_1 + add_2\n\nprint("Hello World!")\n\nimport sys\n')
             10 STORE_NAME               1 (s)


 13          12 LOAD_NAME                0 (dis)
             14 LOAD_METHOD              0 (dis)
             16 LOAD_NAME                1 (s)
             18 CALL_METHOD              1
             20 POP_TOP
             22 LOAD_CONST               1 (None)
             24 RETURN_VALUE

總結(jié)

dis模塊為我們提供了一個觀察Python內(nèi)部機制的手段,恰當?shù)厥褂?code>dis模塊,并結(jié)合其他方法,可以快速有效弄懂一些Python令人迷惑的地方。

(推薦微課:python3基礎(chǔ)微課

希望大家善于利用這樣一些有用的工具。

文章來源:公眾號--Python技術(shù) 作者:軒轅御龍

以上就是W3Cschool編程獅關(guān)于 當你使用print時,Python是怎么運行的 的相關(guān)介紹了,希望對大家有所幫助。

0 人點贊