Java是否识别无限循环?

给出以下代码示例:

public class WeirdStuff { public static int doSomething() { while(true); } public static void main(String[] args) { doSomething(); } } 

这是一个有效的Java程序,虽然方法doSomething()应该返回一个int但从来没有。 如果你运行它,它将以无限循环结束。 如果将while循环的参数放在一个单独的变量中(例如boolean bool = true),编译器会告诉你在这个方法中返回一个int。

所以我的问题是:这是Java规范中的某个地方,是否存在这种行为可能有用的情况?

我将引用Java语言规范 ,因为它非常清楚:

本节致力于对“可达”一词的精确解释。 我们的想法是,从构造函数,方法,实例初始化程序或包含语句本身的静态初始化程序开始,必须有一些可能的执行路径。 分析考虑了陈述的结构。 除了对while,do和for条件表达式具有常量值true的语句特殊处理外,在流分析中不考虑表达式的值。

如果至少满足下列条件之一,则while语句可以正常完成:

  • while语句是可访问的,条件表达式不是值为true的常量表达式。
  • 有一个可到达的break语句退出while语句。

如果S之前的语句可以正常完成,那么非空交换块中的每个其他语句S都是可到达的。

然后将以上定义应用于此 :

如果声明方法具有返回类型,则其主体中的每个return语句(第14.17节)都必须具有表达式。 如果方法的主体可以正常完成,则会发生编译时错误(第14.1节)。

换句话说,具有返回类型的方法必须仅使用提供值返回的return语句返回; 它不允许“从身体的末端掉下来”。

请注意,方法可能具有声明的返回类型,但不包含return语句。 这是一个例子:

 class DizzyDean { int pitch() { throw new RuntimeException("90 mph?!"); } } 

Java规范定义了一个名为Unreachable statements的概念。 您不允许在代码中包含无法访问的语句(这是编译时错误)。 while(true); 声明使得以下语句无法通过定义访问。 你甚至不允许在while(true);之后有一个return语句while(true); Java中的声明。 请注意,虽然Halting问题在一般情况下是不可判定的,但是Unreachable Statement的定义比仅停止更严格。 它正在决定程序肯定不会停止的非常具体的情况 。 理论上,编译器无法检测所有无限循环和无法访问的语句,但它必须检测规范中定义的特定情况。

如果你问无限循环是否有用,答案是肯定的。 在很多情况下你想要一些永远运行的东西,尽管循环通常会在某个时候终止。

关于你的问题:“当循环无限时,java可以被识别吗?” 答案是计算机不可能有一个算法来确定程序是否会永远运行。 阅读: 暂停问题

再读一遍,你的问题也在问为什么doSomething()函数不会抱怨它没有返回int。

有趣的是,以下来源不编译。

 public class test { public static int doSomething() { //while(true); boolean test=true; while(test){ } } public static void main(String[] args) { doSomething(); } } 

这向我表明,正如停止问题的维基页面所暗示的那样,不可能有一个算法来确定每个问题是否会终止,但这并不意味着有人没有添加简单的案例:

 while(true); 

到java规范。 我上面的例子有点复杂,所以Java不能把它记住为无限循环。 确实,这是一个奇怪的边缘情况,但它只是为了使事情编译。 也许有人会尝试其他组合。

编辑:不是无法访问代码的问题。

 import java.util.*; public class test { public static int doSomething() { //while(true); while(true){ System.out.println("Hello"); } } public static void main(String[] args) { doSomething(); } } 

以上作品,所以一会儿(真实); 编译器不会被忽略为无法访问,否则会抛出编译时错误!

是的,您可以在某些线程中看到这些“无限”循环,例如在某个端口上侦听传入消息的服务器线程。

所以我的问题是:这是Java规范中的某个地方

根据规范,该程序是合法的Java。 JLS(和Java编译器)认识到该方法无法返回,因此不需要return语句。 实际上,如果在循环之后添加了一个return语句,Java编译器会给你一个编译错误,因为return语句是无法访问的代码。

并且有这种行为可能有用的情况吗?

我不这么认为,除了可能在模糊的unit testing中。

我偶尔会编写永远不会返回的方法(通常),但是将当前线程放入不间断的无限繁忙循环中很少有任何意义。

重读了这个问题……

Java理解的同时(真实); 它永远不会真正完成,它不会完全跟踪以下代码。

 boolean moo = true; while (moo); 

这有用吗? 疑。

您可能正在实现一个通用接口,即使该方法可能以有意义的返回值退出, 您的特定实现也是一个有用的无限循环(例如,网络服务器),它永远不会出现它应该退出的情况,即触发器任何返回值的行为都意味着。

另外,关于像boolean x = true; while (x);代码boolean x = true; while (x); boolean x = true; while (x); ,这x上给出final修饰符。 我不知道,但我认为这是Java选择合理的直接常量表达式分析(需要直接定义,因为由于拒绝依赖于它的程序,它是语言定义的一部分)。

关于无法达到的陈述的一些注释

在java2规范中 ,可以找到“无法访问的语句”的描述。 特别有趣的是以下句子:

除了对whiledofor条件表达式具有常量值true的语句的特殊处理外,在流分析中不考虑表达式

因此,显然不可能退出while (true); 无限循环。 但是,还有两个选项: 更改缓存值或直接攻击类文件或JVM操作内存空间。