为什么函数可以将 (int *&) 作为参数？ [复制]

Question

以下是拆分数组的代码。
第一个输出数组将包含给定两个索引和第二个索引之间的输入数组条目 输出数组将包含其余条目。

void splitArray(int *arr, int size, int ind1, int ind2,
     int *&first, int &firstSize, int *&second, int &secondSize){
    firstSize = ind2 - ind1 + 1;
    secondSize = size - firstSize;
    first = new int[firstSize];
    second = new int[secondSize];
    for (int i = 0; i < ind1; i++)
    second[i] = arr[i];
    for (int i = ind1; i <= ind2; i++)
    first[i - ind1] = arr[i];
    for (int i = ind2 + 1; i < size; i++)
    second[i - firstSize] = arr[i];
    }

我可以理解为什么它有像 int *&first 和 int *&second 这样的参数，而不是它们与 int first 和 int second 相同，但在这段代码中它们被用作指向动态数组的指针。

Answer 1

T *&foo 声明对指向T 的指针的引用。不要将声明和定义中的 & 符号与地址操作符混淆。

如果被调用函数需要能够修改传递给它的指针的值，则使用对指针的引用：

void bar(int *&ptr) {
    ptr = 42;  // change the value of the pointer  (pseudo ... 42 is most likely
    *ptr = 42; // change the value of the pointee   not a valid pointer value)
}

// ...

int *foo = nullptr;
bar(foo);
// foo == 42;

提示：从右到左读取类型：T *& --> &* T --> 引用 (&) 到指针 (*) 以键入 T。