从一到面试题谈起

一道面试题

最近看CSDN，又谈到一道面试题，大致是“不使用比较运算符和库函数比较两个整数的大小”。这种题看似简单，实则深藏玄机，考得不只是技巧还有很多基础知识。

第一种解法

第一种解法是楼主给出的，很简单：

(int)(((long)a – (long)b)>>>63)

代码是Java的，解题的思路也很简单，原理是a-b>=0等同于a>=b而和0的比较可以取符号位进行判断，如果差值为非负数则前者大于或等于后者。因为考虑到溢出，所以使用更长的类型以控制溢出。

当然，对于此题这种解法是正确的，但如果止于此也就没有了这篇文章。

也玩一玩测试

做编码的能够做好测试的人不多，其实编码人员偶尔的接触一些测试的东西也是有好处的。有个接触单元测试很少的同事，在推广单元测试的时候，总怀疑单元测试的用处，简单使用后虽然别的好处没有说，但说了一点确实能够提高质量发现很多开始没有想到的问题。

话题扯远了，既然要解决问题，总得有个测试来验证验证。

函数原型比较简单：bool intLECheck(int int1, int int2)，只需把结果和int1>=int2进行比较即可。测试数据也比较简单：第一步考虑覆盖，整数有>0、=0、<0三种，两个整数也有三种关系>、<和=；第二步考虑边界，整数有最大正整数和最小正整数，在加上0，再加上正好溢出或者正好不溢出的情况，差不多已经覆盖全部边界了；第三步增加测试数据数量，产生一批随机数进行测试。

测试的问题搞定，再回到编码上来。

对第一种解法的思考

第一种解法用到了更长的类型以防止溢出，但是如果没有更长的类型怎么办？有没有其他别的办法进行比较？如果换作无符号整数该怎么做？如果是浮点数又该怎么做？

首先，想一想我们常用的比较大小的方法，可以利用的方法很多：

比如，可以按照一定的顺序在整数中查找两数，先找到的数大，或者小；再比如，用解法一中两数差进行比较；再比如还可以使用两数商进行比较；再比如可以按位比较等等。这里提到的方法都是能够做出来的，顺序查询太费时间空间，按位比较实现比较麻烦。按商比较得考虑除数不为0，还得考虑正数和负数的不同。综合来看，还是用差最为方便和快捷。那可否不使用更长的类型来防止差值的溢出呢？答案是肯定的，先看看整数的编码以及溢出发生的情况。

整数的编码和溢出

整数一般为32位，最高位为符号位1为负数，0为非负数，其他位为数据。整数差值溢出发生在两数之差大于最大整数值或者小于最小整数值。进一步可以发现，当两整数符号位相同时，差值不会溢出。

第二种解决方案

解决溢出问题的另一方法就是拆分。就像一个水杯的水要溢出了，可以考虑换用更大的水杯防止溢出，但没有更大的杯子的时候也可以考虑把水分一些分到其他杯子里，同样也可以防止溢出。

整数的拆分有多种，比如分为两个16位的整数。假设两个整数拆分后分别为int11、int12和int21、int22，显然有：

Int11>int21 => int1>int2

Int11<int21 => int1<int2

Int11==int21 && int12>=int22 => int1>=int2

Int11==int21 && int12<int22=>int1<int2

第三种解决方案

除了前两种方案外，还可以先通过比较符号位来有效规避差值溢出。

解题的乐趣

像很多题目一样，这道题没有太多的现实意义。但题目的意义很多不再于现实，而在于其中含有的知识和思考问题解决问题的方法。过于关注答案，意义不大；一味沉浸其中，则容易陷入其中而少了乐趣。

源代码

附上几种解决方法的代码（C语言版）：

#include <stdio.h> #include <stdlib.h> #include <time.h> #define MAX_INT 0x7FFFFFFF #define MIN_INT 0x80000000 #define SIGNBIT_MASK 0x80000000 /* 测试数据 */ const int datas[][2] = { {1, 2}, {2, 1}, {1, 1}, // 正整数 {1, 0}, {0, 1}, // 正整数和0 {0, 0}, // 0 {0, -1}, {-1, 0}, // 0和负整数 {-1, -2}, {-2, -1}, {-1, -1}, // 负整数 {MAX_INT, MIN_INT}, {MAX_INT, MAX_INT}, {MAX_INT, 0}, {MAX_INT, -1}, // 最大整数和相关边界整数 {MIN_INT, MAX_INT}, {0, MAX_INT}, {-1, MAX_INT}, // 最大整数和相关边界整数 {MIN_INT, MIN_INT}, {MIN_INT, 0}, {MIN_INT, 1}, // 最小整数和相关边界整数 {0, MIN_INT}, {1, MIN_INT} // 最小整数和相关边界整数 }; const int datasCount = sizeof(datas) / (sizeof(int) * 2); // 随机整数 int *randomDatas = NULL; int randomDatasCount = 0; // 随机数生成 int *makeRandomDatas(int count, int *pcount) { int *datas; int i; count *= 2; if (count <= 0 || (datas = malloc(sizeof(int) * count)) == NULL) return NULL; srand(time(NULL)); for (i = 0; i < count; i += 2) { datas[i] = rand(); datas[i + 1] = rand(); } if (pcount != NULL) *pcount = count; return datas; } // 比较函数指针 typedef int (*intLECheckFunc)(int, int); // 解决方案1，使用更精确的类型防止溢出 static int intLECheck1(int int1, int int2) { return !(int)((((_int64)int1 - int2) >> 63) & 1) ; } #define HIGH(i) (i >> 16) // 取高位 #define LOW(i) (i & 0xFFFF) // 取地位 // 解决方案2，分别比较高16位和低16位 static int intLECheck2(int int1, int int2) { int h1, h2, l1, l2; h1 = HIGH(int1); l1 = LOW(int1); h2 = HIGH(int2); l2 = LOW(int2); if (h1 - h2) return !(((h1 - h2) >> 31) & 1); else return !(((l1 - l2) >> 31) & 1); } // 解决方案3，先判断符号位，然后在进行比较 static int intLECheck3(int int1, int int2) { if ((int1 ^ int2) & 0x80000000) return !(int1 & 0x80000000); return !(((int1 - int2) >> 31) & 1); } // 测试一组数据 #define testWithOneData(int1, int2)/ if (func(int1, int2) != (int1 >= int2)) {/ printf("error(%d): %s, %d, %d/n", ++errorCount, funcName, int1, int2);/ if (errorCount >= 100)/ break;/ } // 对整数比较函数进行测试 void runTest(const char *funcName, intLECheckFunc func) { int i, errorCount = 0; for (i = 0; i < datasCount; i++) testWithOneData(datas[i][0], datas[i][1]); for (i = 0; i < randomDatasCount; i += 2) testWithOneData(randomDatas[i], randomDatas[i + 1]); if (errorCount == 0) printf("pass: %s/n", funcName); } int main() { randomDatas = makeRandomDatas(10000, &randomDatasCount); runTest("解决方案1", intLECheck1); runTest("解决方案2", intLECheck2); runTest("解决方案3", intLECheck3); return 0; }

测试结果如下：