C语法归约之变量声明和定义（0）

最新推荐文章于 2024-02-29 01:07:41 发布
最新推荐文章于 2024-02-29 01:07:41 发布
阅读量2.1k 收藏 1
点赞数 3
分类专栏： C编译 编程语言 文章标签： 编译原理 c语言 语法归约 gcc LR
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cwcmcw/article/details/39378607
版权
本文深入探讨C语言C99规范下的语法归约，通过实例分析了基本全局变量、结构联合枚举类型的声明和定义以及初始化过程，揭示C语言的编译秘密。
摘要由CSDN通过智能技术生成

0前言

闲来无事，在屋里多看了一眼《编译原理》（2V），有练练手的冲动——采用LR(1)技术，写了一个C语言的语法归约器！之所以用LR(1)是因为gcc，ucc，tcc和lcc跟商量好似的，清一色的用的LL归约技术，书上也是讲的跟天花一样漂亮，那么就说明它已经十分成熟了，如果再使用LL技术实在是炸不出价值来，源码一抓一大把，看看就够了，重写必要性不大！另外，书中的LR技术讲的项集又是大的没谱，工作量太大；如果使用工具yacc生成，又不知道它咋搞的猫腻，所以就没有踩它们的脚印，自己整套方法high起来^!^！至于后期要不要增加编译的其他部分，再说。现在用它来拉拉风！顺便解释下C语言真正机密——归约！

1、C语言C99文法树

C99文法树图，这是C99标准文法，画成图了，方便查阅，便于理解。其中实线是归约方向，虚线箭头不是归约指向，是箭头指向的产生式中此非终结符的产生式，实线箭头相连两头构成一个产生式！（注：图较大，显示太小，请自行右键图片另存为下载该图片查阅或者干脆查看C99文法，都中）
值得提醒一点的是，单纯从文法上讲，它不是树，更准确的说是图，但为了方便理解，中间交织的内容就没有连接，从而看上去还像一颗树
a、表达式（注，为了便于理解运算符优先级，这部分化成了圈）

b、声明，定义，初始化，抽象类型部分（注，图中有opt的，则表示前面的非终结符可选）


c、语句部分（注，图中有opt的，则表示前面的非终结符可选，鉴于图片大小分布，没有展开）

d、外部定义

e、合成总图（几部分的连接不是绝对的对应，比如expression在多处出现，我只是简单链接一条示意了一下，不要钻牛尖哦）

2、实例探究

如果你没有C语言基础，请按照下面步骤执行，一移动鼠标到浏览器的X,二点击关闭，over，(*^__^*) ！如果你是初学者，可能会有点好处；前提是下文你得看得懂！如果你是个码农，可能你会看到之前你没有看到的C的另一层面！如果你是个高级工程师且懂得编译，那么你也按照上面两步走或者高手ALT-F4即可！
阅读说明：（对读懂很重要）
0-仅归约过程，无符号表处理，因此不检查ID的冲突和不对typedef的类型归约
1-归约过程输出的是归约栈的整个栈当前状态
2-连续的栈输出，表示curr的多次归约
3-栈顶非终结符是从上步归约而来
     比如：
     declaration-specifiers direct-declarator 
     declaration-specifiers declarator
     其中declarator是从direct-declarator归约而来
     再比如：
     declaration-list type-specifier declaration-specifiers 
     declaration-list declaration-specifiers 
     其中declaration-specifiers是由type-specifier declaration-specifiers 归约而来，等等
4-curr输出当前归约的终结符，next是预取下一个要归约的终结符
5-如果curr输出是ID，STR，CONSTANT，则它的真实值是前面的next输出.比如下面的curr: ID, next ; 那么这个ID就是右上vali
6-要结合上面的文法图或者C99标准来解读
7-任何无语法错误的源程序都要归约成一棵树！根结点就是translation-unit
话说千言万语不如一个好例子。当然不可能在这里穷举所有相关语法的实例，而只在常用重点上举几个例子！看看 C语言是怎么被解析的！
2.1、基本全局变量
示例代码 
int vali;
char valc;
short vals;
long vall;
unsigned int valui;
signed int valsi;
/*其余float double double float 
  unsigned char, signed char, unsigned short, signed short
  unsigned long, signed long都一样的归约过程,不多余举例*/
归约树 
curr: int  next: vali  
type-specifier 
declaration-specifiers 

curr: ID  next: ;  
declaration-specifiers direct-declarator 
declaration-specifiers declarator 
declaration-specifiers init-declarator 
declaration-specifiers init-declarator-list 

