GNU C 中的激活记录（嵌套函数）

Question

在GNU C中，结果是13。因为使用了静态链接。
否则，如果使用动态链接，结果将为 16。

#include <stdio.h>

int h(){
    int x = 1;
    int g(int z){
        return z + x;     <------------------ P
    }
    int f(int y){
        int x = y + 1;
        return g(x * y);   
    }
    return f(3);
}

int main(){
    int a = h();
    printf("%d\n", a);
}

在 P 点，激活记录为

---

z = 12

---

x = 4

---

y = 3

---

f 和指向代码 f

---

g 的指针和指向代码 g 的指针

---

x = 1

---

h 和指针代码 h 为

---

main

---

并指向代码 main

---

1. 是这样吗？
   但是如果函数 g 返回，情况如何？
   g 的激活和变量 z 的激活被删除。
   然后在堆栈帧中，查看漏洞。

2. 这个洞真的出现了吗？

3. 并且根据 In-line 块，在函数 h 中，
   变量 x 是最外层的块。 （这意味着函数 g' 块嵌套在变量 x 的块中） 下一个外部块是函数 g，下一个函数 f... 那么，函数f的静态链接是否指向函数g的帧指针？ 或者函数h的帧指针？ 函数 g 的静态链接怎么样？

Answer 1

在 p 点，堆栈上有 4 个激活记录：

---

g 的激活记录：

• 的返回地址
• f 到h 的静态链接
• 激活记录z = 12

---

f 的激活记录：

• x = 4< /code>
• 返回 h 静态链接的地址到
• h 激活记录
• y = 3

---

h 的激活记录：

• x = 1
• 返回

---

main 的主激活记录地址：

• a = < em>未定义
• 向操作系统返回地址

---

嵌套的每个激活记录函数包含一个到词法封闭激活记录（这里两种情况下都是 h）的链接，该链接是在调用函数并创建激活记录时设置的。在点 p 处，代码将取消引用该链接以查找 x 的值，并且查看此类链接是函数查看其他函数的激活记录的唯一一次。

Answer 2

我认为在P点，x只能引用h()中定义的x；如果它本身嵌套在 g() 中，它只能引用 g() 中的 x。