C/C++函数传参与调用机制深度解析

1. 函数传参与调用的本质解析

函数作为程序设计的核心单元，其参数传递机制直接影响着代码的执行效率和内存管理。在C/C++这类系统级语言中，传参方式的选择往往决定了程序在性能与安全性之间的平衡点。

1.1 值传递的底层实现

值传递（pass by value）是最基础的参数传递方式，其典型特征是函数内对参数的修改不会影响原始变量。从汇编层面看，这个过程实际上是将实参的值复制到栈帧中的形参位置：

c复制void modify(int x) {
    x = 10;  // 仅修改副本
}

int main() {
    int a = 5;
    modify(a);
    // a仍为5
}

关键细节：在x86架构下，编译器通常通过MOV指令将实参压栈，函数内部通过EBP相对寻址访问参数。对于4字节整型，这种复制开销可以忽略，但当结构体较大时（比如超过寄存器大小），值传递会导致显著的性能损耗。

1.2 指针传递的陷阱与技巧

指针传递（pass by pointer）通过地址间接操作原始数据，既能避免大数据拷贝，又能实现跨函数修改：

c复制void swap(int *x, int *y) {
    int tmp = *x;
    *x = *y;
    *y = tmp;
}

实际开发中需特别注意：

1. 野指针问题：始终检查指针有效性
2. 生命周期管理：确保指针指向的内存有效
3. 多线程安全：指针访问需要同步机制

1.3 引用传递的编译器魔法

C++引入的引用传递（pass by reference）在语法层更安全直观：

cpp复制void increment(int &num) {
    num++;
}

现代编译器通常将引用实现为自动解引用的指针。在Clang生成的IR代码中可以看到，引用参数会被处理为指针类型，但在源码层面隐藏了地址操作细节。

2. 函数调用的运行时机制

2.1 调用约定与栈帧构建

不同的调用约定（cdecl、stdcall、fastcall等）规定了参数传递顺序、栈清理责任等关键行为。以cdecl为例：

code复制push arg3  ; 参数从右向左压栈
push arg2
push arg1
cal