栈为空时仍弹出值存入变量问题求助（含80387协处理器代码）

嘿，你这是踩了x87（也就是80387）浮点单元的经典误区——它的栈是循环寄存器栈，跟你平时用的内存栈完全不是一回事！

核心原因：x87栈没有“空”的概念 #

x87有8个浮点寄存器（ST0到ST7），靠一个TOP指针标记当前栈顶位置。当你把栈里的内容全弹出去之后，TOP指针会绕回初始位置，但这些寄存器里的旧数据根本没被清除！

当你执行弹出到pot的指令（比如fstp dword [pot]）时，x87才不管栈“空不空”——它只会老老实实地把当前TOP指针指向的寄存器里的残留值（可能是你之前计算平均值时留下的垃圾，甚至是程序启动时寄存器的初始随机值）复制给pot，然后再把TOP指针往前挪一位（循环式的移动）。

结合你的场景再掰扯清楚 #

你说“已弹出栈帧中的所有内容”，这里要注意：你用fpop之类的指令弹栈时，只是在移动TOP指针，不会清空寄存器里的内容。弹8次之后，TOP回到起点，但每个寄存器里还是之前用过的旧数据。这时候再弹一次，自然就把那个残留值读出来了。

怎么验证这个结论？ #

要是你想确认问题根源，试试在弹出所有内容后加一条finit指令——这会初始化整个x87单元，把所有寄存器清零，重置TOP指针。之后再弹栈到pot，你就会发现pot变成0了（符合x87初始化后的标准值）。

额外提醒：别再用x87了 #

现在的x86平台早就推荐用SSE/AVX指令集了，它们用的是扁平的寄存器模型，没有这种循环栈的奇葩问题，用起来直观多了。

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