JAVA变量声明在循环体内还是循环体外的争论

蔚落 2022-05-11 03:10 187阅读 0赞

转载: [https://www.zhihu.com/question/31751468][https_www.zhihu.com_question_31751468]

本文只是部分转载  完整版本参考上面链接

[Aray][]

程序猿

12 人赞同了该回答

这个两个同学

[@罗夏][Link 1]

[@llzcmxiaotong][llzcmxiaotong]

搬出了java生成的字节码，如果大家看得懂。很容易得出结论就是，对于Java来说，在循环外申明变量，效率不会变高。

[@JonglyRan][JonglyRan]

更是说他实际测试过，效率没有差别。

但是有同学说道内存占用问题，认为“循环外申明变量内存占用会小很多”。我有话要说！！！

我想说的是： **循环外申明变量不但效率不会变高，在循环外申明变量，内存占用会更大！不但没有正面作用，反而有负面作用！**

如果大家看字节码有困难，我们可以使用反编译工具。很容得出效率不会变高的结论

package test;
    
    /**
     * Created by zhouhongyang@zbj.com on 8/8/2017.
     */
    public class VariableInsideOutsideLoopTest {
        public void outsideLoop() {
            Object o;
            int i = 0;
            while (++i < 100) {
                o = new Object();
                o.toString();
            }
            Object b = 1;
        }
    
        public void intsideLoop() {
            int i = 0;
            while (++i < 100) {
                Object o = new Object();
                o.toString();
            }
            Object b = 1;
        }
    }

上面的代码编译成class，反编译出来的样子是这样的：

//
    // Source code recreated from a .class file by IntelliJ IDEA
    // (powered by Fernflower decompiler)
    //
    
    package test;
    
    public class VariableInsideOutsideLoopTest {
        public VariableInsideOutsideLoopTest() {
        }
    
        public void outsideLoop() {
            int i = 0;
    
            while(true) {
                ++i;
                if(i >= 100) {
                    Object b = Integer.valueOf(1);
                    return;
                }
    
                Object o = new Object();
                o.toString();
            }
        }
    
        public void intsideLoop() {
            int i = 0;
    
            while(true) {
                ++i;
                if(i >= 100) {
                    Object b = Integer.valueOf(1);
                    return;
                }
    
                Object o = new Object();
                o.toString();
            }
        }
    }

**纳里？反编译出来的代码一模一样！！！ 结论不言而喻**

那么他们的性能真正的一模一样吗？ 性能除了cpu时间以外，还有个指标就是内存占用。

没办法，我也只能祭出神器javap了 （**有了javap，java性能撕逼必胜，不会的大家请google学习一下**）

public void outsideLoop();
     Code:
        0: iconst_0
        1: istore_2
        2: iinc          2, 1
        5: iload_2
        6: bipush        100
        8: if_icmpge     27
       11: new           #2                  // class java/lang/Object
       14: dup
       15: invokespecial #1                  // Method java/lang/Object."<init>":()V
       18: astore_1
       19: aload_1
       20: invokevirtual #3                  // Method java/lang/Object.toString:()Ljava/lang/String;
       23: pop
       24: goto          2
       27: iconst_1
       28: invokestatic  #4                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       31: astore_3
       32: return
     LocalVariableTable:
       Start  Length  Slot  Name   Signature
          19       5     1     o   Ljava/lang/Object;
           0      33     0  this   Ltest/VariableInsideOutsideLoopTest;
           2      31     2     i   I
          32       1     3     b   Ljava/lang/Object;
    
    public void intsideLoop();
     Code:
        0: iconst_0
        1: istore_1
        2: iinc          1, 1
        5: iload_1
        6: bipush        100
        8: if_icmpge     27
       11: new           #2                  // class java/lang/Object
       14: dup
       15: invokespecial #1                  // Method java/lang/Object."<init>":()V
       18: astore_2
       19: aload_2
       20: invokevirtual #3                  // Method java/lang/Object.toString:()Ljava/lang/String;
       23: pop
       24: goto          2
       27: iconst_1
       28: invokestatic  #4                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       31: astore_2
       32: return
     LocalVariableTable:
       Start  Length  Slot  Name   Signature
          19       5     2     o   Ljava/lang/Object;
           0      33     0  this   Ltest/VariableInsideOutsideLoopTest;
           2      31     1     i   I
          32       1     2     b   Ljava/lang/Object;

嗯，字节码一模一样，真如前面两位大侠说的那样。

**真的一模一样???**

LocalVariableTable:
      Start  Length  Slot  Name   Signature
         19       5     1     o   Ljava/lang/Object;
          0      33     0  this   Ltest/VariableInsideOutsideLoopTest;
          2      31     2     i   I
         32       1     3     b   Ljava/lang/Object;    // <----- 看这里，看加粗的3
    
    LocalVariableTable:
      Start  Length  Slot  Name   Signature
         19       5     2     o   Ljava/lang/Object;
          0      33     0  this   Ltest/VariableInsideOutsideLoopTest;
          2      31     1     i   I
         32       1     2     b   Ljava/lang/Object;     // <----- 看这里，看加粗的2

看到差别了吗？ outsideLoop在stack frame中定义了4个slot, 而intsideLoop只定义了3个slot!!!

outsideLoop中，变量o和b分别占用了不同的slot，在intsideLoop中，变量o和b复用一个slot。

所以，**outsideLoop的stack frame比intsideLoop多占用4个字节内存（一个slot占用4个字节，如果我没有记错）**

真的就只有4个字节的差别？

由于在intsideLoop中，o和b复用了同一个slot，所以，当b使用slot 2的时候，这是变量o已经“不复存在”，所以o原来引用的对象就没有任何引用，它有可能立即被GC回收（注意是有可能，不是一定），腾出所占用heap内存。

所以，**intsideLoop存在可能，在某些时间点，使用的heap内存比outsideLoop少。**

当然这个例子中少的内存微不足道，但是假设这个方法执行时间很长，o引用的对象是一个大对象时，还是有那么点意义。

我发现这个问题有很多错误的看法且广为传播，近期准备写一个文章，长篇大论讨论这个问题。到时候请大家来捧场。

关于是否消耗了更多的栈空间：

[llzcmxiaotong][llzcmxiaotong 1]

计算机硕士

5 人赞同了该回答

int b = 0;

for (int i=0; i<1000; i++) \{

b = i \* i;

通过javap命令查看：

0: iconst\_0

1: istore\_1

2: iconst\_0

3: istore\_2

4: iload\_2

5: sipush 1000

8: if\_icmpge 21

11: iload\_2

12: iload\_2

13: imul

14: istore\_1

15: iinc 2, 1

18: goto 4

21: return

在把变量定义在里面

for (int i=0; i<1000; i++) \{

int b = i \* i;

用javap查看：

0: iconst\_0 // push 0 to stack

1: istore\_1 // pop from stack to变量i （将i赋值为0）

2: iload\_1 // push 变量i的值 to statck

3: sipush 1000 // push 1000 to stack

6: if\_icmpge 19 // pop两个值比较

9: iload\_1 // push 变量i的值 to stack

10: iload\_1 // push 变量i的值 to stack

11: imul // pop 栈顶的两个值相乘，并将结果压栈

12: istore\_2 // pop from stack to 变量b

13: iinc 1, 1 // 将变量i的值 + 1

16: goto 2 // 回去循环

19: return

通过比较发现，两者的指令基本上一致，所以说也无所畏，效率应该是一样的。并没有说定义在循环里面导致栈消耗过大

[发布于 2017-02-17][2017-02-17]

[https_www.zhihu.com_question_31751468]: https://www.zhihu.com/question/31751468
[Aray]: https://www.zhihu.com/people/ArayChou
[Link 1]: https://www.zhihu.com/people/741c506af6b241e57c6505d96c624e0a
[llzcmxiaotong]: https://www.zhihu.com/people/b1fa07352b1644a94dbef1cd27295839
[JonglyRan]: https://www.zhihu.com/people/eed883cadbb2680312c9e5bfbcfad93c
[llzcmxiaotong 1]: https://www.zhihu.com/people/llzcmxiaotong
[2017-02-17]: https://www.zhihu.com/question/31751468/answer/146954708