我正在编写一个具有任意整数（编码，而不是字面意义）参数的小语言VM，并且即将实现if语句。 if语句要编译的久经考验的公式
if (EXPRESSION) {
BODY
}
进入
EXPRESSION
JUMP-IF-FALSE body-length
BODY
但是，我正在努力查看单遍编译器在生成JUMP-IF-FALSE命令时如何确定主体长度。
使用恒定大小的指令，您可以只添加两个额外的字节或其他内容，然后返回并对其进行修补，但是对于需要插入或串联的可变大小的指令，则需要两个O（N）进程。
因此，我唯一的选择似乎是切换到恒定大小的跳转指令，并且每个MAXJUMP-1字节插入一条命令以跳过下一条指令，然后再跳过另一条JUMP指令。
即使这种情况（65k +固定字节并跳转2字节）真的不太可能，但我真的很想不必这样做。