Node *head 与 Node **head 之间有什么区别？

Question

我正在编写一个 C 代码来查找链表的中间部分。我理解逻辑，但无法弄清楚指针是如何使用的。方式Node *head和Node** head_ref工作有什么区别？

void middle(struct Node *head) ;

void push(struct Node** head_ref, int new_data) ; 

Answer 1

在第一个函数头中，*head是一个指向分配在内存中某处的节点对象的指针：

void middle(struct Node *head);
              _____________________
             |                     |
   *head --> |     Node object     |
             | [val=1][*next=NULL] |
             |_____________________|

while 在第二个函数头中，**head_ref是一个指向内存中某处节点对象的指针：

void push(struct Node** head_ref, int new_data); 
              _____________________
             |                     |
   *head --> |     Node object     |
     ^       | [val=1][*next=NULL] |
     |       |_____________________|
     |    
 **head_ref

这是另一层间接。为什么需要第二个构造？好吧，如果我想修改在函数作用域之外分配的内容，我需要一个指向其内存位置的指针。在第一个示例中，我可以取消*head引用指针（使用head->）来访问内存中的基础Node对象并对其进行修改或访问其属性。

将此逻辑带到下一个间接级别，如果我想将一个新Node对象推到列表的前面以使其成为新的头，我需要修改head指针本身。就像当我想用Node指针操作对象时一样，现在我需要一个指向*head（它恰好是指针而不是Node对象）的指针才能修改它。

push以下是函数调用之前/之后的内容：

void push(struct Node** head_ref, int new_data) {
    Node *new_head = malloc(sizeof(Node)); // allocate memory for the new head node
    new_head->data = new_data;             // set its value

    new_head->next = *head_ref;            // make it point to the 
                                           // old head pointer

    *head_ref = new_head;                  // make it the new head by modifying
                                           // the old head pointer directly
}

/* Before push */
              _____________________
             |                     |
   *head --> |     Node object     |
     ^       | [val=1][*next=NULL] |
     |       |_____________________|
     |    
 **head_ref

/* After calling push(&head, 2);
 *                    ^
 *                   `&` operator gets the memory address of `head`, 
 *                       which is a pointer.
 */

              _________________      _____________________
             |                 |    |                     |
   *head --> |   Node object   |    |      Node object    |
     ^       | [val=2] [*next]----->| [val=1][*next=NULL] |
     |       |_________________|    |_____________________|
     |    
 **head_ref

这是一个完整的示例：

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

typedef struct Node {
    int data;
    struct Node *next;
} Node;

void push(Node** head_ref, int new_data) {
    Node *new_head = malloc(sizeof(Node));
    new_head->data = new_data;
    new_head->next = *head_ref;
    *head_ref = new_head; 
}

void print(Node *head) {
    while (head) {
        printf("%d->", head->data);
        head = head->next;
    }

    puts("NULL");
}

void free_list(Node *head) {
    while (head) {
        Node *tmp = head;
        head = head->next;
        free(tmp);
    }
}

int main() {
    Node *head = malloc(sizeof(Node));
    head->next = NULL;
    head->data = 1;
    printf("Before push:\n");
    print(head);
    push(&head, 2);
    printf("\nAfter push:\n");
    print(head);
    free_list(head);
    return 0;
}

输出：

void middle(struct Node *head);
              _____________________
             |                     |
   *head --> |     Node object     |
             | [val=1][*next=NULL] |
             |_____________________|