bat 注释_BAT面试必问：a减b小于0与a小于b什么区别？溢出感知代码？

BAT面试必问：a-b<0与a

原创声明

这是本人署名原创文章，未经许可不支持转载。本公众号所有文章均原创。为了容易理解和记忆，文章以图解为主、代码为辅。如果感兴趣，欢迎关注！

文：吴潇/Java高级工程师

读过JDK源码的同学，尤其是读过Collection框架的同学，肯定遇到过下面这种代码：

第一次读到这样的代码，你可能跟我一样感到困惑，为什么不直接写成 "newCapacity < minCapacity"，而是更麻烦的"newCapacity – minCapacity < 0"呢？

不过，当看到那个注释"overflow-conscious code"之后，你或许明白了一点点，这是为了解决数值溢出问题。

那么"newCapacity < minCapacity"中究竟有什么样的溢出问题？"newCapacity – minCapacity < 0"是怎么解决"newCapacity < minCapacity"中的溢出问题的？究竟是newCapacity和minCapacity中的哪个变量溢出？还是两个变量都溢出？对于这些问题，你都能给出清晰的回答吗？如果不能，欢迎继续阅读！

本文以下面这段代码为例，帮助大家彻底弄明白a

首先，上面代码的入参a和b一开始都大于0。a经过calc1()之后，一定变大而且可能溢出；b经过calc2()也必然比原来的b大，也可能溢出。想通过"a-b<0"或"a

显然，a和b不溢出时，a-b<0与a分类讨论方法是一种强大的分析手段，任何让人感到复杂的、没有头绪的问题都可以用它解决)。

分解出4种情况之后，问题就变得简单明了多了，很容易得到a

在上图的分析中，我们没有给出具体数值，只用了模糊的字眼"很大"、"很小"之类的，应该不影响理解。如果你喜欢刨根问底，可以用这段程序分析一下，看看上面的总结对不对。

从上面分析可以看出，a-b<0这样的写法不是万能的，并不能解决全部溢出问题，它在某些溢出情况下的依然错误。而JDK之所以采用这种写法，是因为a和b的数值比较接近，而且都是大数，在这个时候，a和b中有一个变量先溢出，另一个数往往很大了(快要溢出)，用a-b<0的写法刚好得到正确结果。JDK采用的这种a-b<0写法，一般出现在各种空间分配方法中，例如ensureCapacity。而分配空间的时候，新分配的空间大小数值虽然比上一次的大，但是也比老的值差不了多少，巧妙的用上了上述绿色区域，实现了在数值溢出的情况下，依然正确的特性，非常神奇。

你弄懂了吗？欢迎留言

以上分析希望对您的工作和面试都有帮助。如果对互联网编程技术、Java、Spring、Android、C/C++、Linux、个性化推荐、Community Detection、Machine Learning、Deep Learning、Data Mining、Gnuplot、LaTeX等技术感兴趣的话，欢迎关注本公众号(不限于Java)。