首页 > 其他分享 >AST抽象语法树原理与创建

AST抽象语法树原理与创建

时间:2023-01-16 04:22:06浏览次数:72  
标签:词法 AST tree 语法 编译器 抽象 var

AST抽象语法树原理与创建

AST(抽象语法树)

在所有计算机上运行的所有软件都是用某种程序设计语言编写的,但是在一个程序可以运行之前,它首先需要被翻译成一种能够被计算机执行的形式,完成这项翻译工作的软件系统称为编译器(compiler)

语言处理器

编译器

简单地说,一个编译器就是一个程序,它可以阅读以某一种语言(源语言)编写的程序,并把该程序翻译成一个等价、用另一种语言(目标语言)编写的程序,编译器的重要任务之一是报告它在翻译过程中发现的原程序中的错误

解释器

解释器(interpreter)是另一种常见的语言处理器,它并不通过翻译的方式生成目标程序,解释器直接利用用户提供的输入执行源程序中指定的操作

在把用于输入映射成为输出的过程中,由一个编译器产生的机器语言目标程序通常比一个解释器要快很多,然而,解释器的错误诊断效果通常比编译器更好,因为它逐个语句地执行源程序

java语言处理器结合了编译和解释过程,一个java源程序首先被编译成一个称为字节码(bytecode)的中间表示形式,然后由一个虚拟机对得到的字节码加以解释执行,这样设计的好处之一是在一台机器上编译得到的字节码可以在另一台机器上解释执行,通过网络就可以完成机器之间的迁移
为了更快地完成输入到输出的处理,有些被称为即时(just in time)编译器的java编译器在运行中间程序处理输入的前一刻先把字节码翻译成为机器语言,然后再执行程序

 

 

 抽象语法树简介

抽象语法树(abstract syntax code,AST)是源代码的抽象语法结构的树状表示树上的每个节点都表示源代码中的一种结构,这所以说是抽象的,是因为抽象语法树并不会表示出真实语法出现的每一个细节——AST不依赖于具体的文法,不依赖于语言的细节。

比如说,嵌套括号被隐含在树的结构中,并没有以节点的形式呈现。抽象语法树并不依赖于源语言的语法,也就是说语法分析阶段所采用的上下文无文文法,因为在写文法时,经常会对文法进行等价的转换(消除左递归,回溯,二义性等),这样会给文法分析引入一些多余的成分,对后续阶段造成不利影响,甚至会使合个阶段变得混乱。因些,很多编译器经常要独立地构造语法分析树,为前端,后端建立一个清晰的接口。

抽象语法树在很多领域有广泛的应用,比如浏览器,智能编辑器,编译器。

为什么需要将源代码转化为AST

源码转AST

function square(n) {
    return n * n;
}

转换后的AST

{
  type: "FunctionDeclaration",
  id: {
    type: "Identifier",
    name: "square"
  },
  params: [
    {
      type: "Identifier",
      name: "n"
    }
  ],
  ...
};

从纯文本转换成树形结构的数据,每个条目和树中的节点一一对应。

当下的编译器都做了纯文本转AST的事情。

一款编译器的编译流程是很复杂的,但我们只需要关注词法分析和语法分析,这两步是从代码生成AST的关键所在

词法分析

编译器的第一个步骤称为词法分析(lexical analysis)或扫描(scanning),词法分析器读入组成源程序的字符流,并且将它们组织成为有意义的词素(lexeme)的序列,对于每个词素,词法分析器产生如下形式的词法单元(token)作为输出

读取代码,然后把它们按照预定的规则合并成一个个的标识 tokens。同时,它会移除空白符、注释等。最后,整个代码将被分割进一个 tokens 列表(或者说一维数组)

const a = 5;

// 转换成

[{value: 'const', type: 'keyword'}, {value: 'a', type: 'identifier'}, ...]

当词法分析源代码的时候,它会一个一个字母地读取代码,所以很形象地称之为扫描 - scans。当它遇到空格、操作符,或者特殊符号的时候,它会认为一个话已经完成了。

 这个词法单元被传送给下一个步骤,即语法分析,分割词素的空格会被词法分析器忽略掉

 

 

 可以看到,在静态分析、编译原理应用领域,代码优化器这一步可以推广到WEBSHELL恶意代码检测技术上,利用这一步得到的"归一化"代码,可以进行纯词法层面的"恶意特征字符串模式匹配"

语法分析,也称解析器

语法分析(syntax analysis)或解析(parsing),它会将词法分析出来的数组转换成树形的形式,同时,验证语法。语法如果有错的话,抛出语法错误。

