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(...
  }
}