使用基于堆栈计算机的语言添加嵌套函数支持

Question

假设我有一个简单的类C编程语言：

int foo() {
    int x = 10;
    int bar(y int) {
        return y * 2
    }
    return bar() + x
}

就像你看到的，它支持嵌套函数。我已经实现了lexing-parsing阶段，现在我正在研究代码生成和堆栈机器。大多数操作，以及已经实现的简单流控制，但我需要一些帮助/想法如何解决嵌套函数任务。

堆栈机有两个寄存器，累加器和临时寄存器。每个帧包含：[arguments, local variables, return address, caller frame and stack pointer, temporaries and data operations]，我使用相同的堆栈作为调用帧和操作评估。也许我应该将它分成两个堆栈，一个用于调用帧，第二个用于操作评估。

我读到了两种实现嵌套函数的方法。一，使用激活链接（也称为静态链接）和显示。有没有更好的办法处理这个问题？如果我选择其中一个想法，是编译时计算还是我需要在运行时存储一些东西？如果它是运行时的东西，它的时间复杂度是多少？是O（1）运算，还是O（k）之类的东西，其中k是函数的深度。