自制Java虚拟机(四)-对象、new、invokespecial
一、对象的表示
刚开始学Java的时候,图书馆各种教程,书名往往都是“Java面向对象高级编程”,通常作者都会与C++做个比较,列出的优点往往都有纯面向对象、自动垃圾收集(不用管理内存)、跨平台(Write once, run everywhere 是宣传的重点,前提是需要在每个平台上安装jvm)、没有指针(后来证明是有的)、安全等。本篇文章就来实现面向对象(简单版,暂不考虑继承),涉及的指令主要有:
new
创建一个对象getfield
获取对象的一个实例属性(field),push到操作数栈putfield
通过对象的引用和指向常量池CONSTANT_Fieldref_info
类型的索引,给对象的属性赋值invokespecial
调用构造函数、实例化方法
存储对象主要是存储它的实例属性和类型信息,可用如下结构体表示一个对象:
typedef struct _Object {
Class* pclass;
int length;
char* fields;
} Object;
typedef Object* Reference;
其中,pclass字段为创建该对象使用的类,length为该对象的属性个数,fields为字段数组指针,指向实例属性数组的起始地址。
创建对象的代码可以如下:
Object* newObject(OPENV *env, Class* pclass) {
Object *obj;
int total_size;
total_size = (pclass->fields_size+1)<<2;
obj = (Object*)malloc(sizeof(Object) + total_size);
obj->fields = (char*)(obj+1);
obj->pclass = pclass;
obj->length = total_size;
return obj;
}
new
指令的实现:
Opreturn do_new(OPENV *env)
{
Class* pclass;
PRINTSD(TO_SHORT(env->pc));
short index = TO_SHORT(env->pc);
Object *obj;
if (env->current_class->this_class == index) {
pclass = env->current_class;
} else {
// TODO: create object of non-current-class
}
obj = newObject(env, pclass);
PUSH_STACKR(env->current_stack, obj, Reference);
INC2_PC(env->pc);
}
由于getfield
和putfield
指令是通过对象的引用和常量池索引来操作的,我们若操作对象的属性,需要唯一定位每个属性,当前方法是通过给每个对象的实例字段分配一个唯一的索引来实现的。假设我们已经知道每个属性的索引:
#define GET_FIELD_OFFSET(index) ((index) << 2)
#define GET_FIELD(obj, findex, ftype) *((ftype*)(obj->fields + GET_FIELD_OFFSET(findex)))
#define PUT_FIELD(obj, findex, fvalue, ftype) *((ftype*)(obj->fields + GET_FIELD_OFFSET(findex)))=fvalue
通过对象的引用(obj)、属性的索引(findex)、属性的类型(ftype),我们就可以存取一个对象的属性了(保存的时候需要知道值 fvalue)。
实际上getfield
、putfield
指令涉及到操作数栈:
#define OP_GET_FIELDI(obj, findex, ftype) PUSH_STACK(env->current_stack, GET_FIELD(obj, findex, ftype), int)
#define OP_GET_FIELDF(obj, findex, ftype) PUSH_STACK(env->current_stack, GET_FIELD(obj, findex, ftype), float)
#define OP_GET_FIELDL(obj, findex, ftype) PUSH_STACKL(env->current_stack, GET_FIELD(obj, findex, ftype), ftype)
#define OP_PUT_FIELDI(obj, findex, ftype) obj=PICK_STACKL(env->current_stack, Reference);\
SP_DOWNL(env->current_stack);\
PUT_FIELD(obj, findex, PICK_STACKU(env->current_stack, ftype), int)
#define OP_PUT_FIELDF(obj, findex, ftype) obj=PICK_STACKL(env->current_stack, Reference);\
SP_DOWNL(env->current_stack);\
PUT_FIELD(obj, findex, PICK_STACKU(env->current_stack, ftype), float)
#