软件构造期末复习-第三章

知识点： 静态类型检测/动态类型检测 可变性/不可变性 Snapshot diagram 静态类型检测/动态类型检测 静态类型检测： 语法错误 类名/函数名错误 参数数目错误 参数类型错误 返回值类型错误 动态类型错误： 非法的参数值 非法的返回值 越界 空指针 动态类型检测>静态 //动态类型检测比静态类型检测更加严格， 静态类型：关于类型 编译阶段的检测，主要是代码语法方面的错误，代码的正确性

>>阅读原文<<