这两种声明指针的方法有什么区别？

Question

看一下这个代码片段：

int i = 10;
int *pi = &i;
int **ppi = π // first declaration
int *api = pi;   // second declaration

printf("i's value is: %d\n",i);
printf("pi's value is: %d\n",*pi);
printf("ppi's value is: %d, at the address: %d\n",**ppi);
printf("api's value is: %d, at the address: %d\n",*api);

输出

$ ./test
i's value is: 10
pi's value is: 10
ppi's value is: 10, at the address: 2686760
api's value is: 10, at the address: 2686760

那么，在这两种指针到指针的声明中，哪种方式（也许）更可取，这两种方式之间有什么技术差异吗？

Answer 1

从技术上讲，您只声明了一个指针到指针。

int **ppi = π // first declaration

第二个声明只是一个指针，在分配时，它会获取第一个指针 pi 地址的副本。

您可以通过以下方式证明这一点；在您的测试代码之后，添加以下内容：

int i2 = 20;
pi = &i2;

printf("ppi's value is: %d, at the address: %d\n",**ppi,*ppi);
printf("api's value is: %d, at the address: %d\n",*api,api);

输出将是：

ppi's value is: 20, at the address: 2686764 (or some other address)
api's value is: 10, at the address: 2686760

当您更改 pi 的值（它指向的内容）时，取消引用 ppi 将反映更改，因为它指向 pi，但由于 api 在更改之前只是作为 pi 的副本制作的，因此它将继续指向 i< /代码>。

Answer 2

第二个 (api) 没有声明指向指针的指针。它创建一个指向 int 的指针，并使用另一个指向 int 的指针的值对其进行初始化。

Answer 3

您的最后两个 printf（ppi 和 api）缺少第二个参数，因此它会打印该参数所在堆栈中的任何内容应该是（使用适当的警告进行编译会发现这一点）。 api 不是指向指针的指针，它是指向 int 的指针，与 pi 相同。声明指向指针的指针（忽略空格和括号样式）的唯一方法是 type **var。

Answer 4

类型定义了如何交互数据的语义，例如，您不应该将指向 int 的指针直接分配给指向 int 指针的指针。但是，您可能想知道使用 ** 类型的用例。

举个例子，看看我写的这段代码：

#include <stdio.h>
#include <stdlib.h>

typedef struct fooStruct 
{
  int a;
  int b;
} FOO_STRUCT;

void multiReturns(int *a, FOO_STRUCT **b) {
  *a = 42;
  //b is a pointer that points to a FOO_STRUCT pointer
  if(*b) {
    free(*b);
    printf("Proof that we deleted memory.\n");
  }
  //This changes what b points to in main.
  *b = (FOO_STRUCT *)malloc(sizeof(FOO_STRUCT));
  printf("The new value of *b, this may or maynot be the same as before: %p\n", *b);
  //Parens for clarity, We dereferenced the pointer to the 
  //FOO_STRUCT pointer. Then, we derefrence the FOO_STRUCT
  //pointer to access its members.
  (*(*b)).a = 59;
  (*(*b)).b = 42;
  return;
}

int main(int argc, char **argv)
{
  int a = 0;
  FOO_STRUCT *b = (FOO_STRUCT *)malloc(sizeof(FOO_STRUCT));
  (*b).a = 1;
  (*b).b = 2;
  printf("BEFORE a = %d\n", a);
  printf("BEFORE b = %p\n", b);
  printf("BEFORE *b.a = %d\n", (*b).a);
  printf("BEFORE *b.b = %d\n", (*b).b);
  multiReturns(&a, &b);
  printf("AFTER a = %d\n", a);
  //The value AFTER b might have changed, depends on allocation factors..
  printf("AFTER b = %p\n", b);
  printf("AFTER *b.a = %d\n", (*b).a);
  printf("AFTER *b.b = %d\n", (*b).b);
  free(b);
  return 0;  
}

我的机器上的输出：

[hart@katamari tests]$ gcc pointers.c -o ptr
[hart@katamari tests]$ ./ptr
BEFORE a = 0
BEFORE b = 0x19b41010
BEFORE *b.a = 1
BEFORE *b.b = 2
Proof that we deleted memory.
The new value of *b, this may or maynot be the same as before: 0x19b41010
AFTER a = 42
AFTER b = 0x19b41010
AFTER *b.a = 59
AFTER *b.b = 42

有函数和标准库以及其他地方，它们采用指向类型指针的指针。只要 ** 的参数不是 const 限定的，就表明该值可以更改，并且它可能也可能不指向相同的分配内存。在我的示例中，我删除了旧指针，但这是您需要注意的特定功能。此外，如果调用者负责删除返回的任何新内存，也可能是特定于函数的，因此请阅读您看到的使用这些函数的任何函数的文档，并确保您记录了您写得好的任何函数。