软件构造|Type Checking exercises

判断错误检查类型

练习地址：https://learning.edx.org/course/course-v1:MITx+6.005.1x+3T2016/home#block-v1:MITx+6.005.1x+3T2016+type@sequential+block@01-Static-Checking

知识点

Java 是一种静态检查语言。所有变量在编译时就可以被确定，由此，我们便可以在编译时进行类型检查。

而像python一样的动态类型语言，会在运行阶段进行类型检查。

Java中有静态检查，即在编译时进行检查，以及动态检查，即在代码运行时进行检查。

常见的静态检查发现的错误有：
语法错误
类名、函数名错误
参数数目错误
参数类型错误
返回值类型错误

常见动态检查的错误有：
非法参数值，例如除零错误
非法返回值
越界错误
空指针

静态检查关注类型(type)，动态检查关注值(value)。

t1

int n = 5;
if (n) {
  n = n + 1;
}

这是静态错误，if后面需要一个Boolean类型。在Eclipse中，在编辑过程中，我们就会观察到错误：Type mismatch: cannot convert from int to boolean。

t2

int big = 200000; 
big = big * big; 

这并不会引发错误，但是计算结果不正确。但是，我们知道int类型的最大值为：2147483647。而200000 * 200000显然超过了这个值，所以int会溢出，所以我们打印big的值，会得到1345294336，是一个不正确的答案。

t3

double probability = 1/5;

这并不会引发错误，但是计算结果不正确。1/5两个int运算结果还是int，所以得到结果向下取整为0，得到int的0后，又会被转换为double类型。最后我们可以得结果0.0

t4

int sum = 0;
int n = 0;
int average = sum/n;

这是一个动态错误，是除零错误。

t5

double sum = 7;
double n = 0;
double average = sum/n;

这并不会引发错误，但是计算结果不正确。在java浮点数中，正数除以0会得到一个POSITIVE_INFINITY，而负数除以一个0会得到NEGATIVE_INFINITY。查阅文档，我们可以得知：

A constant holding the positive infinity of type double. It is equal to the value returned by Double.longBitsToDouble(0x7ff0000000000000L).
A constant holding the negative infinity of type double. It is equal to the value returned by Double.longBitsToDouble(0xfff0000000000000L).