c++oding="utf-8" ?>
c++ 函数调用约定处理栈上数组的方式取决于数组分配类型：栈分配数组：直接在调用者栈空间中，处理方式不取决于调用约定。托管栈分配数组：从调用者栈移动到被调用者栈，由调用约定定义。例如，x86_64 汇编使用 lea 指令复制数组基地址。堆分配数组：位于堆中，无需调用约定处理。
C++ 函数调用约定如何处理栈上的数组？
在 C++ 中，函数调用约定定义了函数参数如何在调用者和被调用者之间传递。对于栈上的数组，处理方式会因不同的调用约定而异。
栈分配数组
当数组在栈上分配时，它使用调用者函数的栈空间。因此，对于这样的数组，实现调用约定的实际方式并不重要。
托管栈分配数组
托管栈分配数组位于调用者函数的栈中，但被分配给被调用函数。对于这样的数组，调用约定定义了如何从调用者堆栈移动数组元素到被调用者堆栈。
x86_64 调用约定
在 x86_64 汇编中，使用 LEA 指令将数组基地址从调用者的堆栈复制到被调用者的堆栈：
__int64* callee(int size, __int64* array) {
__int64* new_array = new __int64[size];
for (int i = 0; i <pre class="brush:asm;toolbar:false;">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 <p><strong>示例演示：</strong></p>
<p>在这个示例中，<code>func()</code> 函数通过引用接收数组 <code>arr</code>。因此，当函数修改数组时，修改也会反映在调用者的 <code>vec</code> 中。函数的调用约定确保数组元素在调用者和被调用者之间正确传递。</p></int></int></int></int></vector></iostream>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
