C++函数调用全解析：从基础原理到高效实践

1次阅读

共计 2181 个字符，预计需要花费 6 分钟才能阅读完成。

在 C ++ 中，函数调用是程序执行的基本操作之一。理解函数调用的底层机制，对于写出高效、健壮的代码非常重要。

值传递：这是最简单的参数传递方式，函数接收的是参数的副本。修改副本不会影响原始变量。

void increment(int x) {x++;  // 不影响外部的原始变量}

引用传递：通过引用传递参数，函数接收的是原始变量的别名。任何修改都会直接影响原始变量。

void increment(int &x) {x++;  // 直接修改原始变量}

指针传递：类似于引用传递，但使用指针作为参数。通过指针可以修改原始变量。

void increment(int *x) {(*x)++;  // 通过指针修改原始变量
}

函数的返回值通常通过寄存器（如 EAX）传递回调用者。对于较大的返回值（如结构体），编译器可能会使用隐藏的指针参数来传递结果。

调用约定决定了函数参数如何传递、栈如何清理等细节。常见的调用约定有：

cdecl：参数从右到左压栈，调用者清理栈（C 语言默认）。
stdcall：参数从右到左压栈，被调用者清理栈（Windows API 常用）。
fastcall：部分参数通过寄存器传递，其余通过栈传递。

值传递大对象：如果函数参数是值传递的大对象（如结构体、类实例），会导致不必要的拷贝开销。

void processVector(std::vector<int> vec) {  // 值传递，触发拷贝
    // ...
}

返回值拷贝：返回大对象时，可能会触发额外的拷贝操作（取决于编译器优化）。

递归过深：递归函数如果没有合理的终止条件，可能导致栈溢出。

void infiniteRecursion() {infiniteRecursion();  // 无限递归，栈溢出
}

大局部变量：在函数内定义过大的局部变量（如大数组）可能耗尽栈空间。

避免不必要的拷贝，尤其是对大对象：

void processVector(const std::vector<int> &vec) {  // 引用传递，避免拷贝
    // vec 是只读的，不会修改原始数据
}

C++11 引入的移动语义可以高效转移资源所有权：

std::vector<int> createLargeVector() {std::vector<int> vec(1000000);  // 大向量
    return vec;  // 返回值优化（RVO）或移动语义生效
}

对于小型函数，使用 inline 可以减少函数调用开销：

inline int square(int x) {return x * x;}

误用值传递导致性能问题 ：对大对象使用值传递会触发拷贝。改用const & 传递只读参数。
返回局部变量的引用：局部变量在函数结束后被销毁，返回其引用是未定义行为。

int& badFunction() {
    int x = 42;
    return x;  // 错误！返回局部变量的引用
}

忽略编译器警告：编译器可能会警告潜在的性能问题（如大对象拷贝）。不要忽略这些警告。
递归无终止条件：递归函数必须有一个明确的终止条件，否则会导致栈溢出。
滥用内联函数：内联函数会增加代码体积，过度使用可能导致缓存命中率下降。

#include <vector>
#include <chrono>
#include <iostream>

void byValue(std::vector<int> vec) {}

void byReference(const std::vector<int> &vec) {}

int main() {std::vector<int> largeVec(1000000, 42);

    auto start = std::chrono::high_resolution_clock::now();
    byValue(largeVec);
    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "By value:" 
              << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() 
              << "us\n";

    start = std::chrono::high_resolution_clock::now();
    byReference(largeVec);
    end = std::chrono::high_resolution_clock::now();
    std::cout << "By reference:" 
              << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() 
              << "us\n";
}