VS中printf参数研究

最近有人在群里问了一个问题：

int a = 1;printf("%d, %d, %d\n", a, a++, ++a);

这个执行结果不是应该为3 2 1么？为什么结果是3 2 3？
这确实是一个神奇的问题。如果是3 2 2还好理解。
于是我研究了一下汇编代码：

发现++a实参在调用函数参数入栈时是直接把a的值拿了出来，并没有保留++a后的 结果，但是a++却保留了，放在[ebp-0D0h]中。

看起来是如果实参为前置++，那么会在所有实参运算结束后，取最终值作为实参；如果是后置++，那么会直接保留当前值，然后+1。

于是我有个大胆的想法：

int a = 1;printf("%d, %d, %d, %d\n", a, a++, a++, ++a);

上面这段代码的输出应该是 4, 3, 2, 4。
然后写代码验证一下：


由此证明我的猜想正确。