(2)类型检查器 ( Type Checker) :根据生成的抽 象语法树,通过数据库表结构模型,对语法树的节 点的类型信息进行注释,并且查询执行过程中类型 应用的正确性。
基于20个网页-相关网页
通常，通过查找超类并确保存在匹配的超级构造函数，类型检查器确保这些超级构造函数调用会成功。
Normally, the type checker ensures that these super-constructor calls will succeed by looking up the superclass and making sure that a matching super-constructor exists.
而且请注意，类型检查器甚至不能检查是否每个mixin实例化都会产生有效的超级构造函数调用。
Also notice that the type checker can't even check that every instantiation of a mixin will result in valid super-constructor calls.
因为mixin的父类可能用类型参数被实例化，因此类型检查器就不能确定意外方法覆盖的所有情况。
Because a mixin's parent may be instantiated with a type parameter, there is no way for the type checker to determine all cases of accidental method overriding.
应用推荐