即使我反转了两个参数，为什么这个函数调用仍然有效？

Question

我正在研究一种来自 Numerical Recipes 的 Nelder-Mead 算法的变体，它允许用户指定要进行的目标函数调用的最大数量。

在我的主程序中，我如何调用实现 Nelder-Mead 算法的 amoeba() 函数：

amoeba(p,y,params->ndim,params->tol,params->nmax,internal_funk,&nfunc);

但它是如何实现的：

void amoeba(float **p, float y[], int ndim, unsigned nmax, float ftol, float (*funk)(float []), int *nfunk) {
....
}

请注意，我在函数调用中反转了 nmax 和 ftol 参数。

令人惊讶的是，amoeba() 仍然有效。在调试器中单步执行它可以确认已将正确的值分配给 nmax 和 ftol。

我的主例程#included 定义了amoeba() 例程的签名的头文件，并且编译主例程没有产生错误。但是，amoeaba() 源文件确实不包含该标头（我的一个错误），因此编译器也没有产生任何错误。

那么为什么我的链接程序仍然可以正常运行，即使参数没有按正确的顺序给出？

更新

@Binyamin Sharet，我在调用amoeba 和amoeba 之前在这里展示了这个程序集。它支持你的假设吗？

更新 2

@Binyamin Sharet 当然，这里是：

Answer 1

原因大概是因为浮点参数不是传到栈上的，而是传到协处理器栈上的，所以这两者的顺序无关紧要。

例如，函数需要这样的参数顺序：

   |         p              |                             |
   |         y              |                             |
   |         ndim           |                             |
   |         nmax           |                             |
   |         funk           |                             |
   |         nfunk          |          ftol               |
   +------------------------+-----------------------------+
   |        stack           |        coprocessor stack    |

如果你切换nmax和ftol没关系，因为堆栈上的顺序是一样的，当amoeba试图读取它们时，它不会因为相同而感到困惑原因。

---

编辑

阅读反汇编表明我有点跑题了，但是因为SSE，用于传递浮点变量的指令是movss，你可以在你添加的两个汇编列表中看到它，一次是@ 987654328@注册（在调用者中），一次从xmm0（在被调用者中）。所以你可以用 xmm registers 替换词 coprocessor-stack ，这就是你的情况。