首頁(yè) > 資訊 > 知識(shí) > ast抽象語(yǔ)法樹，Ocaml語(yǔ)言編程 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以

ast抽象語(yǔ)法樹，Ocaml語(yǔ)言編程 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以

來(lái)源：整理時(shí)間：2023-08-16 15:26:56 編輯：智能門戶手機(jī)版

本文目錄一覽

1，Ocaml語(yǔ)言編程 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以
2，用Java怎么解析CC代碼生成AST抽象語(yǔ)法樹結(jié)構(gòu)
3，各種編程語(yǔ)言抽象語(yǔ)法樹分別是什么樣子的
4，如何使用AST生成程序的控制流圖
5，生成ast語(yǔ)法樹怎么獲取函數(shù)與函數(shù)之間的調(diào)用關(guān)系
6，抽象語(yǔ)法樹的結(jié)構(gòu)

1，Ocaml語(yǔ)言編程 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以

您好，這樣的：抽象語(yǔ)法樹的結(jié)構(gòu)不依賴于源語(yǔ)言的文法，也就是語(yǔ)法分析階段所采用的上下文無(wú)關(guān)文法。因?yàn)樵赑arser工程中，經(jīng)常會(huì)對(duì)文法進(jìn)行等價(jià)的轉(zhuǎn)換（消除左遞歸、回溯、二義性等），這樣會(huì)給文法引入一些多余的成分，對(duì)后續(xù)階段造成不利影響，甚至?xí)垢麟A段變得混亂。因此，很多編譯器（包括GJC）經(jīng)常要獨(dú)立地構(gòu)造語(yǔ)法分析樹，為前、后端建立一個(gè)清晰的接口。

Ocaml語(yǔ)言編程 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以

2，用Java怎么解析CC代碼生成AST抽象語(yǔ)法樹結(jié)構(gòu)

其中一個(gè)明顯的例子是Eclipse CDT里的parser。它是完全用Java實(shí)現(xiàn)的，手寫的遞歸下降parser，能把C或C++源碼parse成AST供Eclipse CDT的IDE功能使用。它支持C99語(yǔ)法（包括GCC擴(kuò)展）、C++語(yǔ)法（我沒仔細(xì)看現(xiàn)在支持到什么版本了）等。它并不用于實(shí)際的編譯（這跟Eclipse JDT里的Eclipse Compiler for Java不同）；實(shí)際編譯還是交給諸如GCC、xlc之類的編譯器去完成。關(guān)于Eclipse CDT里的C與C++ parser的介紹，請(qǐng)參考

用Java怎么解析CC代碼生成AST抽象語(yǔ)法樹結(jié)構(gòu)

3，各種編程語(yǔ)言抽象語(yǔ)法樹分別是什么樣子的

LISP的AST極像代碼是有原因的，LISP用的S-expression本身就是一個(gè)中間語(yǔ)言，相當(dāng)于抽象語(yǔ)法樹生成的中間代碼，用來(lái)生成目標(biāo)代碼的。本來(lái)McCarthy是想用和我們現(xiàn)在使用的語(yǔ)言比較像的M-expression的，但是當(dāng)時(shí)LISP程序員更喜歡用那個(gè)中間形式的S-expression，于是就保留下來(lái)了。

while（初始值；判斷條件） { 初始值自增或者自減； } switch（條件）//條件般數(shù)字判斷數(shù)字幾； { case 0；//條件等于0候執(zhí)行； break；//結(jié)束語(yǔ)句結(jié)束循環(huán)； case 1://條件等于1候執(zhí)行 break；//結(jié)束語(yǔ)句； case2: default：條件都滿足候執(zhí)行語(yǔ)句； break； }

各種編程語(yǔ)言抽象語(yǔ)法樹分別是什么樣子的

4，如何使用AST生成程序的控制流圖

