指针转换取消引用的指针有什么用？

Question

这个问题是关于代码解释，而不是代码调试。我正在使用的代码有效。 我正在使用公共代码，我很好奇看看他们的“增长数组”模板之一，它看起来像这样：

  template <typename TYPE>
    TYPE *grow(TYPE *&array, int n, const char *name)
    {
      if (array == NULL) return create(array,n,name);

      bigint nbytes = ((bigint) sizeof(TYPE)) * n;
      array = (TYPE *) srealloc(array,nbytes,name);
      return array;
    }

函数 srealloc 看起来像这样：

void *Memory::srealloc(void *ptr, bigint nbytes, const char *name)
{
  if (nbytes == 0) {
    destroy(ptr);
    return NULL;
  }

  ptr = realloc(ptr,nbytes);
  if (ptr == NULL) {
error();
  }
  return ptr;
}

请忽略 create 暂时起作用。我的主要问题是为什么他们在模板中进行指针转换和取消引用数组？这样做有什么好处呢？如果他们根本没有 *& 怎么办？

谢谢！

Answer 1

& 标记有多种含义，您在这里混淆了其中两种含义。你并不孤单！作为一个运算符，它的意思是“地址”，您似乎对此很满意（这来自C）。但作为类型限定符，它的意思是“引用”，这是完全不同的。第一个含义：

int x ;
int* p = &x ; // p = address of x (as in C)

第二个含义：

void f (int& x) { // x is a reference to an int -- its address is passed to f
  x++ ;
}
...
int y = 99 ;
f (y) ; // After this call, y is equal to 100

在这个例子中，代码相当于

void f (int* x) {
  (*x)++ ;
}
...
int y = 99 ;
f (&y) ; // After this call, y is equal to 100

这个代码看起来不那么干净，但是对于 C 程序员来说更容易理解。

所以......函数声明

void f (int*& p) ;

（如您的示例中所示）意味着 f 可以更改调用函数传递的 int* 参数的值。你的示例代码对我来说看起来有点奇怪，因为如果它可以直接更改参数，为什么还需要返回 array 的新值？但这是一个风格问题，我已经学会不在这里讨论此类问题:-)

Answer 2

*&

不是“指针取消引用”。它是对指针的引用。需要它，以便增长函数可以更改指针，而不仅仅是指针指向的内容。另一种选择是指向指针的指针，如以下代码所示。

template <typename TYPE>
TYPE *grow(TYPE **array, int n, const char *name)
{
  if ((*array) == NULL) return create((*array),n,name);

  bigint nbytes = ((bigint) sizeof(TYPE)) * n;
  (*array) = (TYPE *) srealloc((*array),nbytes,name);
  return *array;
}