pharo - Pharo 中的赋值是如何实现的？

Question

四处查看图片并搜索“:=”不会产生很快弹出的相关结果。

赋值在 Pharo 图像中的具体位置以及如何实现？

Answer 1

赋值被翻译成字节码指令。对临时变量的赋值转换为 popIntoTemp:，它将当前顶部弹出堆栈并将其存储在分配给由索引(指令的参数)描述的临时变量的槽中。

其他赋值以类似的方式工作，因此对实例变量的赋值转换为 popIntoRcvr:(“弹出到接收器”)，其中索引(指令的参数)指定索引实例变量。

类变量赋值转换为popIntoLit:(这里指令的参数是文字本身，即本例中的类变量)，类实例变量赋值给popIntoRcvr: 和全局分配到 popIntoLit:(参数是文字本身，即全局)。

用于指令的名称取自 Pharo 中的字节代码 View 。 The Blue Book根据字节(当然是虚拟机使用的字节)和描述性名称来定义这些指令。以下是与上述指令相关的字节:

• popIntoTemp:: <68>
• popIntoRcvr:: <60>
• popIntoLit::<82 C0>

另请注意，对于特殊情况可能还有其他说明，例如以某个较大的偏移量存储到临时变量中。