61、深入理解CIL操作码及动态程序集的构建

深入理解CIL操作码及动态程序集的构建

1. CIL操作码概述

CIL（Common Intermediate Language）操作码是构建成员实现逻辑的基础。CIL操作码可大致分为以下几类：
- 控制程序流程的操作码
- 计算表达式的操作码
- 通过参数、局部变量等访问内存中值的操作码

以下是一些与成员实现逻辑直接相关的常用操作码：
| 操作码 | 含义 |
| — | — |
| add, sub, mul, div, rem | 对两个值进行加、减、乘、除操作（rem返回除法的余数） |
| and, or, not, xor | 对两个值进行按位操作 |
| ceq, cgt, clt | 以不同方式比较栈上的两个值（ceq：比较是否相等；cgt：比较是否大于；clt：比较是否小于） |
| box, unbox | 用于在引用类型和值类型之间进行转换 |
| ret | 退出方法并（如有必要）将值返回给调用者 |
| beq, bgt, ble, blt, switch | 控制方法内的分支逻辑（如beq：如果相等则跳转到代码标签；bgt：如果大于则跳转到代码标签等） |
| call | 调用给定类型的成员 |
| newarr, newobj | 分别用于在内存中分配新数组或新对象类型 |

2. 栈相关操作码

CIL中有两类与栈操作密切相关的操作码：加载操作码和弹出操作码。

2.1 加载操作码

加载操作码用于将参数推送到虚拟执行栈上，通常以“ld”（load）为前缀。