问题标签 [jls]

考虑这个函数：

JVM的实现是否需要在- 1之前执行+ b？

如果我们有一个附加到 JVM 的系统分析器，我们会在+ b操作之前看到正在执行的+ 1操作吗？

还有一个案例：

什么时候会StackOverError抛出？

或者更确切地说，它什么时候不会被抛出？

例如，如果我们使用原始运算符+, +=, -, -=, == <, >, /,%等：

有什么保证StackOverflowError不会被抛出吗？

这是直接受到这个问题的启发。
有许多引用/声明，当应用于布尔值时，按位运算符不会短路。所以换句话说boolean a = f() & g()， wheref()和bothg()返回布尔值，总是会被评估。 但是，JLS只说：

15.22.2 布尔逻辑运算符 &、^ 和 |
当 &、^ 或 | 的两个操作数 运算符的类型为 boolean 或 Boolean，则按位运算符表达式的类型为 boolean。在所有情况下，操作数都会根据需要进行拆箱转换（第 5.1.8 节）。

对于 &，如果两个操作数值都为真，则结果值为真；否则，结果为假。

对于 ^，如果操作数的值不同，则结果值为真；否则，结果为假。

对于 |，如果两个操作数的值都为假，则结果值为假；否则，结果为真。

这如何保证两个操作数都被实际评估？除了，如果其中一个参数（可能是第二个/正确的第一个被评估的）违反条件xor，您仍然可以中断并返回结果。 例如。只需要评估为假即可将表达式评估为假。 请注意：我不是在问它是否以这种方式实现（不会短路）-当然是这样。
a & bb

我在问：

用短路实现它会违反语言标准吗？

System.out.println(Integer.MAX_VALUE + 1 == Integer.MIN_VALUE);

是真的。

我知道Java中的整数是32位的，不能超过2 ³¹ -1，但我不明白为什么在它的MAX_VALUE结果中加1MIN_VALUE而不是在某种异常中。更不用说像 Ruby 那样将透明转换为更大的类型。

这种行为是否在某处指定？我可以依靠它吗？

我有 3 节课：

为什么下面的代码会编译？而且，为什么测试通过而没有任何运行时错误？

这是来自 JLS 17.5：

final 字段的使用模型很简单。在该对象的构造函数中设置对象的最终字段。在对象的构造函数完成之前，不要在另一个线程可以看到它的地方写对正在构造的对象的引用。如果遵循这一点，那么当另一个线程看到该对象时，该线程将始终看到该对象的最终字段的正确构造版本。它还将看到至少与最终字段一样最新的最终字段引用的任何对象或数组的版本。

JLS 17.5 中的讨论包括以下示例代码：

我尝试重用此代码来复制上述情况，这就是我所拥有的：

我可以测试 final 如何正确读取，但是当它读取不正确时如何复制（即在构造函数完成之前有对胎面的引用时？）

可能重复：
无法在内部类中声明 Public static final String s = new String(“123”)

在以下示例中，为什么允许 CONST_ONE、CONST_TWO，但 CONST_THREE 被标记为错误“内部类不能具有静态声明”？

我可以通过使用public interface GroupOne来获得我需要的行为，但我仍然想了解为什么常量的处理方式不同。我看到的唯一区别是第三个是一个数组，因此它的成员是可修改的，但如果有的话，这似乎会触发一个不同的错误。

以下 Java 代码生成以下 JVM 字节码。

我很好奇为什么会生成偏移量 31 到偏移量 36 的代码。JLS7 或 JVM7 规范中没有提到这一点。我错过了什么吗？

即使我删除了 println 语句，代码（偏移量 31 到偏移量 36）仍然会生成，只是在较早的位置，因为 println 调用已被删除。

我不确定这是否是绝对最好的提问地点，但我认为这里的答案概率最高（因为主题）。

有没有人遇到过 Java 语言规范的 mobi (Amazon Kindle) 版本？我知道我可以在 Kindle 上阅读 PDF，但与 mobi 相比，它的体验更少。

http://docs.oracle.com/javase/specs/