對(duì)一個(gè)有結(jié)構(gòu)化編程特性的編程語(yǔ)言而言，抽象語(yǔ)法樹（AST）與“流分析”（flow analysis）不夠兼容的地方在于：這些編程語(yǔ)言會(huì)有分支、循環(huán)、跳轉(zhuǎn)（break/continue，或者像C#那樣受限的goto）、異常處理等語(yǔ)法結(jié)構(gòu)，它們隱含了不連續(xù)的控制流；而AST的結(jié)構(gòu)雖然已經(jīng)省略了一些語(yǔ)法細(xì)節(jié)，但仍然貼近語(yǔ)言的語(yǔ)法，所以AST里控制流往往是隱含在上述語(yǔ)法結(jié)構(gòu)對(duì)應(yīng)的節(jié)點(diǎn)里。更糟糕的是，這些編程語(yǔ)言中許多都有條件表達(dá)式（典型的是 ? : 三元運(yùn)算符）以及帶有短路求值語(yǔ)義的邏輯運(yùn)算表達(dá)式（典型的是 &&、|| 二元運(yùn)算符），這些“表達(dá)式”內(nèi)也隱含控制流，更是藏得深。所以正統(tǒng)做法推薦的是在做數(shù)據(jù)流分析之前，先把AST轉(zhuǎn)換為一種更細(xì)粒度的、把控制流顯式暴露出來(lái)的中間表示（IR）?；痰淖龇ㄕ侨绱?，第7章介紹從AST生成IR，第8章介紹了IR里的控制流與基本塊。前面 @vczh 和 @陳煒的回答都提到了這一點(diǎn)。 @邵成的回答提到龍書第8～9章，我覺得把第6章（特別是6.6 Control Flow）也包括進(jìn)來(lái)更好。對(duì)數(shù)據(jù)流分析來(lái)說(shuō)，IR無(wú)論是樹形、DAG還是線性形式都沒關(guān)系，只要控制流和數(shù)據(jù)依賴易于分析就好。SSA形式的IR可以把兩者都顯式暴露出來(lái)，特別是use-def關(guān)系（并且有些IR會(huì)額外維護(hù)def-use關(guān)系），所以在現(xiàn)代編譯器和程序分析器里比較流行。

5，生成ast語(yǔ)法樹怎么獲取函數(shù)與函數(shù)之間的調(diào)用關(guān)系

結(jié)構(gòu)化編程特性編程語(yǔ)言言抽象語(yǔ)樹（AST）與流析（flow analysis）夠兼容于：些編程語(yǔ)言支、循環(huán)、跳轉(zhuǎn)（break/continue或者像C#受限goto）、異處理等語(yǔ)結(jié)構(gòu)隱含連續(xù)控制流；AST結(jié)構(gòu)雖已經(jīng)省略些語(yǔ)細(xì)節(jié)仍貼近語(yǔ)言語(yǔ)所AST控制流往往隱含述語(yǔ)結(jié)構(gòu)應(yīng)節(jié)點(diǎn)更糟糕些編程語(yǔ)言許都條件表達(dá)式（典型 ? : 三元運(yùn)算符）及帶短路求值語(yǔ)義邏輯運(yùn)算表達(dá)式（典型 &&、|| 二元運(yùn)算符）些表達(dá)式內(nèi)隱含控制流更藏深所統(tǒng)做推薦做數(shù)據(jù)流析前先AST轉(zhuǎn)換種更細(xì)粒度、控制流顯式暴露間表示（IR）虎書教做第漆章介紹ASTIR第吧章介紹IR控制流與基本塊前面 @vczh @陳煒答都提點(diǎn) @邵答提龍書第吧～9章我覺第陸章（特別陸.陸 Control Flow）包括進(jìn)更數(shù)據(jù)流析說(shuō)IR論樹形、DAG線性形式都沒關(guān)系要控制流數(shù)據(jù)依賴易于析SSA形式IR兩者都顯式暴露特別use-def關(guān)系（并且些IR額外維護(hù)def-use關(guān)系）所現(xiàn)代編譯器程序析器比較流

irr(values,guess)　　values 為數(shù)組或單元格的引用，包含用來(lái)計(jì)算返回的內(nèi)部收益率的數(shù)字?！　　?values 必須包含至少一個(gè)正值和一個(gè)負(fù)值，以計(jì)算返回的內(nèi)部收益率?！　　?函數(shù) irr 根據(jù)數(shù)值的順序來(lái)解釋現(xiàn)金流的順序。故應(yīng)確定按需要的順序輸入了支付和收入的數(shù)值?！　　?如果數(shù)組或引用包含文本、邏輯值或空白單元格，這些數(shù)值將被忽略?！　uess 為對(duì)函數(shù) irr 計(jì)算結(jié)果的估計(jì)值?！　　ps表格使用迭代法計(jì)算函數(shù) irr。從 guess 開始，函數(shù) irr 進(jìn)行循環(huán)計(jì)算，直至結(jié)果的精度達(dá)到 0.00001%。如果函數(shù) irr 經(jīng)過(guò) 20 次迭代，仍未找到結(jié)果，則返回錯(cuò)誤值 #num!?！　　?在大多數(shù)情況下，并不需要為函數(shù) irr 的計(jì)算提供 guess 值。如果省略 guess，假設(shè)它為 0.1 (10%)?！　　?如果函數(shù) irr 返回錯(cuò)誤值 #num!，或結(jié)果沒有靠近期望值，可用另一個(gè) guess 值再試一次。

