函数参数入栈问题

本文探讨了C++中函数参数的入栈问题,特别是在使用stdcall调用约定时可能出现的问题。通过一个具体的代码示例,详细分析了如何正确处理向量中的字符串输出,避免因参数顺序不当导致的数据越界问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >


void out(char *ch, int i)
 {
     cout<<ch<<","<<i<<endl;
 }
 
 int main()
 {
     vector<char *> vec;
     vec.push_back("str1");
     vec.push_back("str2");
 
     int i=0;
     out("---begin---", i);
 
     while(i < vec.size())
     {
         out(vec[i], i++);
     }
 
     out("----end----", i);
     return 0;
 }


 

这是一道改错题。

看了标题,自然知道是函数参数的入栈问题。

代码要实现的功能很简单,就是输出向量里的字符串。

问题在于第17行。

在Microsoft C++系列的编译器中,通常使用stdcall调用规定,并且stdcall规定参数是从右到左入栈。

这样一来,out函数首先将i入栈,然后计算i++,这时i已经加一,然后再将此时的vec[i]入栈。

当执行到最后一个元素时,必定会产生越界,而且前面打印的结果也并不是作者本身想要的。

总结一下,15-18行应规范写成:

while(i < vec.size())
 {
     out(vec[i], i);
     i++;
 }


 

另外,除了stdcall调用规定外,还有其他的调用规定,如fastcall,cdecl,thiscall等。这几种调用规定有相似之处,也有区分,具体可参考:http://hi.baidu.com/vcprogrammer/blog/item/6a37916ed8787ed980cb4ac5.html

 

在函数调用过程中,参数机制是程序执行时的重要环节,尤其在底层实现中影响着程序的性能和正确性。C语言中,函数调用通常遵循特定的调用约定(如cdecl、stdcall等),这些约定决定了参数如何传递、由谁清理以及寄存器的使用方式。 ### 参数顺序 在 cdecl 调用约定下,函数参数是按照从右到左的顺序依次压中的。这种顺序确保了在可变参数函数(如 `printf`)中,函数内部能够正确地从中读取参数。例如,对于函数调用 `func(1, 2, 3)`,参数 `3` 首先被压,接着是 `2`,最后是 `1`。call 指令会将返回地址压中,以便函数执行完毕后能回到正确的调用点[^2]。 ### 帧的建立与局部变量的分配 当函数被调用时,首先会保存当前的基址指针(ebp),然后将指针(esp)的值赋给 ebp,从而建立新的帧。随后,指针会向下移动以分配空间用于局部变量。这一过程使得函数可以通过 ebp 相对寻址来访问参数和局部变量,保持良好的结构化访问方式[^2]。 ### 返回值与清理 函数执行完成后,返回值通常会被存储在一个特定的寄存器中(如 eax)。之后,控制权会返回到调用者,调用者负责清理中的参数空间。这种方式允许调用者根据不同的调用场景灵活地处理空间[^1]。 ### 示例代码分析 以下是一个简单的 C 函数示例及其调用过程: ```c void func(int a, int b, int c) { int x = a + b + c; } void caller() { func(1, 2, 3); } ``` 在 `caller()` 中调用 `func(1, 2, 3)` 时,的变化如下: - 首先将参数 `3` 压; - 接着将参数 `2` 压; - 然后将参数 `1` 压; - 执行 call 指令,将返回地址压; - 进 `func` 函数后,保存 ebp 并建立新的帧; - 分配局部变量空间,并通过 ebp 偏移访问参数; - 计算 `x = a + b + c`; - 函数返回前,恢复 ebp 和 esp,弹出返回地址,回到调用者。 ### 特殊情况:较大的数据类型 在某些编译器(如 C51 编译器)中,为了减少空间的消耗,对于较大的数据类型(如结构体或数组)通常不会直接将其复制到上,而是通过指针传递其地址。这样可以有效减少空间的占用,提高效率[^1]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值