开发虚拟CPU：汇编.data段值是否可变？引用应何时解析

首先明确通用架构汇编的通用设计逻辑：.data段存储的数值默认是运行时可变的，引用这类变量时绝对不能在汇编阶段直接替换成初始值硬编码，否则完全违背段的设计语义。

先理清不同段/定义的语义边界 #

不同的段和定义语法，本身就对应了汇编阶段不同的处理逻辑，不能混为一谈：

• .data段的标准定位是存放可读写的已初始化全局/静态数据：汇编阶段你只需要为段内每个带标签的变量分配对应长度的内存地址，把声明的初始值（比如示例里的10h）写入程序镜像的对应偏移即可，标签本质是对应内存地址的别名，不是固定常量。
• 如果你需要汇编阶段就解析成固定值、运行时不可变的常量，应该单独设计常量定义语法，比如类NASM的MyGlobalConst equ 10h，这类常量不会分配实际内存，汇编时遇到引用直接替换成立即数即可。

两种指令生成逻辑的适用场景 #

你列的两种指令生成方式，分别对应完全不同的使用场景，不能错位使用：

• mov ra, 10h 这种汇编期直接解析为立即数的生成逻辑，仅适用于两种情况：
  • 用户代码直接书写了立即数10h
  • 用户引用的是equ定义的汇编期常量，而非.data段内分配了实际内存的变量
• mov ra, [0x00000000] 这种运行时通过地址访存拿值的生成逻辑，才是引用.data段变量的标准做法：
  汇编阶段你只需要把MyGlobalVar标签替换为它被分配到的实际内存地址，把地址编码到指令里即可。等程序实际运行到这条指令时，再去对应内存地址读取当前存储的值——这样程序后续如果对该地址执行写入操作（比如mov [MyGlobalVar], 20h），再读取就能拿到修改后的值，符合.data段可变的设计预期。

设计注意点 #

不要为了实现简单把.data段变量的初始值在汇编阶段直接硬编码替换成立即数，这种实现会直接导致全局变量失去可修改能力，用户连全局计数器、运行时状态标记这类最基础的功能都无法实现，和x86、ARM、RISC-V等所有通用CPU的汇编行为完全不一致。

如果要贴合主流汇编的使用习惯，可以把标签引用的语义做明确拆分，降低用户的学习成本：

• 直接书写标签名（比如mov ra, MyGlobalVar）：代表取标签对应的内存地址，汇编时直接替换为地址立即数
• 标签名包裹在方括号中（比如mov ra, [MyGlobalVar]）：代表访问对应地址中存储的数据，生成运行时访存的指令

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