java class.类结构.method

methods

方法表与field_info中的属性表结构相同，方法里的代码，经过编译成字节码指令后，存放在方法属性表集合中一个Code属性中。与字段表集合相对应，如果父类方法在子类中没有被重写，方法表集合中就不会出现来自父类的方法信息。但同样，有可能会出现由编译器自动添加的方法，最典型的的类构造器<clinit>方法和实例构造器<init>方法。
重载：java中，重载一个方法，除了要与原方法具有相同的简单名称外，还要拥有一个与原方法不同的特征签名，特征签名就是一个方法中各个参数在常量池中的字段符号引用的集合，也就是因为返回值不包含在特征签名中，所以java无法仅靠返回值不同来对一个方法进行重载。

方法访问标志

方法表结构

Code结构

结构：
属性名索引(u2，Code)+属性值长度(u4)+属性值

Code属性值结构
max_stack(u2)+max_locals(u2)+指令长度(u4)+指令+异常表长度(u2，exception_table_length)+异常表+属性表数量(u2)+属性表

Code属性表结构

方法表中不一定存在Code属性

Java程序方法体中的代码经过Javac编译后，生成的字节码指令便会存储在Code属性中，但并非所有的方法表都必须存在这个属性，比如接口或抽象类中的方法就不存在Code属性。

max_stack

max_stack是操作数栈深度的最大值，就是方法调用深度，其值与栈帧大小有关，可能类似于max_stack*栈帧大小=栈

max_locals

Slot的长度与字节的关系

max_locals代表局部变量表所需的存储空间，单位是Slot，并不是在方法中用到了多少局部变量，就把这些局部变量所占Slot之和作为max_locals的值，max_locals<=Code的局部变量表长度(local_variable_table_length)，是通过局部变量的作用域计算出来的一个最小的Slot值，因为局部变量超出作用域就相当于没用了，因而可以复用。

max_locals计算

下面是重点：

max_stack

最大栈深度，单位是Slot

max_locals

最大可能使用的局部变量表的长度，单位是Slot

至少有2种情况可以影响max_locals的值

方法中的局部变量作用域
如下
public class TestClass {

   public int inc() {
       {
           int c=1;
           c++;
       }
       int d=2;
       d++;
       return 2;
   }

}
显然c、d的作用域没有重合的地方，那么就可以重用。这种方式就可以减少max_locals

存放临时数据的Slot
例如java class.类结构.例子.通过一个带Exception的方法对其执行步骤进行详细解释中，变量表中有3个变量，而实际上max_slots为5
这种是增加max_locals

异常表结构

根据上面的Exception table，异常表分为
from(start_pc)：try开始的位置
to(end_pc)：try结束的位置，不包含
target(handler_pc)：catch开始的位置
type(catch_type)：异常类型，如Class java/lang/Exception表示Exception类型异常，any表示所有类型异常

处理逻辑如下：
如果当字节码在第start_pc到第end_pc行之间(不包括end_pc)出现了类型为catch_type或其子类的异常，则转到第handler_pc行继续处理。当catch_type为0时，代表所有异常。
行的说明：行是字节码对于方法体开始的偏移量。

异常属性

与异常表结构区分。
描述的是 throws后面列举的异常

最后编辑于：2019.02.28 16:58:24