ifs 内部的返回混淆了 Java

Question

我有这两种方法，Java 在 getNumEmails() 中找不到“返回”。它们都在同一个类中，只有静态方法

private static int posSymbol=0;
private static int cont=0;
private static String text=null;


private static int getPosSymbol(){
     posSymbol=text.indexOf('@',posSymbol);//if there is no symbol, returns -1
     return posSymbol;
}

//Main calls this method
public static int getNumEmails(String completeText){
     text=completeText;

     while(posSymbol!=(-1)){

         posSymbol=getPosSymbol();

         if(posSymbol!=(-1)){
              cont++;
              posSymbol++;
         }//close if
         else{
              return cont; //It seems that it doesn't reach the return always
         }//close else
         }//close while
}//close method

我知道解决方法很简单，删除“else”并把return cont;一段时间后。但我想知道为什么 Java 认为 getNumEmails() 可以结束而不返回任何内容。

Answer 1

它可以在 else 子句中找到返回值。问题是您需要为所有执行路径返回一个返回值，即使是 posSymbol 等于 -1 的路径，因为当 posSymbol 等于 -1 时，您永远不会进入 while 循环。

因此您需要在 while 语句之后返回。

Answer 2

我想这是关于编译器抱怨This method must return a result of type int。

虽然编译器有时可以确定函数是否会到达 return 语句，但情况并非总是如此。静态地确定程序的动态行为在数学上是不可能的。
这在计算机科学中被称为“停机问题”；在一般情况下，无法确定程序是否会终止。
因此，即使您可以确定该方法将始终到达您的 return 语句之一，编译器也可能无法这样做。

Answer 3

Java 编译器无法静态（在编译时）验证 while 循环是否被执行（posSymbol 在第一次调用时可能是 -1）。因此出现错误。

一般来说，在成员变量中保持循环状态并不是一个好主意。如果多个线程执行您的方法（例如在 Web 服务器中）怎么办？从长远来看，如果您的代码不修改全局状态，则更容易追踪错误：

public static int getNumEmails(String completeText) {
    int count = 0;
    Matcher m = Pattern.compile("@").matcher(completeText);
    while (m.find()) {
        count++;
    }
    return count;
}

Answer 4

只需在“//close while”之后添加return 0;。

Answer 5

不是答案，但这里有一个更安全的方法版本，没有静态变量。

//Main calls this method 
public static int getNumEmails(String completeText)
{
    int posSymbol=0, count=0;
    while(posSymbol!=(-1))
    {           
        posSymbol=completeText.indexOf('@',posSymbol); //if there is no symbol, returns -1
        if(posSymbol!=(-1))
        {
            ++count;
            ++posSymbol;
        }//close if
    }//close while
    return count;
}//close method