18、SmallJava语言的类型检查与作用域机制详解

SmallJava语言的类型检查与作用域机制详解

1. 类型检查基础

在编程中，确保表达式的类型与使用它的上下文所期望的类型一致至关重要。比如在条件语句中，表达式的类型应该是布尔型。为了实现类型检查，我们需要进行以下操作：
-类型一致性检查示例：

// B是A的子类 get(1).isConformant(get(0)).assertTrue // C不是A的子类 get(2).isConformant(get(0)).assertFalse // D是A的子类 get(3).isConformant(get(0)).assertTrue // null的类型与任何类型兼容 NULL_TYPE.isConformant(get(0)).assertTrue

• 表达式类型检查方法：一种直接但不太好的方法是为每个需要检查一致性的特定上下文在验证器中编写@Check方法。例如，赋值表达式的检查可以这样实现：

@Check def void checkAssignment(SJAssignment a) { val actualType = a.right.typeFor val expectedType = a.left.typeFor if (!actualType.isConformant(expectedType)) { error(... } }