Log[心得体会]_20.05.22

检查分为三类：静态检查、动态检查和没有检查。其中，静态检查是指在程序运行之前就自动发现错误，动态检查是指在程序的执行过程中自动发现错误。没有检查的原因是语言无法找到错误，意思就是出错的是程序的逻辑，必须自己去调试，否则就会得到错误的答案。
静态检查与类型错误有关，这些错误与变量的特定值无关。比如编译器在编译的时候只会判断类型是否合规。直到运行时才会与特定的值相匹配。
举一个例子就是如果定义除法中分母为0，编译器不会报错，运行期才会抛出异常。