编译器开发系列--Ocelot语言6.静态类型检查
2024-10-09 05:27:59
关于“静态类型检查”，想必使用C 或Java 的各位应该非常熟悉了。在此过程中将检查表达式的类型，发现类型不正确的操作时就会报错。例如结构体之间无法用+ 进行加法运算，指针和数值之间无法用* 进行乘法运算，将数组传递给参数类型为int 型的函数会出现莫名其妙的结果。在编译过程中检查是否符合这样的限制的处理就是静态类型检查。
在静态类型检查过程中也会实施隐式类型转换。
/*入口
*
*/
public void check(AST ast) throws SemanticException {
/*
* 第1 个foreach 语句对全局变量的定义进行遍历，
*/
for (DefinedVariable var : ast.definedVariables()) {
checkVariable(var);
}
/*
* 第2 个foreach 语句对函数定义进行遍历，并实施类型检查。
*/
for (DefinedFunction f : ast.definedFunctions()) {
currentFunction = f;
checkReturnType(f);
checkParamTypes(f);
check(f.body());
}
if (errorHandler.errorOccured()) {
throw new SemanticException("compile failed.");
}
}
/*
* checkVariable 方法在检查变量的类型是否为非void 的同
时，还对变量的初始化表达式进行遍历。
*/
private void checkVariable(DefinedVariable var) {
if (isInvalidVariableType(var.type())) {
error(var.location(), "invalid variable type");
return;
}
if (var.hasInitializer()) {
if (isInvalidLHSType(var.type())) {
error(var.location(), "invalid LHS type: " + var.type());
return;
}
check(var.initializer());
var.setInitializer(implicitCast(var.type(), var.initializer()));
}
}
/*
* checkReturnType 方法检查函数返回值的类型是否为非结
构体、联合体或数组。这里再重复一下，Ocelot中函数不能返回结构体或联合体。
*/
private void checkReturnType(DefinedFunction f) {
if (isInvalidReturnType(f.returnType())) {
error(f.location(), "returns invalid type: " + f.returnType());
}
}
/*
* checkParamTypes 方法检查函数形参的类型是否为非结构体、联合体或void。因为Ocelot
中函数参数的类型不能是结构体或联合体。
*/
private void checkParamTypes(DefinedFunction f) {
for (Parameter param : f.parameters()) {
if (isInvalidParameterType(param.type())) {
error(param.location(),
"invalid parameter type: " + param.type());
}
}
}
/*
* check 是遍历参数节点的方法。各节点类会重写该函数，通过调用check(f.
body()) 对函数体进行遍历。
*/
private void check(StmtNode node) {
visitStmt(node);
}
最新文章
- 【干货分享】流程DEMO-出差申请单
- activity跳转到新的activity后清除之前的activity
- java自带BASE64工具进行图片和字符串转换
- 解决方案: scp/ssh 的登陆提示很慢 (Linux)
- winform错误提示 ：窗口类名无效(Window class name is not valid)
- Scala语法笔记
- log4j.properties配置文件
- QQWry.dat 数据写入
- struts启动报错Javassist library is missing
- Fetcher类的工作流程
- mfc窗口，父窗口parentwindow，所有者窗口ownerwindow 区别
- VirtualBox 复制vdi文件和修改vdi的uuid
- 项目实战6—Mysql实现企业级日志管理、备份与恢复实战
- Swift中关于任意类型的数组
- css3之border-radius理解
- [linux-脚本]shebang(shabang #!)
- PL/SQL Developper导入导出数据库的方法及说明
- Pandas 基础(6) - 用 replace() 函数处理不合理数据
- ES6之导入模块时的内存共享
- QT TCP网络编程