结构和指针指针

我正在学习链接列表以及如何使用结构和指针在C中创建它们。 我在下面有一个例子。 根据我的理解,被调用的push()传递结构的起始内存位置,其中头节点作为参数。 我们的push()函数的参数将struct节点作为指针的指针,因此它作为引用而不是实际副本传递。 因此,我们的struct node ** headref的第一个指针只是指向头节点的内存位置的指针,第二个指针指向该值,该值是头节点指向的下一个内存位置。 我们在struct节点中创建一个名为newnode的新节点,为它分配一些内存。 然后,我们在此节点内创建一个int类型数据。

好吧,假设我说的一切都是正确的,下一部分就是我对此感到困惑。

newNode->next= *headRef; 

从我能理解的这一行取消引用headref所以这将使headref指向头节点。 然后我们有一个指针操作,其中headref指向的内容也将是我们的指针接下来指向的内容。 基于此,我们的新节点(newnode)中的下一个指针将指向头指针。

我也困惑的下一行是:

 *headRef = newNode; 

取消引用的headref指针指向的是头节点,现在将指向我们的newnode。

基于此,应该有一个名为newnode的新节点,其中包含一个int数据,另一个指针将我们的newnode链接到头部。 然后headref指针(或者它是头节点?)将指向新节点。 我知道这是不正确的,因为我们的newnode旁边的指针应该指向第二个节点,所以我们的newnode可以在struct中链接。 我也不相信我理解上面两行代码中指针和解除引用的指针。

码:

 void Push(struct node** headRef, int data) { struct node* newNode = malloc(sizeof(struct node)); newNode->data = data; newNode->next = *headRef; *headRef = newNode; } void PushTest(void) { struct node* head = BuildTwoThree(); // suppose this returns the list {2, 3} Push(&head, 1); Push(&head, 13); // head is now the list {13, 1, 2, 3} } 

 void Push(struct node** headRef, int data) { 

headRef包含struct node所在的地址。 它是PushTest函数中head变量的地址。

 struct node* newNode = malloc(sizeof(struct node)); 

这里我们创建了一个newNode。 它包含节点结构所在的内存地址。

 newNode->data = data; 

将newNode的数据设置为传递给Push函数的数据参数的值 – 确定。

 newNode->next = *headRef; 

设置newNode->head变量中的结构地址旁边 。 例如,如果我们写了

  void Push(struct node* head, int data) { ... newNode->next = head; 

接下来,我们需要将head变量更改为newNode 。 如果head变量是通过引用传递的,我们可以简单地编写它,就像在C ++中一样:

 void Push(struct node* &head, int data) { ... head = newNode; 

但是在普通的C中我们必须传递head变量所在的地址,因此我们可以在该地址中写入指向我们在Push函数中创建的结构newNode的指针:

 *headRef = newNode; 

等效于将newNode指针写入其地址位于headRef变量内的变量

你的逻辑中存在一个问题:

我们的push()函数的参数将struct节点作为指针的指针,因此它作为引用而不是实际副本传递。

实际上,我们传递一个临时变量的副本 ,其中包含节点变量的地址,而不是引用。 C ++中有pass-by-reference方法,它使用&符号来声明传递给function的变量是引用,而不是原始变量的副本。

你实际上是正确的,同时也不正确。 push函数在列表的头部添加一个新节点。 调用此函数后,新节点是新head ,前一个head节点现在是列表中的第二个(下一个)节点。 所以你的观察是正确的,但你的结论却不是。

我建议你在调试器中逐步执行代码,同时观察所有指针及其内容,看看会发生什么。 这可能会让你觉得更清楚。

好。 我想我可以解释一下。

head是链表的头指针。 headRef指向头部。 所以*headRef是头指针(通过引用传递)。

所以newNode->next现在将指向struct的头部(其值为2,这就是为什么节点在前面插入)。

现在在这一行*headRef = newNode; *headRef被赋值为newNode因此head现在更改为原始结构中的newNode

当你通过&head ,你现在正在传递包含值1的head

我们在这里复制一下,以便更简单地参考:

 1 void Push(struct node** headRef, int data) { 2 struct node* newNode = malloc(sizeof(struct node)); 3 newNode->data = data; 4 newNode->next = *headRef; 5 *headRef = newNode; 6 } 

为简单起见,我对行进行了编号。

现在, headRef本身只是一个指向保存列表头部的变量的指针 – 因此,它本身不包含任何有用的信息。 通过取消引用该指针,您可以访问变量本身的内容 (以PushTest() )。 因此, *headRef本质上是您访问head 。 现在,因为head是顶级节点,所以*headRef也是*headRef – 它们保持相同的值,因为它们是相同的地址。 第4行是什么,将*headRef的值(即head的值) *headRef新节点的下一个链接。 以相同的方式,第5 *headRef新节点分配给*headRef ,这与将其分配给head相同,因为headRef是指向head的指针 – 这意味着*headRefhead的值。

这里的关键点是, headRefheadRef的引用(指针),因此*headRefhead是等价的(范围规则除外)。