在Smalltalk中如何跳转至不同内存地址？汇编解释器开发问询

嘿，很高兴看到你在Smalltalk里折腾汇编解释器！这可是个有意思的项目～

先直接给你划重点：Smalltalk作为一门纯面向对象语言，本身并不提供直接跳转至原始内存地址的原生语法——毕竟它的设计哲学就是让开发者远离底层内存操作，专注于对象交互。不过如果是要构建汇编解释器，我们完全可以自己模拟内存地址和跳转逻辑，这一点都不难！

• Smalltalk的运行时（比如Squeak、Pharo）会全权管理内存，对象的底层内存地址对开发者是完全透明的，你没法像汇编那样用jmp 0x123这类命令直接跳转。
• 如果你真的需要极底层的内存访问（比如做虚拟机扩展），可能得依赖特定虚拟机的原生插件，但这不属于标准Smalltalk的范畴，而且非常不推荐——会彻底破坏Smalltalk的封装性和跨平台性。

当你模拟汇编的内存模型时，核心就是维护两个东西：存储指令的内存容器和程序计数器（PC）。跳转逻辑本质上就是修改程序计数器的值，让它指向目标内存地址。下面用你的例子（内存地址1-10的数组，从地址5跳转至1）来写个简单的示例：

步骤1：初始化内存与程序计数器 #

| memory pc |
memory := Array new: 10. "用数组索引1-10对应你的内存地址1-10"
pc := 5. "初始让程序计数器指向地址5"

步骤2：模拟跳转指令（比如JMP） #

我们可以直接通过修改PC的值来实现跳转，就像汇编里的JMP指令一样：

"模拟JMP 1指令：直接把程序计数器设置为目标地址1"
pc := 1.

完整的简易解释器框架 #

如果要更贴近真实汇编解释器的逻辑，我们可以把内存里的内容当成可执行指令，然后循环执行：

| memory pc |
"初始化内存：每个地址存储对应的指令，比如地址5是JMP 1"
memory := Dictionary newFrom: {
    1 -> #(PRINT 'Hello from addr 1').
    2 -> #(ADD 3 5).
    5 -> #(JMP 1).
    10 -> #(HALT)
}.
pc := 5. "从地址5开始执行"

[ pc <= 10 ] whileTrue: [
    | currentInstruction |
    currentInstruction := memory at: pc ifAbsent: [ #(HALT) ].
    
    currentInstruction first caseOf: {
        [#PRINT] -> [ 
            Transcript show: currentInstruction second; cr. 
            pc := pc + 1 ].
        [#ADD] -> [ 
            "这里可以加加法逻辑的实现"
            pc := pc + 1 ].
        [#JMP] -> [ 
            pc := currentInstruction second. "核心跳转逻辑：修改PC到目标地址" ].
        [#HALT] -> [ 
            pc := 11 ] "设置PC超出范围，退出循环"
    } otherwise: [ pc := pc + 1 ].
]

在这个例子里，当执行到地址5的JMP 1指令时，程序计数器直接被设置为1，下一次循环就会执行地址1的PRINT指令，完美实现了你要的跳转效果。

• Smalltalk本身不支持直接跳转原生内存地址，这是语言设计的特性，目的是让开发者专注于对象而非底层；
• 构建汇编解释器时，通过模拟程序计数器（PC）+ 内存指令集的方式，就能轻松实现跳转逻辑——核心就是修改PC的值来指向目标内存地址。

内容的提问来源于stack exchange，提问作者Mia