判断错误检查类型
练习地址: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).