CS50 speller项目Valgrind未初始化值警告与strcasecmp行为疑问

1. strcasecmp的实际工作逻辑 #

strcasecmp是不区分大小写的字符串比较函数，核心工作逻辑如下：

• 逐位读取两个输入字符串的字符，分别对两个字符做tolower/toupper大小写转换
• 对比转换后的字符：如果不相等则返回两个字符的ASCII差值；如果相等则继续读取下一位
• 直到任意一个字符串读到'\0'结束符为止，若结束前所有字符都相等则返回0
  注：部分系统的strcasecmp实现为了优化性能，会按机器字长（4字节/8字节）批量读取内存后再判断块内是否包含'\0'，不会严格逐字节读取

2. 已加'\0'仍触发警告的原因 #

你对代码逻辑的判断有错误，你并没有给ll->word添加结束符：
你代码中word[i] = '\0'的操作是给栈上的局部数组word加的结束符，并没有把这个值写入到key->word里。key->word除了你逐字符赋值的字母外，剩下的空间全是malloc返回的未初始化垃圾值，连结束符'\0'都没有。strcasecmp读取key->word时找不到结束符，就会一直往后读取未初始化内存，自然会触发Valgrind警告。
你用calloc时分配的内存默认全为0，相当于key->word的所有位置默认就是'\0'，相当于自动补了结束符，所以警告会消失。

3. 警告处理方案 #

这个警告绝对不能忽略，当前你的代码匹配逻辑完全不可靠，极端情况下还会触发段错误。
规范的修复方案如下：

• 修正load函数的逻辑，读取到完整单词后，直接把带结束符的单词完整复制到key->word中
• 不需要刻意用calloc，只要保证所有key->word都正确携带'\0'结束符即可
• 修复load里的分支逻辑错误，不要把字符赋值、结束符赋值的逻辑拆分混乱

提供简化的正确load逻辑参考：

bool load(const char *dictionary)
{
    FILE *input = fopen(dictionary, "r");
    if (input == NULL)
    {
        return false;
    }
    char word[LENGTH + 1];
    // 直接按单词读取，自动处理换行分隔
    while (fscanf(input, "%s", word) == 1)
    {
        node *key = malloc(sizeof(node));
        if (key == NULL)
        {
            fclose(input);
            return false;
        }
        // 复制完整带结束符的字符串到key->word
        strcpy(key->word, word);
        unsigned int h = hash(word);
        key->next = table[h];
        table[h] = key;
        siz++;
    }
    fclose(input);
    return true;
}

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