从字节码的角度来解释为什么for循环或者while循环中都是用int类型的值来进行判断

客官°小女子只卖身不卖艺 2022-11-03 04:01 66阅读 0赞

### 目录 ###

*   *   *  1、引出问题
         *  2、for循环内部的int类型的i++是怎么执行的
         *  3、for循环内部的double类型的i++是怎么执行的
         *  4、for循环内部的short类型的i++是怎么执行的
         *  5、while循环和for循环可以互相转换的原因

### 1、引出问题 ###

大家有没有思考过为什么for循环或者while循环中都是用int类型的值，而不是用short类型或者double类型的值吗，比如：

for (int i = 0; i < 10; i++) { 
        System.out.println("hello," + i);
    }

接下来我将为大家解释这个问题

### 2、for循环内部的int类型的i++是怎么执行的 ###

**代码：**

public class Test { 
        public void hello() { 
            for (int i = 0; i < 10; i++) { 
                // 这里写业务代码
            }
        }
    }

**解释：**

我们直接来看字节码，如下：

0 iconst_0
     1 istore_1
     2 iload_1
     3 bipush 10
     5 if_icmpge 14 (+9)
     8 iinc 1 by 1
    11 goto 2 (-9)
    14 return

当`hello()`方法被调用的时候，局部变量表中下标为`0`的位置已经是`this`了，然后我们来看字节码，`iconst_0`代表将`0`压入操作数栈，`istore_1`代表将`0`弹出操作数栈并放入局部变量表中下标为1的位置，`iload_1`代表将局部变量表中下标为`1`中的值压入操作数栈中，`bipush 10`代表将`10`压入操作数栈中，现在操作数栈中栈底是0，而栈顶是`10`，`if_icmpge 14 (+9)`代表如果栈顶元素之下的元素大于等于栈顶元素，那就可以跳转到`14 return`的位置执行返回指令，由于0小于10，不符合要求，因此将会继续往下执行而不是跳转执行，以上指令执行完成之后操作数栈中就没有值了，`iinc 1 by 1`代表将局部变量表中下标为`1`位置的值增加`1`，相当于就是执行java代码中的`i++`，`goto 2 (-9)`代表将回到`2 iload_1`这个位置继续执行字节码指令，由于`iinc 1 by 1`的操作直接在局部变量表中进行，所以节约了很多操作，因此效率比较高

### 3、for循环内部的double类型的i++是怎么执行的 ###

**代码：**

public class Test { 
        public void hello() { 
            for (double i = 0; i < 10; i++) { 
                // 这里写业务代码
            }
        }
    }

**解释：**

我们直接来看字节码，如下：

0 dconst_0
     1 dstore_1
     2 dload_1
     3 ldc2_w #2 <10.0>
     6 dcmpg
     7 ifge 17 (+10)
    10 dload_1
    11 dconst_1
    12 dadd
    13 dstore_1
    14 goto 2 (-12)
    17 return

以上内容不再多做分析，主要看：

10 dload_1
    11 dconst_1
    12 dadd
    13 dstore_1

作用就是将局部变量表中下标为`1`的值取出压入操作数栈中，然后在将`1`压入操作数栈中，之后在将两个值相加并且将相加的结果压入操作数栈中，之后将和弹出操作数栈并且放在局部变量表中，啊，这些操作实在复杂，你可以比较一下使用`int`类型`iinc 1 by 1`，这个操作直接在局部变量表中完成，还是很简单的

### 4、for循环内部的short类型的i++是怎么执行的 ###

**代码：**

public class Test { 
        public void hello() { 
            for (short i = 0; i < 10; i++) { 
                // 这里写业务代码
            }
        }
    }

**解释：**

0 iconst_0
     1 istore_1
     2 iload_1
     3 bipush 10
     5 if_icmpge 16 (+11)
     8 iload_1
     9 iconst_1
    10 iadd
    11 i2s
    12 istore_1
    13 goto 2 (-11)
    16 return

以上内容不再多做分析，主要看：

8 iload_1
     9 iconst_1
    10 iadd
    11 i2s
    12 istore_1

作用就是将局部变量表中下标为`1`的值取出压入操作数栈中，然后在将`1`压入操作数栈中，之后在将两个值相加并且将相加的结果压入操作数栈中，然后将和的类型从int类型转换成short类型，最后将该值放在局部变量表中，啊，这些操作实在复杂，你可以比较一下使用`int`类型`iinc 1 by 1`，这个操作直接在局部变量表中完成，还是很简单的

### 5、while循环和for循环可以互相转换的原因 ###

作用相同的while循环和for循环的代码和字节码如下：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQyNDQ5OTYz_size_16_color_FFFFFF_t_70]  
可以看出，`while循环`和`for循环`的代码和字节码文件是相同的，无论从基本作用还是字节码文件都是可以看出它们相同的

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQyNDQ5OTYz_size_16_color_FFFFFF_t_70]: /images/20221024/4d86312120094632805c3b0bd49fb8bd.png