AST抽象語(yǔ)法樹(shù)根本不是 Python 獨(dú)有的東西它是所有現(xiàn)代高級(jí)編程語(yǔ)言C, C, Java, Go, Rust, Python編譯和解釋過(guò)程的“絕對(duì)核心”和“通用語(yǔ)言”。**1. 所有的語(yǔ)言第一步都是“造樹(shù)”無(wú)論是 C 語(yǔ)言還是 Python計(jì)算機(jī)都不認(rèn)識(shí)人類寫的文本代碼。所以它們的第一步都是詞法分析Lexical Analysis和語(yǔ)法分析Syntax Analysis。C 語(yǔ)言gcc 編譯器把int a b 1;解析成 C 語(yǔ)言規(guī)范的 AST 樹(shù)。Python解釋器把a(bǔ) b 1解析成 Python 規(guī)范的 AST 樹(shù)。在這個(gè)階段大家做的事情是一模一樣的把線性的文本變成結(jié)構(gòu)化的樹(shù)。2. 分道揚(yáng)鑣造完樹(shù)之后干什么這是 C 語(yǔ)言和 Python 最大的區(qū)別也是它們底層架構(gòu)的不同走向C 語(yǔ)言編譯型語(yǔ)言AST 是為了“翻譯成機(jī)器碼”C 語(yǔ)言生成 AST 后編譯器會(huì)進(jìn)行極其復(fù)雜的語(yǔ)義分析、優(yōu)化比如死代碼消除、常量折疊最后把這棵 AST 樹(shù)翻譯成底層的匯編語(yǔ)言再變成機(jī)器碼.exe或二進(jìn)制文件。AST 在這里是通往機(jī)器碼的“橋梁”。Python解釋型語(yǔ)言AST 是為了“動(dòng)態(tài)執(zhí)行”Python 生成 AST 后它不會(huì)去翻譯成機(jī)器碼而是直接把 AST 轉(zhuǎn)換成 Python 虛擬機(jī)CPython能看懂的字節(jié)碼Bytecode然后由解釋器一行行執(zhí)行。AST 在這里是通往字節(jié)碼的“橋梁”。3. 為什么 Python 的 AST 讓你覺(jué)得“更高級(jí)”既然 C 語(yǔ)言也有 AST為什么我們?cè)?Python 里能隨便拿 AST 出來(lái)玩比如 Pytest 的斷言重寫而 C 語(yǔ)言里卻很少見(jiàn)因?yàn)镃 語(yǔ)言是靜態(tài)語(yǔ)言而 Python 是動(dòng)態(tài)語(yǔ)言在 C 語(yǔ)言里AST 在編譯階段就被“消耗”掉了變成了死板的二進(jìn)制機(jī)器碼。你沒(méi)法在 C 語(yǔ)言運(yùn)行的時(shí)候去修改它的 AST。在 Python 里AST 是運(yùn)行時(shí)Runtime可訪問(wèn)的Python 官方直接把a(bǔ)st模塊暴露給了開(kāi)發(fā)者。這意味著你可以在 Python 程序運(yùn)行的時(shí)候去讀取、修改、甚至動(dòng)態(tài)生成 AST 樹(shù)。這就是為什么 Python 能做到那么多極其靈活的“元編程Metaprogramming”和“魔法”。