LibreOffice Basic中GoTo模拟递归是否会栈溢出及差异原因

先看你实现的代码：

Sub loopWork
    GoTo Label1
Label1:
    if stateMainTimer = 2 Then
        Exit Sub
    End If   
    GoTo Label2
Label2:
    loopWorkVoid()
    GoTo label1
End Sub

针对你的疑问逐一解答：

1. 此GoTo结构是否属于递归？ #

不属于递归。递归的核心特征是子程序直接或间接调用自身，每次调用都会产生新的执行上下文。而这个GoTo结构只是在loopWork内部通过标签跳转，全程没有调用loopWork自身，只是在同一个子程序的代码逻辑里循环执行，完全不符合递归的定义。

2. 是否会发生栈溢出？ #

正常使用场景下不会发生栈溢出。栈溢出的本质是调用栈中积累的栈帧过多，超出了系统分配的栈空间上限。而这个GoTo结构全程只使用loopWork被调用时创建的单个栈帧，所有跳转都在这个栈帧内部完成，不会新增栈帧，因此栈空间不会被持续消耗。

3. 若会则何时溢出？ #

基于这个结构本身的逻辑，无论循环多少次都不会因为该结构引发栈溢出。除非loopWorkVoid()内部存在递归调用、大量局部变量占用栈空间，或者其他消耗栈资源的操作，但这些都和当前的GoTo循环结构无关。

4. 为何与普通递归的栈溢出表现差异巨大？ #

差异的核心在于栈帧的创建机制：

• 普通递归每次调用子程序时，系统都会在调用栈上创建新的栈帧，存储返回地址、局部变量、参数等信息，每一次递归调用都会占用额外的栈空间，随着调用次数增加，栈空间被快速耗尽，达到上限就触发溢出。
• 你的GoTo循环结构全程复用同一个栈帧，所有执行逻辑都在这个栈帧内完成，栈空间不会随着循环次数的增加而增长，因此可以支持远超递归的执行次数。

内容的提问来源于stack exchange，提问作者Антон Сибгатулин