是否为每次迭代创建了 for 循环内的引用变量声明？ [复制]

Question

前 2 个例子：

1)
MyClass myClass;
for (int i=0; i<arrayList.size(); i++) {
    myClass = arrayList.get(i);
    ...
}


2)
for (int i=0; i<arrayList.size(); i++) {
    MyClass myClass = arrayList.get(i);
    ...
}

在第一个示例中，引用变量 myClass 仅创建一次。但是在第二个示例中，它是只创建一次，还是每次迭代创建一次？我的想法可能是编译器对此进行了优化，我不知道。

我试图通过编写一个示例来回答这个问题，但无法弄清楚。如何通过代码证明？

注意：我意识到示例 2 的风格更好，因为 myClass 在 for 循环之外不为人所知，并且它的范围保持在最低限度。我也在这里搜索过，但还没有找到这个确切问题的明确答案（通常是“哪个是首选？”的问题。）我还假设如果每次迭代都创建了 myClass 引用，那么它的性能并不高问题。

编辑：同样，我不是在问哪种编码风格更好。另外，我想知道它是否可以通过代码推断/证明。我尝试生成并比较字节码，但我对字节码不熟悉，生成的内容不完全匹配。

Answer 1

当你声明一个变量时，你不会“创建”任何东西。变量只是一个方便的名称，可以帮助您记住将某些结果放在哪里，并允许您控制可以在何处使用该结果，并将某些类型信息与该结果相关联；但是一旦你编译了代码，它们就不再存在了。

比较字节码（*）：

void outside(int i, List<?> list) {
  Object obj;
  for (i = 0; i < list.size(); i++) {
    obj = list.get(i);
  }
}

void inside(int i, List<?> list) {
  for (i = 0; i < list.size(); i++) {
    Object obj = list.get(i);
  }
}

反编译为：

  void outside(int, java.util.List<?>);
    Code:
       0: iconst_0
       1: istore_1
       2: iload_1
       3: aload_2
       4: invokeinterface #2,  1            // InterfaceMethod java/util/List.size:()I
       9: if_icmpge     26
      12: aload_2
      13: iload_1
      14: invokeinterface #3,  2            // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
      19: astore_3
      20: iinc          1, 1
      23: goto          2
      26: return

  void inside(int, java.util.List<?>);
    Code:
       0: iconst_0
       1: istore_1
       2: iload_1
       3: aload_2
       4: invokeinterface #2,  1            // InterfaceMethod java/util/List.size:()I
       9: if_icmpge     26
      12: aload_2
      13: iload_1
      14: invokeinterface #3,  2            // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
      19: astore_3
      20: iinc          1, 1
      23: goto          2
      26: return

两者是相同的。使用最易读的那个。

---

(*) 我已将循环变量i 声明为参数，以避免在Object 之前或之后声明i 导致生成的字节码有任何差异。这对字节码的唯一区别在于aload_N/iload_N/astore_N/istore_N 指令-N 是不同的，因为变量存储在不同的“槽”中。这不是显着差异。