下面的方法想要确定它那唯一的参数是否是一个奇数。
那么这个方法能够正确运行吗?
奇数(odd)是指不能被2整除的整数,我们可以将其定义为被 2 整除余数为 1 的整数。
表达式 i % 2 计算的是 i 整除 2 时所产生的余数,看起来这个程序应该能够正确运行。但遗憾的是,它不能;
因为它在四分之一的时间里返回的都是错误的答案。
为什么是四分之一?首先我们要了解Java中对取余操作符(%)的定义,该操作符被定义为对于所有的int数值 a 和所有非零的int数值b 都满足下面的恒等式:
这就和我们小时候学习的商乘以除数加余数等于被除数,如你用 b 整除 a,将商乘以 b,然后加上余数,那么你就得到了最初的值 a 了。该恒等式具有正确的含义,但当与 Java 的截尾整数整除操作符相结合时,它就意味着:当取余操作返回一个非零的结果时,它与左操作数具有相同的正负符号。
因为在所有的 int 数值中,有一半都是负数,而 isOdd 方法对于对所有负奇数的判断都会失败。在任何负整数上调用该方法都会返回 false ,不管该整数是偶数还是奇数。
即i为负奇数时,i % 2返回的是 -1而不是1,而 isOdd 方法对于对所有负奇数的判断都会失败。在任何负整数上调用该方法都会返回 false ,不管该整数是偶数还是奇数。
因此为了防止这种意外,请测试你的方法在为每一个数值型参数传递负数、零和正数数值时,其行为是否正确。
同时要修正这个问题很容易,只需将 i % 2 与 0 而不是与 1 比较,并且反转比较的含义即可获得正确结果:
不过如果你正在一个性能临界(performance-critical)环境中使用 isOdd 方法,那么用位操作符 AND(&)来替代取余操作符会显得更好:
总之,无论你何时使用到了取余操作符,都要考虑到操作数和结果的符号。该操作符的行为在其操作数非负时是一目了然的,但是当一个或两个操作数都是负数时,它的行为就不那么显而易见了。