重提老话题了，不讨论都知道的形参和实参的关系，只讨论，在实际程序运行过程中，当调用一个带参数的函数时，形参的地址被划分后，实参的值是如何被赋给形参的呢？
我在网上查询到的说法是：在PC指针跳转到被调用函数之前，编译器会自动添加代码将所有实参值依次压入栈，而进入被调用函数后，该函数会将参数值依次出栈（逆序），赋值给形参空间。

但是在我工作中用的PIC16系列单片机中，堆栈空间是一定的，不可更改，并且很小，个人感觉如果这样的话，我编写的一些多层调用 ，带很U32参数的系统，将会导致堆栈溢出，但实际上并没有，这是怎么回事呢？

到底实参的值是怎么传递给形参的呢？是不是在嵌入式系统里，不同的处理器对应的编译器处理方式不一样呢？

重提老话题了，不讨论都知道的形参和实参的关系，只讨论，在实际程序运行过程中，当调用一个带参数的函数时，形参的地址被划分后，实参的值是如何被赋给形参的呢？
我在网上查询到的说法是：在PC指针跳转到被调用函数之前，编译器会自动添加代码将所有实参值依次压入栈，而进入被调用函数后，该函数会将参数值依次出栈（逆序），赋值给形参空间。

但是在我工作中用的PIC16系列单片机中，堆栈空间是一定的，不可更改，并且很小，个人感觉如果这样的话，我编写的一些多层调用 ，带很U32参数的系统，将会导致堆栈溢出，但实际上并没有，这是怎么回事呢？

你的多层调用有多少层呀？在PC上，能够导致栈溢出的往往是递归，我看你说的多层多不到这个程度。要栈溢出，必须是压入很多函数而总不释放的情形，而正常的程序，是调用完一个之后再调用另一个的，在整个程序的最深处，极少达到溢出的极限（犹如公共汽车，一趟行程所接纳过的人数远远大于它同时能承载的人数）。要知道，编译器默认的栈尺寸，是在大量程序设计实践的基础上制定的，它能满足绝大多数需要——如果你的程序确实很特殊，比如有很深的递归调用，那么可以通过修改编译器的栈尺寸参数来加大它。总之，栈是有溢出的风险，但并不那么容易溢出，而所有教材上都有告诉我们什么情形下要警惕栈溢出，那就是递归设计，这是最典型的溢出算法。

[ 本帖最后由 TonyDeng 于 2011-10-13 00:15 编辑 ]

未经优化一般都是ebp+4, ebp+8类似这样读取函数传递的参数，也就是“所有实参值依次压入栈”后的结果。
我学的51单片机，很简单，基本没有什么复杂的函数调用，不知道你的多层调用是个怎样的概念，可以贴上一些代码参考下吗？

明白了，我把程序栈和处理器用来保存PC指针的硬件堆栈给弄混了，谢谢大家

你真的知道函数参数的传递方式吗,我说的是会变层的。