合并有序链表时，如何简洁检查链表节点是否为NULL再读取值？

你的代码出现运行错误的核心原因是：当list1或list2为空时，直接访问->val会触发空指针解引用。下面提供两种简洁且安全的实现方法：

方法一：哨兵节点（迭代实现，推荐） #

用一个**哑节点（哨兵节点）**作为合并后链表的临时头部，避免单独处理头节点为空的特殊逻辑，代码更简洁且能正确处理空链表场景：

typedef struct ListNode ListNode;

struct ListNode* mergeTwoLists(struct ListNode* list1, struct ListNode* list2) {
    // 哑节点，简化头节点的初始化逻辑
    ListNode dummy;
    ListNode *curr = &dummy;
    dummy.next = NULL;

    // 仅当两个链表都非空时，比较节点值
    while (list1 != NULL && list2 != NULL) {
        if (list1->val <= list2->val) {
            curr->next = list1;
            list1 = list1->next;
        } else {
            curr->next = list2;
            list2 = list2->next;
        }
        curr = curr->next;
    }

    // 拼接剩余未遍历完的链表（其中一个已为空）
    curr->next = list1 != NULL ? list1 : list2;

    // 返回合并后链表的真实头节点
    return dummy.next;
}

优势： #

• 彻底避免空指针访问：循环仅在两个链表都非空时执行，不会出现list1->val或list2->val的非法访问
• 逻辑简洁：无需单独处理初始头节点为空的分支
• 时间复杂度O(n+m)，空间复杂度O(1)，效率最优

方法二：递归实现（代码极简） #

如果链表长度不大，递归实现的代码会更简洁，核心思路是分治处理：

typedef struct ListNode ListNode;

struct ListNode* mergeTwoLists(struct ListNode* list1, struct ListNode* list2) {
    // 边界条件：其中一个链表为空，直接返回另一个
    if (list1 == NULL) return list2;
    if (list2 == NULL) return list1;

    // 选择当前值较小的节点，递归合并剩余链表
    if (list1->val <= list2->val) {
        list1->next = mergeTwoLists(list1->next, list2);
        return list1;
    } else {
        list2->next = mergeTwoLists(list1, list2->next);
        return list2;
    }
}

注意： #

• 递归深度等于两个链表的总长度，若链表过长可能触发栈溢出，此时优先选择迭代实现

内容的提问来源于stack exchange，提问作者MiguelP