芜湖市网站建设_网站建设公司_SEO优化_seo优化

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 中，引入