语法分析器使用由词法分析器生成的各个词法单元的第一个分量来创建树形的中间表示,该中间表示给出了词法分析产生的词法单元流的语法结构,一个常用的表示方法是语法树(syntax tree),树中的每个内部结点表示一个运算,而该结点的子节点表示该预算的分量(左右参数)

[{value: 'const', type: 'keyword'}, {value: 'a', type: 'identifier'}, ...]

语法分析后的树形形式

{
  type: "VariableDeclarator",
  id: {
    type: "Identifier",
    name: "a"
  },
  ...
}

当生成树的时候,解析器会删除一些没必要的标识 tokens(比如:不完整的括号),因此 AST 不是 100% 与源码匹配的。

解析器100%覆盖所有代码结构生成树叫做CST(具体语法树)

语义分析

语义分析器(semantic analyzer)使用语法树和符号表中的信息来检查源程序是否和语言定义的语义一致,它同时也收集类型信息,并把这些信息存放在语法树或符号表中,以便在随后的中间代码生成过程中使用

语义分析的一个重要部分是类型检查(type checking),编译器检查每个运算符是否具有匹配的运算分量

程序设计语言可能允许某些类型转换,即自动类型转换(coercion)

代码转换之babel

babel 是一个 JavaScript 编译器。宏观来说,它分3个阶段运行代码:解析(parsing) — 将代码字符串转换成 AST抽象语法树,转译(transforming) — 对抽象语法树进行变换操作,生成(generation) — 根据变换后的抽象语法树生成新的代码字符串。

我们给 babel 一段 js 代码,它修改代码然后生成新的代码返回。它是怎么修改代码的呢?没错,它创建了 AST,遍历树,修改 tokens,最后从 AST中生成新的代码。

从AST创建编译单元

编写一个需要生成AST的解决方案,然后应该解析这个AST,以便生成一个有效的编译单元和可用的语义。

1.      AST是通过SyntaxFactory类生成的。 
2.       然后我需要以某种方式获得Compilation
  然后,我将从编译单元获取对SemanticModel的引用。 

创建AST

 我为生成AST而运行的代码如下所示:

var classNode = SyntaxFactory.ClassDeclaration("MyCLass");
classNode = classNode.AddMembers(
  SyntaxFactory.MethodDeclaration(SyntaxFactory.ParseTypeName("string"), "DoIt")
    .WithBody(...));
...

 缺少的部分

 如你所见,第一部分是确定的。 我可以得到我的AST。 但现在我需要将它转换成代码? 如何在AST上调用编译器?

              Compiler                Compilation.GetSemanticModel(AST)
              |                       |
     +-----+  v  +-----------------+  v  +---------------+
+----> AST +-----> CompilationUnit +-----> SemanticModel |
  ^  +-----+     +-----------------+     +---------------+
  |              ^                 ^
  |              |-----------------|
  Factories              ???
 

 请注意,与获取SemanticModel相关的部分已被覆盖,因为我需要使用Compilation对象并通过传递CSharpSyntaxTree调用CSharpSyntaxTree

 

 如果你想知道这是为什么,那是因为我正在写一个测试工具。 不管用途如何, 这种情况应该是可能的 。 怎么样?

I am writing a solution which requires an AST to be generated and then this AST should be parsed in order to generate a valid compilation unit with semantics available.

1.      The AST is generated by means of SyntaxFactory class.
2.      Then I will need to get a Compilation somehow.
3.      Then I will get a reference to SemanticModel from the compilation unit.

Creating the AST

The code I run for generating the AST is something like:

var classNode = SyntaxFactory.ClassDeclaration("MyCLass");
classNode = classNode.AddMembers(
  SyntaxFactory.MethodDeclaration(SyntaxFactory.ParseTypeName("string"), "DoIt")
    .WithBody(...));
...

Missing parts

The first part is ok as you can see. I can get my AST. But now I need to convert it into code? How to invoke the compiler on the AST?:

              Compiler                Compilation.GetSemanticModel(AST)
              |                       |
     +-----+  v  +-----------------+  v  +---------------+
+----> AST +-----> CompilationUnit +-----> SemanticModel |
  ^  +-----+     +-----------------+     +---------------+
  |              ^                 ^
  |              |-----------------|
  Factories              ???

Note that the part relative to getting the SemanticModel is covered as I simly need to use the Compilation object and call GetSemanticModel on that by passing the CSharpSyntaxTree.

If you are wondering why this, it is because of a testing tool I am writing. Regardless of the use, this scenario should be possible. How?

要在Roslyn中创建Compilation ,您需要一个有效的语法树,以获得一个有效的语法树,您可以像解析文本一样:

