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 

我知道，解决方法很简单，删除了“其他”，并把返回续;过了一段时间。但是我想知道为什么Java认为getNumEmails（）可以在不返回任何东西的情况下结束。

Answer 1

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

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

Answer 2

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

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

Answer 3

Java编译器不能静态地（在编译时）确认while循环得到所有执行（posSymbol可能是-1在第一次调用）。因此错误。

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

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

Answer 4

的“//关闭，而”后，只需添加一个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