C语言单链表遍历问题：List_contains函数无法遍历链表的求助

你的List_contains函数确实存在几个关键问题，导致无法正确遍历链表甚至可能引发崩溃，我来逐一拆解并给出修复方案：

原函数的核心问题 #

• 参数类型错误：函数参数是List node（值传递），这会复制整个链表节点，不仅效率低，还会导致你无法正确操作原链表的指针；而且如果传入的链表头是NULL，直接访问node.next会触发未定义行为。应该改为指针类型List *node。
• 遍历起始位置错误：search=node.next直接跳过了链表的头节点，会漏掉对第一个节点的key检查。
• Assert的误用：assert(search->key!=NULL)有两个致命问题：
  1. 如果search是NULL（比如链表为空或遍历到末尾），直接访问search->key会导致空指针解引用崩溃；
  2. Assert是调试阶段的断言工具，发布版本中会被编译掉，不能用来做运行时的合法性校验，这里应该用普通的条件判断。
• 缺少遍历与匹配逻辑：原函数直接返回1，完全没有遍历链表检查key是否匹配，逻辑完全失效。

修复后的完整函数 #

#include <string.h>
#include <assert.h>

typedef struct List {
    char* key;
    void* value;
    struct List *next;
} List;

int List_contains(List *node, const char* key) {
    // 处理链表为空或目标key为空的边界情况
    if (node == NULL || key == NULL) {
        return 0;
    }

    List *search = node;
    // 遍历整个链表
    while (search != NULL) {
        // 先检查当前节点的key是否有效，再比较字符串内容
        if (search->key != NULL && strcmp(search->key, key) == 0) {
            return 1; // 找到匹配的key，返回1
        }
        search = search->next; // 移动到下一个节点
    }

    return 0; // 遍历完未找到匹配项，返回0
}

额外注意事项 #

1. 字符串比较规则：必须用strcmp来比较字符串内容是否相等，不能直接用==——==比较的是字符串指针的内存地址，而非字符串本身的内容。
2. 边界情况处理：函数开头先判断传入的链表头和目标key是否为NULL，避免后续操作触发未定义行为。
3. Assert的合理使用：如果你的业务逻辑要求链表节点的key绝对不能为NULL，可以在调试阶段添加断言（但必须放在search != NULL的判断之后），比如：

   while (search != NULL) {
       assert(search->key != NULL); // 仅在调试阶段校验节点key的合法性
       if (strcmp(search->key, key) == 0) {
           return 1;
       }
       search = search->next;
   }
   

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