GNU Forth局部变量使用时栈下溢问题咨询

嘿，我明白你为啥困惑了——Gforth的局部变量语法细节确实容易踩坑，你遇到的问题完全是因为对{ ... }的默认行为理解错了。

你写的代码: foo { a b } a b + . ;，实际做的事情和你预期的完全不一样：

• 默认情况下，{ a b }并不是从栈上取两个值存入局部变量，而是创建两个局部变量，然后把它们的内存地址推到数据栈上。
• 而且局部变量的名字（a、b）本身是个单词，调用它会再次把变量的地址压栈，不是直接返回变量的值。

所以当你调用1 2 foo时，栈上只有两个元素，但你的代码执行过程中会不断往栈上压地址，后续的+和.操作需要更多元素，自然就栈下溢了——而当栈上有四个元素时，刚好能满足这些多余的压栈操作需求，但这完全不是你想要的逻辑。

正确的写法（实现你预期的功能） #

如果你想从栈上取两个值存入局部变量，然后相加输出，需要明确告诉Gforth要从栈上读取值来初始化局部变量，有两种常用方式：

方式1：地址型局部变量（默认模式）

用栈注释明确输入输出，然后用@读取局部变量的值：

: foo ( n1 n2 -- )  \ 栈注释：输入两个数，无输出
  { n1 n2 }          \ 从栈上读取两个值，存入局部变量n1、n2
  n1 @ n2 @ + .      \ 读取变量值，相加后输出
;

方式2：值型局部变量（更简洁）

开启值型局部变量模式后，局部变量名字直接代表变量的值，不需要@：

\ 开启值型局部变量模式
\ value-locals
: foo ( n1 n2 -- )
  { n1 n2 }
  n1 n2 + .
;

现在调用1 2 foo，就会正确输出3，再也不会出现栈下溢的问题了。

关键知识点 #

• { names }：默认创建地址型局部变量，并将变量地址压栈。
• { names -- }：明确从栈上读取对应数量的值，初始化局部变量（配合栈注释更清晰）。
• 地址型局部变量需要用@取值，值型局部变量可直接通过名字使用值。

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