关于出栈的疑惑

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 1600 天前的主题，其中的信息可能已经有所发展或是发生改变。

假设有一个函数是这样的 void demo(){ int a = 1; int b = 2; int c = 3;

int d = a * b; int e = c* d; }

理论上应该 a 先入栈，其次 b,c ；出栈的时候是 a,b 先出栈（应为先用到他们两），既然 a,b 先出栈，那么 c 肯定也用出栈（删除），那么首次用到 c 对时候，c 从哪儿去取呢（应为已经出栈被删除掉了）？

int

栈

删除

void

25 条回复 • 2020-07-10 11:28:50 +08:00

ChanKc

2020-07-08 10:01:08 +08:00 via Android

出栈？你这个代码编译器可以重排序的

dddddddddd

2020-07-08 10:25:14 +08:00

？？出栈处理的不是单个变量吧，函数退出的时候，应该是整个函数一次性退出。Java 里面这个东西叫栈帧，不知道 C 语言里的名词是啥。

GuuJiang

2020-07-08 10:29:51 +08:00 via iPhone

请先定义你这里说的栈指的是函数调用时传递参数的那个栈，还是 opcode 的操作栈，但无论哪个都不存在你说的这个疑惑，无意冒犯，不过你的这个提问给人感觉你似乎隐隐约约走上了思而不学的路子

kop1989

2020-07-08 10:33:17 +08:00 via iPhone

不太懂 c 语言，但是 java 的话，你调用 a 和 b，a 和 b 并未出栈，只是你使用了 a 和 b 的指针。
所以你这个疑惑意义不明。

zifangsky

2020-07-08 10:36:37 +08:00

0 iconst_1
1 istore_1
2 iconst_2
3 istore_2
4 iconst_3
5 istore_3
6 iload_1
7 iload_2
8 imul
9 istore 4
11 iload_3
12 iload 4
14 imul
15 istore 5
17 return

执行完第 5 行之后，此时局部变量表中有：
0 this
1 1
2 2
3 3

执行第 6 7 行，本质上就是将局部变量表中的 1 和 2 先后取出来放在操作数栈中，然后第 8 行的 imul 指令就是从操作数栈中弹出两个元素做乘法，并将结果再压回操作数栈。

执行第 9 行，这里的 istore 指令的意思是从操作数栈中出栈一个元素存到局部变量表中的第 4 个位置。后面指令的意思差不多，就不做过多解释了。

结论：以上代码的乘法计算过程不是直接从本地线程栈中出栈做计算，而是①从局部变量表中取数据压到操作数栈，然后②从操作数栈中弹出元素做计算并将结果再压回操作数栈，最后③如果有赋值操作就将其再存到局部变量表中的对应位置。