curr: ;  next: char  
declaration 
declaration-list 
//归约char valc;
curr: char  next: valc  
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ID  next: ;  
declaration-list declaration-specifiers direct-declarator 
declaration-list declaration-specifiers declarator 
declaration-list declaration-specifiers init-declarator 
declaration-list declaration-specifiers init-declarator-list 

curr: ;  next: short  
declaration-list declaration 
declaration-list 
//归约short vals;
curr: short  next: vals  
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ID  next: ;  
declaration-list declaration-specifiers direct-declarator 
declaration-list declaration-specifiers declarator 
declaration-list declaration-specifiers init-declarator 
declaration-list declaration-specifiers init-declarator-list 

curr: ;  next: long  
declaration-list declaration 
declaration-list 
//归约long vall;
curr: long  next: vall  
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ID  next: ;  
declaration-list declaration-specifiers direct-declarator 
declaration-list declaration-specifiers declarator 
declaration-list declaration-specifiers init-declarator 
declaration-list declaration-specifiers init-declarator-list 

curr: ;  next: unsigned  
declaration-list declaration 
declaration-list 
//归约unsigned int valui;
curr: unsigned  next: int  
declaration-list type-specifier 

curr: int  next: valui  
declaration-list type-specifier type-specifier 
declaration-list type-specifier declaration-specifiers 
declaration-list declaration-specifiers 

curr: ID  next: ;  
declaration-list declaration-specifiers direct-declarator 
declaration-list declaration-specifiers declarator 
declaration-list declaration-specifiers init-declarator 
declaration-list declaration-specifiers init-declarator-list 

curr: ;  next: signed  
declaration-list declaration 
declaration-list 
//归约signed int valsi;
curr: signed  next: int  
declaration-list type-specifier 

curr: int  next: valsi  
declaration-list type-specifier type-specifier 
declaration-list type-specifier declaration-specifiers 
declaration-list declaration-specifiers 

curr: ID  next: ;  
declaration-list declaration-specifiers direct-declarator 
declaration-list declaration-specifiers declarator 
declaration-list declaration-specifiers init-declarator 
declaration-list declaration-specifiers init-declarator-list 

curr: ;  next: NULL  
declaration-list declaration 
declaration-list 
translation-unit //完成
提示
int vali;归约过程为例子

int->type-specifier->declaration-specifiers(1)
ID->direct-declarator->declarator->init-declarator->init-declarator-list (2)
(1)和（2）->declaration.
由于下面还有变量的定义，因此
declaration->declaration-list


上面其他变量的归约过程基本一样，不多解释！
从语法来讲，void, char, short, int, long, float, double, unsigned, signed,可以任意组合N长的类型说明符，比如long long long long int unsigned char short,这8个当成一个类型也是能正确归约的。当然它没有意义！有没有意义这是类型检测的工作，属于后话，先不说！

2.2、结构联合枚举类型声明和定义
示例代码 
struct AA;
union BB;
enum CC;

struct girl {
	int ga, gb, gc;
};

struct boy {
	struct girl bl;
};

struct woman {
	union inner {
		struct girl gg;
		struct boy bb;
	}sex;
};

union type{
	int vali;
	char ch;
	long vall;
};

enum tag{
	FIRST,
	FOLLOW,
	LAST,
	TEST
};
归约树 

curr: struct  next: AA  

curr: ID  next: ;  
struct-specifier 
type-specifier 
declaration-specifiers 

curr: ;  next: union  
declaration 
declaration-list 
//归约union BB;
curr: union  next: BB  

curr: ID  next: ;  
declaration-list union-specifier 
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ;  next: enum  
declaration-list declaration 
declaration-list 
//归约enum CC;
curr: enum  next: CC  

curr: ID  next: ;  
declaration-list enum-specifier 
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ;  next: struct  
declaration-list declaration 
declaration-list 
/*归约struct girl {
int ga, gb, gc;
};*/
curr: struct  next: girl  

