Questions tagged «goto»

我知道大多数人都知道这goto是Java语言中的保留关键字，但实际上并未使用。您可能还知道这goto是Java虚拟机（JVM）操作码。我认为所有的Java，Scala和科特林的复杂的控制流结构，在JVM的水平，使用的某种组合来实现goto和ifeq，ifle，iflt，等。 查看JVM规范https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.goto_w我看到还有一个goto_w操作码。而goto采用2字节的分支偏移量，goto_w则采用4字节的分支偏移量。规范指出 尽管goto_w指令采用4字节的分支偏移量，但其他因素将方法的大小限制为65535字节（第4.11节）。在Java虚拟机的未来版本中可能会提高此限制。 在我看来goto_w，就像其他一些*_w操作码一样，它是面向未来的。但我也goto_w想到，也许可以将两个较高有效字节清零，并将两个较低有效字节与for相同goto，并根据需要进行调整。 例如，给定以下Java Switch-Case（或Scala Match-Case）： 12: lookupswitch { 112785: 48 // case "red" 3027034: 76 // case "green" 98619139: 62 // case "blue" default: 87 } 48: aload_2 49: ldc #17 // String red 51: invokevirtual #18 // Method java/lang/String.equals:(Ljava/lang/Object;)Z 54: ifeq 87 57: iconst_0 58: istore_3 59: …

47 java  jvm  goto 

考虑以下代码： void foo() { goto bar; int x = 0; bar: ; } GCC和Clang 拒绝了它，因为跳转到bar:绕过了变量初始化。MSVC一点也不抱怨（使用x after bar:会引起警告）。 我们可以使用来做类似的事情switch： void foo() { switch (0) { int x = 0; case 0: ; } } 现在所有三个编译器 发出错误。 这些代码片段格式不正确吗？还是引起UB？ 我曾经以为两者都是不正确的形式，但是我找不到标准的启示部分。[stmt.goto]不说这事，而且也不[stmt.select] 。

17 c++  language-lawyer  goto  initializer  variable-declaration