C++ 函数调用约定如何处理栈上的数组?

c++++ 函数调用约定处理栈上数组的方式取决于数组分配类型:栈分配数组:直接在调用者栈空间中,处理方式不取决于调用约定。托管栈分配数组:从调用者栈移动到被调用者栈,由调用约定定义。例如,x86_64 汇编使用 lea 指令复制数组基地址。堆分配数组:位于堆中,无需调用约定处理。

C++ 函数调用约定如何处理栈上的数组?

C++ 函数调用约定如何处理栈上的数组?

在 C++ 中,函数调用约定定义了函数参数如何在调用者和被调用者之间传递。对于栈上的数组,处理方式会因不同的调用约定而异。

栈分配数组

当数组在栈上分配时,它使用调用者函数的栈空间。因此,对于这样的数组,实现调用约定的实际方式并不重要。

托管栈分配数组

托管栈分配数组位于调用者函数的栈中,但被分配给被调用函数。对于这样的数组,调用约定定义了如何从调用者堆栈移动数组元素到被调用者堆栈。

立即学习“C++免费学习笔记(深入)”;

x86_64 调用约定

在 x86_64 汇编中,使用 LEA 指令将数组基地址从调用者的堆栈复制到被调用者的堆栈:

__int64* callee(int size, __int64* array) {  __int64* new_array = new __int64[size];  for (int i = 0; i < size; i++) {    new_array[i] = array[-i];  }  return new_array;}
mov dword ptr [rsp+16], 0movabs rbp, qword ptr [rsp+16]lea rdx, [rsi-1]cmp rdx, 0jl next_1mov rsi, reloc + 0mov rdi, rdxcldrep movsbmovq rdx, [rax]next_1:mov rax, rbppop rbpretq

堆分配数组

堆分配数组位于堆中,而不是栈上。因此,调用约定不需要处理堆分配数组。

实战案例

示例代码:

#include #include using namespace std;vector func(vector& arr) {  // arr is passed by reference, no copy on function call  arr.push_back(10);  return arr;}int main() {  vector vec = {1, 2, 3};  vector result = func(vec);  for (auto i : result) {    cout << i << " "; // prints: 1 2 3 10  }  return 0;}

示例演示:

在这个示例中,func() 函数通过引用接收数组 arr。因此,当函数修改数组时,修改也会反映在调用者的 vec 中。函数的调用约定确保数组元素在调用者和被调用者之间正确传递。

以上就是C++ 函数调用约定如何处理栈上的数组?的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1458500.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月18日 10:38:40
下一篇 2025年12月18日 10:38:53

相关推荐

发表回复

登录后才能评论
关注微信