符号表和类型系统的代码实现

2024-04-30 22:48

本文主要是介绍符号表和类型系统的代码实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本节讲解符号表和类型系统的代码实现,该文档只有结合代码调试视频一起看才容易理解,演示视频的地址为:
http://study.163.com/course/courseMain.htm?courseId=1002830012

前几节,我们讨论的符号表和类型系统的基本原理,这一节,我们看看如何从代码上实现前面我们探讨的内容,毕竟,实践才是检验真理的唯一标准,我们仍然基于前面说过的声明语句:

long int *x, y;

看看,在对该语句的语法解析过程中,如何构造相应的符号表,以及对变量x,y构造他们的类型系统。我们将重走一遍上面语句的语法解析流程,在解析过程中,我将把符号表和类型系统的实现逻辑穿插其中。

语法解析流程及符号表和类型系统的实现

1:解析器首先做一次shift操作,将long读入,然后返回一个TYPE标签。
2: 通过 type_specifier -> TYPE, 进行一次reduce操作,此时,我们生成一个Specifier对象,这样,在解析堆栈顶部的是非终结符type_specifier,在属性堆栈上,对应的是Specifier对象:
这里写图片描述

上图左边对应的是解析堆栈,右边对应的是属性堆栈。

3: 接着是根据表达式type_or_class -> type_specifier, specifiers->type_or_class, 连续进行两次reduce操作,这两次reduce不需要进行任何操作,只需要把第一次生成的Specifier对象传达到相应属性堆栈上就可以,于是,这两次reduce后,解析堆栈和属性堆栈的对应关系如下:
这里写图片描述
4:读取int, 进行一次shift操作,把int对应的标签TYPE,传入解析器.
5:根据type_specifier->TYPE,做一次reduce操作,同时生成对应的Specifier对象, 于是解析堆栈和属性堆栈情形如下:
这里写图片描述
6: 接着根据表达式type_or_class -> type_specifier, 做reduce操作,同时把前一步骤的Specifier对象传入属性堆栈的对应位置:
这里写图片描述
7: 根据表达式表达式 specifiers ->specifiers type_or_class 做reduce操作,这次reduce的同时,我们需要将生成的两个specifier合成一个,完成后解析堆栈和属性堆栈的情况如下:
这里写图片描述
8: 根据opt_specifiers -> specifiers 做一次reduce操作:
这里写图片描述
9:接下来是连续两次shift操作,把*对应的标签START和变量x对应的标签NAME,依次读入解析器。
10:根据表达式 new_name -> NAME, 进行reduce操作,同时生成一个Symbol对象
这里写图片描述
10. 根据表达式var_decl -> new_name 进行reduce操作,这次操作不生成新的对象,只是把上面生成的symbol对象转移到对应的属性堆栈:
这里写图片描述
11:接下来是根据表达式 var_decl -> STAR var_decl做reduce操作,此时由于遇到表示指针的*号,因此要生成一个Declarator对象:

这里写图片描述
12: 根据表达式ext_decl->var_decl, ext_decl_list->ext_decl 做reduce操作:
这里写图片描述
13: 读入逗号,将其对应的标签输入解析器
14: 读入变量y, 将它对应的标签NAME, 读入解析器
15: 像读入x时,一样,生成对应的Symbol对象,然后根据表达式var_decl->new_name, ext_decl->var_decl 进行reduce操作后,堆栈情形如下:
这里写图片描述
16: 根据表达式 ext_decl_list -> ext_decl_list COMMA ext_decl 进行reduce,由于x, y属于同一个作用域,因此此时要将x ,y 对应的Symbol对象连接起来:
这里写图片描述
17:读入分号,并把它的Token输入解析器
18: 根据表达式ext_def->opt_specifiers ext_decl_list SEMI 做reduce操作,此时,把最早创建的Specifier加入到每个Symbol 对象的类型列表中:
这里写图片描述
然后再把Symbol队列中的每一个Symbol对象添加到符号表中,那么整个符号表和类型系统的建立过程就算结束了。

