语义分析(semantic analysis)概述

本文深入探讨了编译原理中的语义分析阶段,主要聚焦于声明语句与可执行语句的不同处理方式,以及如何利用符号表进行标识符属性信息的收集与管理,确保编译过程的准确性和效率。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

语义分析(semantic analysis)概述

原码中通常有两类语句:声明语句可执行语句.对这两种语句,语义分析所做的事情是不同的.

  • 声明语句:收集标识符的属性信息
  • 可执行语句:语义检查

声明语句中的语义分析

收集标识符的属性信息:

  • 种属
  • 类型
  • 地址和长度
  • 作用域
  • 参数和返回类型

语义分析器中有专门的**符号表(Symbol Table)**来存放收集到的属性信息

为什么要有一个字符串表来表示名字,而不是直接使用字符串?

在这里插入图片描述

可执行语句的语义分析

可执行语句的语义分析其实大体可以理解为对可执行语句的语法检查及自动调整.比如:变量名未声明就使用,函数参数不匹配

  • 变量或过程未经声明就使用
  • 变量或过程重复声明
  • 运算分量类型不匹配
    明就使用
  • 变量或过程重复声明
  • 运算分量类型不匹配
  • 操作符和操作数之间类型不匹配
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值