var tree = CSharpSyntaxTree.ParseText(@"using System;

              namespace HelloWorld

              {

                public class MyType{public void MyMethod(){} public void MySecondMethod(){}}

              }"));

 或者你可以像你写的那样使用SyntaxFactory (或者SyntaxGenerator )。 (只需添加usings和namespace除非您编写CSharpScript ,它是必需的,您还可以检查RoslynQuoter以获取有效的SyntaxTree )

 当你有一个有效的SyntaxTree你可以写这个来获得Compilation和SemanticModel

 var options = new CSharpCompilationOptions(kind);

 var root = (CompilationUnitSyntax)tree.GetRoot();

 var compilation = CSharpCompilation.Create("HelloWorld", options: options).

                   AddReferences(MetadataReference.CreateFromFile(typeof(object).Assembly.Location)).

                   AddSyntaxTrees(tree);

 var model = compilation.GetSemanticModel(tree);

To create Compilation in Roslyn, you need a valid syntax tree, to get a valid syntax tree you can just parse text like:

var tree = CSharpSyntaxTree.ParseText(@"using System;

              namespace HelloWorld

              {

                public class MyType{public void MyMethod(){} public void MySecondMethod(){}}

              }"));

Or you can use SyntaxFactory (or SyntaxGenerator) like you wrote. (just add usings and namespace unless you writing a CSharpScript, its required, You can also check RoslynQuoter to get a valid SyntaxTree)

When you have a valid SyntaxTree you can write this to get a Compilation and SemanticModel

 var options = new CSharpCompilationOptions(kind);

 var root = (CompilationUnitSyntax)tree.GetRoot();

 var compilation = CSharpCompilation.Create("HelloWorld", options: options).                  AddReferences(MetadataReference.CreateFromFile(typeof(object).Assembly.Location)).

                   AddSyntaxTrees(tree);

 var model = compilation.GetSemanticModel(tree);

 

 

参考文献了解

https://www.656463.com/wenda/rhcASTcjbydy_416

https://www.zhoulujun.cn/html/theory/ComputerScienceTechnology/Compiling/2020_0623_8478.html

标签:词法,AST,tree,语法,编译器,抽象,var
From: https://www.cnblogs.com/wujianming-110117/p/17054601.html

相关文章

  • 使用Logstash工具导入sqlserver数据到elasticSearch及elk分布式日志中心
    首先记下这个笔记,Logstash工具导入sqlserver数据到elasticSearch。因为logstash使用java写的,我本地开发是win11,所以javadejdk必须要安装。具体安装不介绍了,就是网上下个j......
  • markdown 语法,md 语法
    markdown语法,md语法1。插入图片,语法:在md文件中输入![***](***),[ ]中为图片显示出出来时,会显示的文字,()为图片的远程地址,或者本地地址。例如:![xx](https://ai-studio......
  • JSP基础语法和指令
           ......
  • docker部署elasticsearch + ik分词器
    Elasticsearch构建docker容器创建文件夹mkdir-pdocker/es/datamkdir-pdocker/es/plugins配置文件cd/docker/esecho"http.host:0.0.0.0">>elasticsearch......
  • java.math.BigDecimal cannot be cast to java.lang.Float
    大致意思:BigDecimal类型不能直接强行转换成Float类型当我用FlinkCDC监听数据库,对获取到的数据进行转换计算时,发生了这个报错,下面是我的代码Floatrating=(Float)value......
  • (已解决)Communications link failure The last packet sent successfully to the s
    使用mybatis逆向工程时,连接数据库出现如下错误:CommunicationslinkfailureThelastpacketsentsuccessfullytotheserverwas0millisecondsago.Thedriverhas......
  • 【Elastic Search】Logstatsh & FileBeat
    Logstash:Data转换,分析,提取,丰富及核心操作:https://blog.csdn.net/UbuntuTouch/article/details/100770828Beats家族(如FileBeat)参考:ES官方博客:Beats入门教程......
  • elasticsearch实现基于拼音搜索
    1、背景一般情况下,有些搜索需求是需要根据拼音和中文来搜索的,那么在elasticsearch中是如何来实现基于拼音来搜索的呢?可以通过elasticsearch-analysis-pinyin分析器来实现。......
  • elasticsearch实现基于拼音搜索
    目录1、背景2、安装拼音分词器3、拼音分词器提供的功能4、简单测试一下拼音分词器4.1dsl4.2运行结果5、es中分词器的组成6、自定义一个分词器实现拼音和中文的搜索1、创......
  • Markdown最基础语法内容
    基础常用语法(大多符号后都要跟一个空格)一、标题1.使用#号可表示1-6级标题,一级标题对应一个#号,二级标题对应两个#号,以此类推。#不要漏了符号和内容之间的空格一......