具体的代码解说和调试演示过程请看视频:
http://study.163.com/course/courseMain.htm?courseId=1002830012

这篇关于符号表和类型系统的代码实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/950123

相关文章

Python实例题之pygame开发打飞机游戏实例代码

《Python实例题之pygame开发打飞机游戏实例代码》对于python的学习者,能够写出一个飞机大战的程序代码,是不是感觉到非常的开心,:本文主要介绍Python实例题之pygame开发打飞机... 目录题目pygame-aircraft-game使用 Pygame 开发的打飞机游戏脚本代码解释初始化部

Python实现精准提取 PDF中的文本,表格与图片

《Python实现精准提取PDF中的文本,表格与图片》在实际的系统开发中,处理PDF文件不仅限于读取整页文本,还有提取文档中的表格数据,图片或特定区域的内容,下面我们来看看如何使用Python实... 目录安装 python 库提取 PDF 文本内容:获取整页文本与指定区域内容获取页面上的所有文本内容获取

基于Python实现一个Windows Tree命令工具

《基于Python实现一个WindowsTree命令工具》今天想要在Windows平台的CMD命令终端窗口中使用像Linux下的tree命令,打印一下目录结构层级树,然而还真有tree命令,但是发现... 目录引言实现代码使用说明可用选项示例用法功能特点添加到环境变量方法一:创建批处理文件并添加到PATH1

Java使用HttpClient实现图片下载与本地保存功能

《Java使用HttpClient实现图片下载与本地保存功能》在当今数字化时代,网络资源的获取与处理已成为软件开发中的常见需求,其中,图片作为网络上最常见的资源之一,其下载与保存功能在许多应用场景中都... 目录引言一、Apache HttpClient简介二、技术栈与环境准备三、实现图片下载与保存功能1.

canal实现mysql数据同步的详细过程

《canal实现mysql数据同步的详细过程》:本文主要介绍canal实现mysql数据同步的详细过程,本文通过实例图文相结合给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的... 目录1、canal下载2、mysql同步用户创建和授权3、canal admin安装和启动4、canal

Nexus安装和启动的实现教程

《Nexus安装和启动的实现教程》:本文主要介绍Nexus安装和启动的实现教程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、Nexus下载二、Nexus安装和启动三、关闭Nexus总结一、Nexus下载官方下载链接:DownloadWindows系统根

SpringBoot集成LiteFlow实现轻量级工作流引擎的详细过程

《SpringBoot集成LiteFlow实现轻量级工作流引擎的详细过程》LiteFlow是一款专注于逻辑驱动流程编排的轻量级框架,它以组件化方式快速构建和执行业务流程,有效解耦复杂业务逻辑,下面给大... 目录一、基础概念1.1 组件(Component)1.2 规则(Rule)1.3 上下文(Conte

Java中Map.Entry()含义及方法使用代码

《Java中Map.Entry()含义及方法使用代码》:本文主要介绍Java中Map.Entry()含义及方法使用的相关资料,Map.Entry是Java中Map的静态内部接口,用于表示键值对,其... 目录前言 Map.Entry作用核心方法常见使用场景1. 遍历 Map 的所有键值对2. 直接修改 Ma

MySQL 横向衍生表(Lateral Derived Tables)的实现

《MySQL横向衍生表(LateralDerivedTables)的实现》横向衍生表适用于在需要通过子查询获取中间结果集的场景,相对于普通衍生表,横向衍生表可以引用在其之前出现过的表名,本文就来... 目录一、横向衍生表用法示例1.1 用法示例1.2 使用建议前面我们介绍过mysql中的衍生表(From子句

Mybatis的分页实现方式

《Mybatis的分页实现方式》MyBatis的分页实现方式主要有以下几种,每种方式适用于不同的场景,且在性能、灵活性和代码侵入性上有所差异,对Mybatis的分页实现方式感兴趣的朋友一起看看吧... 目录​1. 原生 SQL 分页(物理分页)​​2. RowBounds 分页(逻辑分页)​​3. Page