软件构造——第三章助记

内容简图 较详细细节重点 静态类型检查发生在编译阶段，检查语法错误、类名/函数名错误、参数数目错误、返回类型错误。即在不允许时出现的语法错误和类型匹配错误，可以由机器直接判断。 动态类型检查发生在运行阶段，检查非法参数值、非法返回值、越界、空指针。即关于值和输入引发的错误，只有在运行的时候才能发现。 Final能够保证无子类、无法改变引用、无法被子类重写，但是并不能保证值一定不变。 Snapsho

>>阅读原文<<