关于MIPS中Swap Procedure的数组内存修改逻辑疑问

要理解如何通过lw/sw修改数组内容，核心是搞清楚MIPS中内存地址的计算与指令交互逻辑：

• 数组的首地址存在$a0中，它本质是一个指向内存某位置的地址值。我们不需要修改$a0本身，而是用它来计算数组中每个元素的实际内存地址。
• lw/sw的操作逻辑是：通过「基地址寄存器 + 偏移量」确定目标内存地址，然后完成内存与寄存器之间的数据传输——lw把内存地址里的值读到寄存器，sw把寄存器的值写入到对应内存地址。

举个交换数组第0个和第1个元素的具体流程（MIPS是32位架构，每个字占4字节）：

# 步骤1：获取数组第0个元素的地址（和$a0相同）
addi $t0, $a0, 0
# 步骤2：把第0个元素的值加载到$t1寄存器
lw $t1, 0($t0)

# 步骤3：获取数组第1个元素的地址（首地址+4字节偏移）
addi $t0, $a0, 4
# 步骤4：把第1个元素的值加载到$t2寄存器
lw $t2, 0($t0)

# 步骤5：把$t2的值写入第0个元素的内存地址，完成第一个元素的修改
sw $t2, 0($a0)
# 步骤6：把$t1的值写入第1个元素的内存地址，完成第二个元素的修改
sw $t1, 4($a0)

你提到$t0和$a0不同，这很正常——比如上面步骤3中$t0存的是第1个元素的地址，和$a0（首地址）确实不一样，但sw指令关注的是括号里的地址对应的内存位置，不管这个地址存在$a0还是$t0，只要用这个地址执行sw，就会把寄存器的值写入到数组元素实际所在的内存空间，从而真正修改数组的内容。

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