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

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

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], 0
movabs rbp, qword ptr [rsp+16]
lea rdx, [rsi-1]
cmp rdx, 0
jl next_1
mov rsi, reloc + 0
mov rdi, rdx
cld
rep movsb
movq rdx, [rax]
next_1:
mov rax, rbp
pop rbp
retq

堆分配数组

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

实战案例

示例代码：

#include <iostream>
#include <vector>

using namespace std;

vector<int> func(vector<int>& arr) {
  // arr is passed by reference, no copy on function call

  arr.push_back(10);
  return arr;
}

int main() {
  vector<int> vec = {1, 2, 3};
  vector<int> result = func(vec);

  for (auto i : result) {
    cout << i << " "; // prints: 1 2 3 10
  }

  return 0;
}

示例演示：

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

以上就是C++ 函数调用约定如何处理栈上的数组？的详细内容，更多请关注本网内其它相关文章！