GForth中使用return stack出现内存错误，求技术解惑

你的代码报错核心原因是跨单词使用返回栈传递数据违反了Forth的返回栈使用规范，具体细节如下：

错误根源 #

Forth的返回栈主要用于保存单词的返回地址，临时存储数据时必须满足两个原则：

• 数据的压入（>r）和弹出（r>）必须在同一个单词内部完成
• 单词执行前后，返回栈的深度必须完全一致

你在syr中用>r把计算结果压入返回栈，然后在collatz中用r>弹出，这属于跨单词操作。调用syr时，返回栈会先压入syr的返回地址，你压入的数据会排在这个返回地址之后。虽然单次循环看起来操作平衡，但这种做法会导致返回栈中返回地址和用户数据混杂，GForth运行时会误将数据当作返回地址处理，最终触发Invalid memory address错误。

修正方案 #

如果要练习返回栈的使用，需将>r和r>放在同一个单词内部。比如把syr的逻辑整合到collatz中，用返回栈临时存储中间值：

: collatz { ini } ini 
  begin dup 1 <> while 
    dup . 
    dup >r  \ 将当前数压入返回栈暂存
    2 mod 0 = if 
      r> 2 /  \ 弹出暂存值，计算偶数分支
    else 
      r> 3 * 1 +  \ 弹出暂存值，计算奇数分支
    endif 
  repeat . ;

如果想保留syr单词，应该让它继续使用数据栈传递结果（这也是Forth中跨单词传递数据的标准方式），原代码的逻辑本身是正确的。

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