为什么此代码有一个丢失的return语句错误？

Question

如果我将这段代码的else
if部分更改为else语句，则它可以毫无问题地运行，因此可以了解如何使其运行。我有些困惑的是，为什么当它处于当前形式时会收到一个丢失的return语句错误。我的回报取决于负数布尔变量的值。我涵盖了真实和错误的状态，难道不足以涵盖所有内容吗？

还是我总是必须在else内包含return语句，还是在我的函数底部添加一个无意义的return true，以便编译器接受我的代码涵盖所有情况？

import java.util.*;
import java.lang.*;
import java.io.*;

class Ideone
{
    public boolean posNeg(int a, int b, boolean negative) {
      if (!negative) {
        return (a < 0 && b > 0) || (a > 0 && b < 0);
      }
      else if (negative) {
        return (a < 0 && b < 0);
      }
    }

    public static void main (String[] args) throws java.lang.Exception
    {
    }
}

Answer 1

当编译器看到else if没有else返回或结尾的return语句时，不能确定所有控制路径都将导致有效的return语句。

编译器有时可能很聪明，但是在这种情况下（也不应该）很聪明。

此行为在您的示例中很有帮助：else if在这种情况下，绝对没有理由使用an 。简单else易读，简洁明了且不易出错。

else在这种情况下，An 非常具有表现力。它表示“ 与if子句相反 ”，如果将来代码更改，情况仍将如此。

如果编译器允许，您当前的代码更有可能包含和/或引入错误。

这是我重写方法主体的方法：

if (negative) {
    return (a < 0 && b < 0);
}
else {
    return (a < 0 && b > 0) || (a > 0 && b < 0);
}

通常if (negative)，if (!negative)除非有令人信服的理由（即可读性），否则您应该优先考虑这样做。

另外，很多人（包括我自己）都尝试在 if / else 语句中将最简单的子句放在第一位。使代码易于阅读是一件好事。

请查看StephenC的答案，以获得技术上的解释以及有关为何编译器以这种方式运行的更多背景信息。