curr: ID  next: {  

curr: {  next: int  

curr: int  next: ga  
declaration-list struct ID { type-specifier 
declaration-list struct ID { specifier-qualifier-list 

curr: ID  next: ,  
declaration-list struct ID { specifier-qualifier-list direct-declarator 
declaration-list struct ID { specifier-qualifier-list declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list 

curr: ,  next: gb  

curr: ID  next: ,  
declaration-list struct ID { specifier-qualifier-list struct-declarator-list , direct-declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list , declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list 

curr: ,  next: gc  

curr: ID  next: ;  
declaration-list struct ID { specifier-qualifier-list struct-declarator-list , direct-declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list , declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list 

curr: ;  next: }  
declaration-list struct ID { struct-declaration 
declaration-list struct ID { struct-declaration-list 

curr: }  next: ;  
declaration-list struct-specifier 
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ;  next: struct  
declaration-list declaration 
declaration-list 
/*归约struct boy {
struct girl bl;
};*/
curr: struct  next: boy  

curr: ID  next: {  

curr: {  next: struct  

curr: struct  next: girl  

curr: bl  next: ID  
declaration-list struct ID { struct-specifier 
declaration-list struct ID { type-specifier 
declaration-list struct ID { specifier-qualifier-list 

curr: ID  next: ;  
declaration-list struct ID { specifier-qualifier-list direct-declarator 
declaration-list struct ID { specifier-qualifier-list declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list 

curr: ;  next: }  
declaration-list struct ID { struct-declaration 
declaration-list struct ID { struct-declaration-list 

curr: }  next: ;  
declaration-list struct-specifier 
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ;  next: struct  
declaration-list declaration 
declaration-list 
/*归约struct woman {
union inner {
struct girl gg;
struct boy bb;
}sex;
};*/
curr: struct  next: woman  

curr: ID  next: {  

curr: {  next: union  

curr: union  next: inner  

curr: ID  next: {  

curr: {  next: struct  

curr: struct  next: girl  

curr: gg  next: ID  
declaration-list struct ID { union ID { struct-specifier 
declaration-list struct ID { union ID { type-specifier 
declaration-list struct ID { union ID { specifier-qualifier-list 

curr: ID  next: ;  
declaration-list struct ID { union ID { specifier-qualifier-list direct-declarator 
declaration-list struct ID { union ID { specifier-qualifier-list declarator 
declaration-list struct ID { union ID { specifier-qualifier-list struct-declarator-list 

curr: ;  next: struct  
declaration-list struct ID { union ID { struct-declaration 
declaration-list struct ID { union ID { struct-declaration-list 

curr: struct  next: boy  

curr: bb  next: ID  
declaration-list struct ID { union ID { struct-declaration-list struct-specifier 
declaration-list struct ID { union ID { struct-declaration-list type-specifier 
declaration-list struct ID { union ID { struct-declaration-list specifier-qualifier-list 

curr: ID  next: ;  
declaration-list struct ID { union ID { struct-declaration-list specifier-qualifier-list direct-declarator 
declaration-list struct ID { union ID { struct-declaration-list specifier-qualifier-list declarator 
declaration-list struct ID { union ID { struct-declaration-list specifier-qualifier-list struct-declarator-list 

curr: ;  next: }  
declaration-list struct ID { union ID { struct-declaration-list struct-declaration 
declaration-list struct ID { union ID { struct-declaration-list 

curr: }  next: sex  
declaration-list struct ID { union-specifier 
declaration-list struct ID { type-specifier 
declaration-list struct ID { specifier-qualifier-list 

curr: ID  next: ;  
declaration-list struct ID { specifier-qualifier-list direct-declarator 
declaration-list struct ID { specifier-qualifier-list declarator 
declaration-list struct ID { specifier-qualifier-list struct-declarator-list 

curr: ;  next: }  
declaration-list struct ID { struct-declaration 
declaration-list struct ID { struct-declaration-list 

curr: }  next: ;  
declaration-list struct-specifier 
declaration-list type-specifier 
declaration-list declaration-specifiers 

curr: ;  next: union  
declaration-list declaration 
declaration-list 
/*归约union type{
int vali;
char ch;
long vall;
};*/
curr: union  next: type  

curr: ID  next: {  

curr: {  next: int  

curr: int  next: vali  
declaration-list union ID { type-specifier 
declaration-list union ID { specifier-qualifier-list 

curr: ID  next: ;  
declaration-list union ID { specifier-qualifier-list direct-declarator 
declaration-list union ID { specifier-qualifier-list declarator 
declaration-list union ID { specifier-qualifier-list struct-declarator-list 

curr: ;  next: char  
declaration-list union ID { struct-declaration 
declaration-list union ID { struct-declaration-list 

curr: char  next: ch  
declaration-list union ID { struct-declaration-list type-specifier 
declaration-list union ID { struct-declaration-list specifier-qualifier-list 

curr: ID  next: ;  
declaration-list union ID { struct-declaration-list specifier-qualifier-list direct-de
最低0.47元/天 解锁文章
一根烂笔头
关注
  • 3
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
windows nt c语言编译器,一些非常用C/C++编译器
weixin_32616931的博客
05-18 699
在Windows平台下，除了VS、类UNIX模拟环境CygWin/gcc和MinGW外，还有一些小众的C/C++编译器，下面简单介绍一下。1. LCCLCC-Win32 是运行于Windows9x/Me/NT/2000下的免费的32位C语言编译系统。它的原始发布文件只有 3M，但却拥有一个功能强大的集成开发环境(IDE)、速度极快的编译器与连接器、方便顺手的调试器、资源编辑器和版本控制系统。另外还...
ucc编译器分析与总结(1) 语法分析
test
07-06 2921
编译器、操作系统、数据库是计算机领域中的三大基础软件，基本上所有应用软件都是建立在这三个基础软件之上，这些领域经过前辈们不断打磨现在已经变得非常成熟，很多涉及到的代码技术都是精华中的精华，所以把上面3个软件搞清楚对代码水平的提高会有很多帮助，而且能够对现代计算机的软件架构有更清晰的了解。 我现在要研究一个逻辑推理系统，这个推理系统以C语言为基础，这里必然涉及到C语言的解析问题，所以C语言编译器是必...
随想录（lcc编译器）
嵌入式-老费，一个分享专业嵌入式知识的blog
10-03 2789
【 声明：版权所有，欢迎转载，请勿用于商业用途。 联系信箱：feixiaoxing @163.com】 lcc编译器是一款开源编译器，和我们之前谈过的ucc差不多。一开始的时候，这款编译器是用来进行教学使用的，但是后来越来越多的人开始了解它、使用它，并且将这款编译器用到实际项目当中。当前一般的用法就是利用lcc将c文件转变成asm汇编文件，这种使用方法是最常见的。如果我们自己开发的...
编译原理 - 推导与归约（一）
lslxy1021的博客
03-23 1万+
在介绍完文法的基本概念后，接下来将介绍一下编译原理中的推导与归约。推导，意思是用产生式的右部，主要分为最左推导和最右推导。归约则是推导的逆过程，最左推导对应最右归约，最右推导对应最左归约。
LCC编译器的源程序分析(1)C编译器的目标
热门推荐
大坡3D软件开发
05-07 2万+
先从简单的目标来分析这个大规模的C编译器，毕竟它的功能比较复杂，并且源程序的行数也是非常多的。因此，把简单的目标定出来，然后再分析它，这样才会有的放矢。接着再跟着编译运行的主线来分析它的源程序。下面先看一下简单的C例子，如下： #001 #include #002 #003 int main(void)#004 {#005  int nTest1 = 1;#006  i
编译原理语法分析器实验报告
08-10
5. **源代码实现**：使用C++编程语言实现语法分析器，包含输入解析、分析表查询和归约操作等功能。 **三、算符优先分析法** 算符优先分析法是一种自底向上的语法分析策略，它适用于算符文法，即文法规则的右部不...
编译原理 语法分析程序 c/c++
05-08
例如，`start`变量用于存储开始符号，`termin`和`non_ter`数组分别用于存储终结符和非终结符，`right`和`left`数组则用于存储产生式的右部和左部，`first`和`follow`数组用于存储每个产生式右部的FIRST集和左部的...
c语言语法编译器的文法实现
10-22
在探讨C语言语法编译器的文法实现过程中，本篇内容旨在通过设计、开发及调试一个语法分析程序，以实现对词法分析程序所提供的单词序列进行语法检查和结构分析，从而深化对主流语法分析技术的理解与应用。具体要求...
λ演算的语法和语义.zip
06-21
《λ演算的语法和语义》是由荷兰学者H.P.巴伦德莱赫特编写的教材，专注于探讨计算理论中的核心概念——λ演算。λ演算是函数式编程的基础，也是理论计算机科学中极其重要的一部分。这本书深入浅出地阐述了λ演算的...
编译原理_语法分析实验二[1][定义].pdf
10-12
在程序源代码中，可以看到对话框类`CSyntaxAnalysisDlg`和`CAboutDlg`的相关定义，这是实验实现语法分析功能的用户界面。`CSyntaxAnalysisDlg`类中包含了代码文本（m_strCode）和结果（m_strResult）的成员变量，...
TCC.EXE编译器（探究学习一）
{竹子}
03-16 2457
一、TCC命令集
c++ primer和plus有什么区别_VC++、C++、C和TC有什么区别？
weixin_39824020的博客
11-23 1592
VC++、C++、C和TC，这几个语言名中都带有C，可以说和C都有联系。1CC就是指C语言。C语言的关键字少，而且拥有丰富的运算符和数据类型，可以解决大部分的“计算型”的问题或者“描述型”的问题。各大操作系统都提供了各种对C语言的集成化的调试编译环境，使用C语言编写的程序可以轻松地运行在各种平台上而不用做出任何修改，这也是C语言流行的原因。2VC++VC++，一般是指微软公司的Visua...
C语言基础语法详解：变量、数据类型、运算符和表达式
最新发布
D_ovis的博客
02-29 1113
C语言基础语法详解：变量、数据类型、运算符和表达式。
c语言语法语义大全,用C语言写语法分析9，变量声明的分析
weixin_35953155的博客
05-17 436
变量声明，是强类型编程语言中的关键语句。强类型语言之所以叫强类型，就是它对变量的类型检查比较严格。其中一点就是变量在使用前必须先声明(类类型也一样)，另一点就是在自动类型升级不可用时，需要明确使用强制类型转换(type cast)。这点上C++的语法检查很严格，会提示error信息，而C语言一般只提示warning信息。变量声明语句以基本类型的关键字，或者类类型的标志符开始，之后跟变量的标志符。变...
【编译原理复习】第五章 语法分析—自下而上的分析
zijin-jdd的博客
11-20 2454
标题第五章 语法分析—自下而上的分析 【题型一】： 1 .给出一句型求最右推导 2. 求短语、直接短语、句柄 【题型二】： 拓广文法并编号 构造识别文法活前缀的DFA M 求非终结符的 FOLLOW集 SLR(1)分析表 判断是否为SLR(1)文法 1.1归约的概念 1.2 规范归约 利用语法分析树找短语、直接短语和句柄 对于短语、直接短语、句柄的寻找，可以检查语 法树中从根结点开始出发向下，找每一非终结符 的所有叶子结点，将这些结点从左到右组成串， 这些串就是该句型的所有短语，其中相对于叶子 结
编译原理的归约和推导
阳光心态，健康人生的博客
11-06 1万+
首先，要明白两个概念什么是文法，什么是字符 举个例子： 文法已经给出，下面的那个输入就是字符我们规定： 文法 到 字符 称为 推导 字符 到 文法 称为 归约那么最右推导称为规范推导，最左归约称为规范归约 = =挺好懂的，不知道你懂了没有~
3.4 自下而上分析
tang7mj的博客
02-07 1014
在编译原理中，自下而上分析是一种重要的语法分析方法，它以一种从叶节点到根节点的逆序方式构建分析树，逐步将输入串归约为文法的起始符号。本节将重点介绍这种分析的一种典型风格——移进-归约分析，这是编译器中最常用的LR分析方法，将在后续的3.5节中进行深入讨论。在编译原理中，理解句柄的概念是分析句型结构的关键。非形式地，一个句型的句柄是该句型中与某个产生式右部匹配的子串。重要的是，这个子串的归约代表了最右推导过程的逆过程中的一步。虽然在很多情况下，句型中与产生式A→β右部匹配的最左子串β。
C语法归约之语句（5）
my_live_123
09-25 1359
这是语法归约最后一部分了，文法当中还有个外部归约。它已经在前面以及这里都提及到了，也就是把全局声明定义和函数定义整合的过程，最后归约成一颗完整的树。根结点就是translation-unit，因此不再单独示例！其次，文法不是C的全部，真正的C还要包括语义分析部分，也就是把文法推导出来东西进行有意义化！即文法上推出的东西不是全部都合法的！c只用了文法推导结果中的一个子集，而不是全集！好比汉语词汇组合说出来的东西不是全部都有意义，可以有脏话废话和不是人话^_^
c语言编译器好玩的代码,读懂这4个函数，528行代码，你也可以实现一个C语言编译器...
weixin_39759182的博客
05-18 1132
引言自从华为方舟编译器横空出世，一举成为全民网红之后，一下子点燃了大家对编译器的热情。不过，对于大多数人来说，编译器依旧是遥不可及的神秘存在。今天，介绍一个国外大牛写的C语言编译器 - C4，揭开编译器的神秘面纱。原来实现一个具备基本功能的编译器，竟是如此简单！C4：4个函数实现的C语言编译器C4, C in four functions。它是一个C语言编译器项目(项目地址在文末)，整个实现只有：...
构建自定义小语言的LL/LR语法分析器：从规则到程序实现
- 学生需理解单词内部编码符号串中的句法结构，包括变量定义、赋值、条件判断和循环控制等基本元素。 - 掌握语法分析过程中的智能算法，如LL（左到右预测分析）和LR（归约左递归分析），这两者在构建分析器时具有...
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值