函数在 c++++ 中将代码封装为命名单元，其实现机制包括：函数调用约定定义了传递参数和返回值的方式，其中调用者清理约定是最常用的。参数传递可以是值传递或引用传递，前者创建副本，后者是指向实际地址的指针。函数使用 return 返回值，其类型由函数签名指定。

洞悉 C++ 函数的奥义：实现机制的深刻理解

函数是 C++ 中的基本构建块，它们将代码块封装到一个命名单元中。深入了解函数的内部实现机制对于理解其有效利用和避免常见陷阱至关重要。

函数调用约定

立即学习“C++免费学习笔记（深入）”；

函数调用约定定义了函数调用时如何传递参数和返回值的方法。在 C++ 中，最常用的调用约定是 调用者清理，其中调用方负责释放传递给函数的参数。

// 调用者清理
void myFunction(int* array, int size) {
  // array 指向动态分配的内存，需要在函数返回前释放
  delete[] array;
}

函数参数传递

参数可以通过值传递或引用传递给函数。值传递创建参数的副本，而引用传递指向参数实际地址的指针。

// 值传递
void swap(int a, int b) {
  // 交换 a 和 b 的副本，不会影响原始值
  int temp = a;
  a = b;
  b = temp;
}

// 引用传递
void swap(int& a, int& b) {
  // 交换 a 和 b 的原始值
  int temp = a;
  a = b;
  b = temp;
}

函数返回值

函数可以使用关键字 return 返回值。返回值的类型由函数签名指定。

int sum(int a, int b) {
  // 返回 a 和 b 的和
  return a + b;
}

实战案例

在以下示例中，我们定义了一个名为 factorial 的函数来计算给定非负整数的阶乘：

// 递归计算给定非负整数的阶乘
int factorial(int n) {
  if (n == 0) {
    return 1;
  } else {
    return n * factorial(n - 1);
  }
}

在这个函数中，我们可以观察到：

• 它使用递归来计算阶乘，调用自身计算较小参数的阶乘。
• 它使用 调用者清理 约定，这意味着调用方负责释放从函数返回的动态分配的内存。
• 它通过值传递接收参数，函数内部无权修改原始值。

进一步探索

理解函数的实现机制可以帮助开发人员编写更有效、更可靠的代码。探索函数相关的其他概念，如：

• 函数重载
• 函数模板
• 函数指针