第Python虛擬機(jī)字節(jié)碼之控制流怎么實(shí)現(xiàn)if__name__==__mAIn__:

dis.dis(test_control01)

上面的程序輸出結(jié)果如下所示：

60LOAD_CONST1(1)

2STORE_FAST0(a)

84LOAD_FAST0(a)

6LOAD_CONST1(1)

8COMPARE_OP4()

10POP_JUMP_IF_FALSE22

912LOAD_GLOBAL0(print)

14LOAD_CONST2(a1)

16CALL_FUNCTION1

18POP_TOP

20JUMP_FORWARD26(to48)

1022LOAD_FAST0(a)

24LOAD_CONST1(1)

26COMPARE_OP0()

28POP_JUMP_IF_FALSE40

1130LOAD_GLOBAL0(print)

32LOAD_CONST3(a1)

34CALL_FUNCTION1

36POP_TOP

38JUMP_FORWARD8(to48)

1340LOAD_GLOBAL0(print)

42LOAD_CONST4(a==1)

44CALL_FUNCTION1

46POP_TOP

48LOAD_CONST0(None)

50RETURN_VALUE

我們現(xiàn)在來(lái)模擬一下上面的字節(jié)碼執(zhí)行過(guò)程，我們使用counter表示當(dāng)前字節(jié)碼的執(zhí)行位置：

在字節(jié)碼還沒(méi)開始執(zhí)行之前，?？臻g和counter的狀態(tài)如下：

現(xiàn)在執(zhí)行第一條字節(jié)碼LOAD_CONST，執(zhí)行完之后counter=2，因?yàn)檫@條字節(jié)碼占一個(gè)字節(jié)，參數(shù)棧一個(gè)字節(jié)，因此下次執(zhí)行的字節(jié)碼的位置在bytecode的低三個(gè)位置，對(duì)應(yīng)的下標(biāo)為2，因此counter=2。

現(xiàn)在執(zhí)行第二條字節(jié)碼STORE_FAST，讓a指向1，同樣的STORE_FAST操作碼和操作數(shù)各占一個(gè)字節(jié)，因此執(zhí)行完這條字節(jié)碼之后?？臻g沒(méi)有數(shù)據(jù)，counter=4。

接下來(lái)LOAD_FAST將a指向的對(duì)象也就是1加載進(jìn)入棧中，此時(shí)的counter=6，LOAD_CONST將常量1加載進(jìn)行入?？臻g當(dāng)中，此時(shí)counter=8，在執(zhí)行完這兩條指令之后，?？臻g的變化如下圖所示：

接下來(lái)的一條指令是COMPARE_OP，這個(gè)指令有一個(gè)參數(shù)表示比較的符號(hào)，這里是比較a1，并且會(huì)將比較的結(jié)果壓入棧中，比較的結(jié)果是false，因?yàn)镃OMPARE_OP首先會(huì)將棧空間的兩個(gè)輸入彈出，因此在執(zhí)行完這條指令之后棧空間和counter的值如下：

下面一條指令為POP_JUMP_IF_FALSE，根據(jù)前面的字節(jié)碼含義，這個(gè)字節(jié)碼會(huì)將棧頂?shù)膄alse彈出，并且會(huì)進(jìn)行跳轉(zhuǎn)，并且將counter的值直接編程參數(shù)的值，這里他的參數(shù)是22，因此counter=22，在執(zhí)行完這條指令之后，結(jié)果如下：

因?yàn)楝F(xiàn)在已經(jīng)跳轉(zhuǎn)到了22，因此接下來(lái)執(zhí)行的指令為L(zhǎng)OAD_FAST，將變量a加載進(jìn)入?？臻g，LOAD_CONST將常量1加載進(jìn)入棧空間，在執(zhí)行完這兩條執(zhí)行之后，變化情況如下：

在次執(zhí)行POP_JUMP_IF_FALSE，這回的結(jié)果也是false，因此繼續(xù)執(zhí)行POP_JUMP_IF_FALSE，這次的參數(shù)是40，直接將counter的值設(shè)置成40。

接下來(lái)LOAD_GLOBAL加載一個(gè)全局變量print函數(shù)counter變成42，LOAD_CONST加載字符串a(chǎn)==1進(jìn)入?？臻g，counter=44，此時(shí)狀態(tài)如下：

CALL_FUNCTION這個(gè)字節(jié)碼有一個(gè)參數(shù)，表示調(diào)用函數(shù)的參數(shù)的個(gè)數(shù)，這里是1，因?yàn)閜rint函數(shù)只有一個(gè)參數(shù)，然后輸出字符串a(chǎn)==1，但是這里需要