指令 istore 是否从 main 方法中的索引 1 开始？

Question

给定指令istore_<n> 及其documentation：

n 必须是当前帧的局部变量数组的索引（第 2.6 节）。

它没有指定它从哪个索引开始。我假设为 0。对于给定的 istore 操作，它应该增加 1。

给定一个简单的类：

public class TestingStuff {
    public static void main(String[] args) {
        int a = 11;
        int b = 12;

    }

    public static void test() {
        int c = 13;
        int d = 14;
    }
}

我希望这两种方法有不同的框架。那么这应该意味着存储a 和b 的指令将是istore_0 和istore_1。以及用于存储c 和d 的相同索引。但由于某种原因，main 方法中的索引从1 开始。这似乎总是如此。但我找不到任何有关原因的信息。

来自 javap 的输出：

  public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=1, locals=3, args_size=1
         0: bipush        11
         2: istore_1
         3: bipush        12
         5: istore_2
         6: return

  public static void test();
    descriptor: ()V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=1, locals=2, args_size=0
         0: bipush        13
         2: istore_0
         3: bipush        14
         5: istore_1
         6: return

是这样吗？如果有，为什么？

Answer 1

静态方法的参数从位置0开始作为局部变量传递。因此，对于main，args数组在本地位置 0 处的变量。编译使用 args 执行某些操作的代码应该可以证明这一点，尽管我手边没有编译器。

（例如方法，this 在位置 0，然后其余参数从位置 1 开始。）

详情请见section 2.6.1。