软件构造3.类型检查和检查

        类型检查分为静态类型检查(Static typing)和动态类型检查(Dynamic typing)。Java语言是一种静态类型语言，因为所有变量的类型在编译时已知，因此编译器可以推导表达式类型并在编译阶段进行类型检查。Python语言就是一种典型的动态类型语言，它只能在运行阶段进行类型检查。

        但是应当注意的一点是不论Java还是Python都有静态检查和动态检查（注意检查和类型检查的区别）。不过Python静态检查的不是类型，而是检查语法有无错误。其中静态检查的效果要优于动态检查。一旦在检查过程中发现错误，系统会给出提示。

        检查会给出几种常见的错误。静态检查给出的错误通常有语法错误，类名和函数名错误，参数数目错误，参数类型错误和返回值类型错误等。动态检查则关注非法的参数值，非法的返回值，越界和空指针等方面的错误。由此可以看出：静态检查通常是关于“类型”的检查，不考虑“值”；动态检查是关于“值”的检查。

        不过检查不是万能的。有很多运行结果是错误的答案，但系统不会返回错误。以Java语言为例：当两个非常大的数字相乘得到的结果超出了数据类型范围时，会溢出得到错误的结果，此时并不会有错误提示。当对负数进行开方运算时，结果是NAN，代表结果不是一个数，同样不会有错误提示。因此，在日常的编程中，除了要尽量避免动态和静态的错误，也要注意这些看似不起眼的错误，从而提高程序的正确性和健壮性。