mudos解释器中lpc数组-=操作的代码分析

阅读更多

void main()
{
    mixed a = [1];
    a += [2];
    a += ["hello"];
    a += [[1,2]];

    a -= [2];
    a -= ["hello"];
    a -= [[1,2]];
    debug_message("%O",a);
}

这段lpc代码会输出什么呢？

我们先从字节码分析吧。

引用

……
002c: short_string "hello"
002e: aggregate 1
0031: local_lvalue LV0
0033: -=
0034: pop
0035: push number 1, number 2
0039: aggregate 2
003c: aggregate 1
003f: local_lvalue LV0
0041: -=
……

-=字节码对应的数组处理代码如下

void f_sub_eq(){
……
case T_ARRAY:
	{
		sp->u.arr = argp->u.arr = subtract_array(argp->u.arr, sp->u.arr);
		sp->u.arr->ref++;
		break;
	}
……
}

subtract_array代码流程如下

• 先以被减数组大小分配新数组，把要减去的数组堆排序（alist_sort）
• 再循环被减数组，每个元素用二分方式查找，比较（alist_cmp），没找到则放入新数组
• 调整新数组大小(realloc)，返回结果

在1、2步中，被减数组与减去的数组里的字符串都会判断是不是在共享的字符串池中，如果不是会放入共享字符串池中 。所以字符串的比较是相当于指针比较。但数组也是直接比较地址，由于数组地址不一样，所以没有删除。

int alist_cmp(svalue_t *p1, svalue_t *p2){
	register int d;

	if ( (d = p1->u.number - p2->u.number) )
	{
		return d;
	}
	if ( (d = p1->type - p2->type) )
	{
		return d;
	}
	return 0;
}

所以输出结果：
[1, [1, 2]]

作者：翁志艺