6，抽象語(yǔ)法樹的結(jié)構(gòu)

抽象語(yǔ)法樹的結(jié)構(gòu)不依賴于源語(yǔ)言的文法，也就是語(yǔ)法分析階段所采用的上下文無(wú)關(guān)文法。因?yàn)樵赑arser工程中，經(jīng)常會(huì)對(duì)文法進(jìn)行等價(jià)的轉(zhuǎn)換（消除左遞歸、回溯、二義性等），這樣會(huì)給文法引入一些多余的成分，對(duì)后續(xù)階段造成不利影響，甚至?xí)垢麟A段變得混亂。因此，很多編譯器（包括GJC）經(jīng)常要獨(dú)立地構(gòu)造語(yǔ)法分析樹，為前、后端建立一個(gè)清晰的接口。下圖是hello.java中的“hello world“程序的AST示例:

在計(jì)算機(jī)科學(xué)中，抽象語(yǔ)法樹（abstract syntax tree或者縮寫為ast），或者語(yǔ)法樹（syntax tree），是源代碼的抽象語(yǔ)法結(jié)構(gòu)的樹狀表現(xiàn)形式，這里特指編程語(yǔ)言的源代碼。樹上的每個(gè)節(jié)點(diǎn)都表示源代碼中的一種結(jié)構(gòu)。之所以說(shuō)語(yǔ)法是“抽象”的，是因?yàn)檫@里的語(yǔ)法并不會(huì)表示出真實(shí)語(yǔ)法中出現(xiàn)的每個(gè)細(xì)節(jié)。比如，嵌套括號(hào)被隱含在樹的結(jié)構(gòu)中，并沒有以節(jié)點(diǎn)的形式呈現(xiàn)；而類似于if-condition-then這樣的條件跳轉(zhuǎn)語(yǔ)句，可以使用帶有兩個(gè)分支的節(jié)點(diǎn)來(lái)表示?！　『统橄笳Z(yǔ)法樹相對(duì)的是具體語(yǔ)法樹（concrete syntaxtree），通常稱作分析樹（parse tree）。一般的，在源代碼的翻譯和編譯過(guò)程中，語(yǔ)法分析器創(chuàng)建出分析樹。一旦ast被創(chuàng)建出來(lái)，在后續(xù)的處理過(guò)程中，比如語(yǔ)義分析階段，會(huì)添加一些信息。

在計(jì)算機(jī)科學(xué)中，抽象語(yǔ)法樹（abstract syntax tree或者縮寫為ast），或者語(yǔ)法樹（syntax tree），是源代碼的抽象語(yǔ)法結(jié)構(gòu)的樹狀表現(xiàn)形式，這里特指編程語(yǔ)言的源代碼。樹上的每個(gè)節(jié)點(diǎn)都表示源代碼中的一種結(jié)構(gòu)。之所以說(shuō)語(yǔ)法是“抽象”的，是因?yàn)檫@里的語(yǔ)法并不會(huì)表示出真實(shí)語(yǔ)法中出現(xiàn)的每個(gè)細(xì)節(jié)。比如，嵌套括號(hào)被隱含在樹的結(jié)構(gòu)中，并沒有以節(jié)點(diǎn)的形式呈現(xiàn)；而類似于if-condition-then這樣的條件跳轉(zhuǎn)語(yǔ)句，可以使用帶有兩個(gè)分支的節(jié)點(diǎn)來(lái)表示。　　和抽象語(yǔ)法樹相對(duì)的是具體語(yǔ)法樹（concrete syntaxtree），通常稱作分析樹（parse tree）。一般的，在源代碼的翻譯和編譯過(guò)程中，語(yǔ)法分析器創(chuàng)建出分析樹。一旦ast被創(chuàng)建出來(lái)，在后續(xù)的處理過(guò)程中，比如語(yǔ)義分析階段，會(huì)添加一些信息。

文章TAG：抽象抽象語(yǔ)法抽象語(yǔ)法樹語(yǔ)法 ast抽象語(yǔ)法樹 AST文件抽象語(yǔ)法樹定義了 stmt可以是stmt也可以