20、SmallJava 语言的作用域与访问控制详解

SmallJava 语言的作用域与访问控制详解

1. 作用域与成员解析

在 SmallJava 中，作用域的处理对于成员解析至关重要。通过使用 Xtend 库的 groupBy 方法，结合 it instanceof SJMethod 这个 lambda 谓词，我们可以构建一个映射，将方法关联到键 true ，字段关联到键 false 。

} else {
    return Scopes.scopeFor(
        type.fields + type.methods,
        Scopes.scopeFor(inheritedFields + inheritedMethods)
    )
}

为什么要返回所有成员，而不是根据实际的成员选择类型只返回方法或字段呢？考虑以下代码：

class C {
    C f;
    C m() { return this.f(); }
}

如果不采用这种策略，程序会报错说成员 f 无法解析，这并不具有信息性。而采用上述作用域实现， f 可以被解析，并且验证器会给出更详细的错误信息，指出我们正在尝试使用字段进行方法调用。

2. 可见性与可访问性

作用域主要处理可见性，而非有效性。在 SmallJava 中，引入