C语言二级指针与链表创建：值传递陷阱与正确实践

Jasper

发布时间：2026-10-15| 3人浏览过

原创

许多C语言初学者在实现链表插入或删除节点时，常遇到数据无法保存或空指针异常的问题。这通常源于对函数参数传递机制（值传递）的误解。本文将以带头结点的双链表为例，深入剖析为何一级指针传参无法修改实参地址，并详细说明如何使用二级指针或引用确保内存分配生效。

结果与问题

在链表操作中，如果需要在被调用函数内部改变头结点的指向（例如首次分配内存），使用普通的一级指针传参会导致操作失效。本文将揭示这一现象的根本原因，并提供基于二级指针的正确解决方案。

核心概念：二级指针基础

二级指针本质上是“指向指针的指针”。它允许我们在一个函数中获取另一个指针变量的内存地址，从而间接修改该指针的指向。理解这一点是解决链表动态分配问题的关键。

第1步：理解指针层级关系

变量x：存储实际数据（如整型 10）。
一级指针q：存储变量 x 的地址 &x。
二级指针p：存储一级指针 q 的地址 &q。

通过 **p 进行两次解引用，即可访问最原始的数据 x；而通过 *p 则可获取指针 q 本身。这种层级结构正是动态管理链表节点的底层逻辑。

代码示例：

int main(void)
{
    int x = 10; 
    int* q = &x;
    int** p = &q;    
    printf("x 的地址为：    %d\n", &x);
    printf("q 指向的地址为：%d\n", q);
    // *p 解引用一次，得到的是 q 指针本身
    printf("*p的值为：      %d\n", *p);   
    printf("x 的值为：     %d\n", x);
    printf("q 存取的值为： %d\n", *q);
    // **p 解引用两次，最终得到 x 的值
    printf("**p的值为：    %d\n", **p);    
    return 0;
}

双链表结构与定义

为了演示链表的动态创建，我们首先定义一个带头结点的双向链表结构。与单链表不同，双向链表每个节点包含前驱和后继两个指针。

第2步：定义数据结构体

使用 typedef 简化类型声明，明确数据域与指针域的组成：

typedef int ElemType; // 数据域类型
typedef int Status;
 
// 双链表节点结构
typedef struct DouNode {
    ElemType data;               // 数据域
    struct DouNode* head;        // 前驱指针
    struct DouNode* next;        // 后继指针
} DousList, * LinkList; // DousList为结构体名，LinkList为指向节点的指针

说明：

DousList：结构体别名，等同于 struct DouNode。
LinkList：struct DouNode* 的别名，用于声明节点指针变量。

错误示范：一级指针的局限性

在许多教程中，常见的错误写法是直接传入一级指针 LinkList L。由于 C 语言参数默认按值传递，函数内的形参 L 只是实参的一个副本。如果在函数内修改 L 的指向（如 malloc 分配新内存），并不会影响外部的实参。

第3步：构建错误的一次性指针创建

以下代码尝试在函数内部为头结点分配内存，但实参链表并未更新：

void CreateDouList(LinkList L, int n)
{
    LinkList ptr;
    int i;
    // 仅修改了局部变量 L 的指向，未影响外部
    L = (LinkList)malloc(sizeof(DousList)); 
    L->next = NULL;
    L->head = NULL;
    L->data = n; // 记录节点数
    ptr = L;
    for (i = 0; i < n; i++)
    {
        int value = 0;
        scanf("%d",&value);
        LinkList me = (LinkList)malloc(sizeof(DouNode));
        me->data = value;
        me->next = NULL;
        me->head = NULL;
        ptr->next = me;     
        me->head = ptr;
        ptr = ptr->next;     // 尾插法
    }
}

当返回主程序遍历此链表时，由于外部实参 L 初始化为 NULL 或未正确赋值，将触发空指针异常。调试界面显示，虽然函数内部建立了完整的链表连接，但该连接对外部不可见。

解决方案

要修正上述问题，必须传递指针本身的地址，使函数能够直接操作外部变量的内存单元。主要有两种途径：使用引用（C++特性）或使用二级指针（C/C通用）。

第4步：使用指针引用修复

如果使用 C++ 编译环境，只需在形参后添加 & 符号。这样形参成为实参的别名，任何修改都会实时反映到外部：

void CreateDouList(LinkList &L, int n); // 注意 & 引用符

调试结果显示，此时外部链表 L 已正确初始化，data 字段记录了节点数量，且后续节点通过 next 指针正确串联。

第5步：使用二级指针标准实践（推荐）

这是最通用的 C 语言写法。核心在于将实参的地址传入，在函数内部通过 *L 解引用后的位置进行内存分配和赋值。

关键修改点：

形参改为 LinkList *L 或 DousList **L。
调用时必须传入取地址符号： CreateDouList(&L, n);。
内部内存分配改为 *L = malloc(...)。

void CreateDouList(LinkList *L, int n)
{
    LinkList ptr;
    int i;
    // 关键：*L 代表外部实参 L 变量的内存地址
    *L = (LinkList)malloc(sizeof(DousList)); 
    (*L)->next = NULL;
    (*L)->head = NULL;
    (*L)->data = n;
    
    ptr = (*L); // 工作指针初始化为头结点
    printf("开始插入数据：\n");
    for (i = 0; i < n; i++)
    {
        int value = 0;
        scanf("%d",&value);
        LinkList me = (LinkList)malloc(sizeof(DouNode));
        me->data = value;
        me->next = NULL;
        me->head = NULL;
        ptr->next = me;     
        me->head = ptr;
        ptr = ptr->next;     // 移动指针至尾部
    }
}

通过二级指针机制，*L 的操作直接映射到了调用栈的外部变量上，确保了新分配的堆内存地址成功回传给调用者。