C++ 函数参数的内存分配机制

C++ 函数参数的内存分配机制决定了参数在调用期间的存储方式：按值传递：参数副本传递，函数修改不影响原始变量。按引用传递：参数变量地址传递，函数修改反映在原始变量中。常量引用传递：类似按引用，但禁止函数修改引用变量。

C++ 函数参数的内存分配机制

在 C++ 中，函数参数的内存分配机制至关重要，因为它决定了参数在函数调用期间如何存储和使用。理解不同的内存分配机制可以让您编写更有效、更可维护的代码。

按值传递

在按值传递中，参数的副本被创建并传递给函数。这意味着函数内部的任何修改都不会影响调用方的原始变量。

void foo(int x) {
  x++; // 修改函数内的副本
}

int main() {
  int y = 5;
  foo(y); // 传递 y 的副本
  cout << y; // 输出仍然是 5，因为 y 的原始变量未修改
}

按引用传递

在按引用传递中，参数变量的地址被传递给函数。这意味着函数内的任何修改都会反映在调用方的原始变量中。

void foo(int& x) {
  x++; // 修改函数内引用的原始变量
}

int main() {
  int y = 5;
  foo(y); // 传递 y 的引用
  cout << y; // 输出为 6，因为 y 的原始变量已修改
}

常量引用传递

常量引用类似于按引用传递，但它确保函数内对引用变量的任何修改都是无效的。

void foo(const int& x) {
  // 尝试修改函数内引用的原始变量，但编译器会报错
  // x++;
}

int main() {
  int y = 5;
  foo(y); // 传递 y 的常量引用
  cout << y; // 输出仍然是 5，因为 y 的原始变量未修改
}

实战案例：数组排序

考虑一个需要对数组进行排序的函数。如果使用按值传递，则函数将收到数组的一个副本，而对副本进行的任何修改都不会影响原始数组。另一方面，如果使用按引用传递，则函数可以修改原始数组并返回排序后的结果。

// 按值传递
void sortArray_byValue(int arr[], int size) {
  // 创建数组副本并对其进行排序
  int arr_copy[size];
  for (int i = 0; i < size; i++) {
    arr_copy[i] = arr[i];
  }
  std::sort(arr_copy, arr_copy + size);
}

// 按引用传递
void sortArray_byReference(int arr[], int size) {
  // 直接对原始数组进行排序
  std::sort(arr, arr + size);
}

int main() {
  int arr[] = {5, 2, 8, 3, 1};
  int size = sizeof(arr) / sizeof(arr[0]);

  // 使用按值传递排序
  sortArray_byValue(arr, size);
  for (int i = 0; i < size; i++) {
    cout << arr[i] << " "; // 输出无序数组
  }
  cout << endl;

  // 使用按引用传递排序
  sortArray_byReference(arr, size);
  for (int i = 0; i < size; i++) {
    cout << arr[i] << " "; // 输出已排序的数组
  }
}