初始化链表数组时写入无效

Question

所以我有这个函数来分配和初始化NULL，这将是一个链表数组。我实际上希望这个函数返回一个NULL 指针数组，以便以后可以用链表填充它。

static t_tokens **init_tokens_groups(size_t size)
{
    t_tokens **toks_groups;
    if (!(toks_groups = malloc(sizeof(toks_groups) * size + 1)))
        exit(EXIT_FAILURE);
    while (size + 1)
    {
        printf("size: %zu\n", size);
            toks_groups[size] = NULL;
            size--;
    }
    return (toks_groups);
}

它工作正常，但是当我在 Valgrind 中运行我的程序（这是一个极简的 shell）时，

valgrind --track-origins=yes ./mysh

我遇到了这个问题：

==4914== Invalid write of size 8
==4914==    at 0x10AD6B: init_tokens_groups (tokens_split.c:39)
==4914==    by 0x10AE06: split_tokens (tokens_split.c:68)
==4914==    by 0x1093D9: prompt_loop (sh21.c:38)
==4914==    by 0x10944A: main (sh21.c:57)
==4914==  Address 0x4a508f8 is 8 bytes inside a block of size 9 alloc'd
==4914==    at 0x483A7F3: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==4914==    by 0x10AD42: init_tokens_groups (tokens_split.c:35)
==4914==    by 0x10AE06: split_tokens (tokens_split.c:68)
==4914==    by 0x1093D9: prompt_loop (sh21.c:38)
==4914==    by 0x10944A: main (sh21.c:57)
==4914== 
==4914== Invalid write of size 8
==4914==    at 0x10AD6B: init_tokens_groups (tokens_split.c:39)
==4914==    by 0x10AE06: split_tokens (tokens_split.c:68)
==4914==    by 0x109369: dispatch (sh21.c:19)
==4914==    by 0x1093F6: prompt_loop (sh21.c:42)
==4914==    by 0x10944A: main (sh21.c:57)
==4914==  Address 0x4a509f8 is 8 bytes inside a block of size 9 alloc'd
==4914==    at 0x483A7F3: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==4914==    by 0x10AD42: init_tokens_groups (tokens_split.c:35)
==4914==    by 0x10AE06: split_tokens (tokens_split.c:68)
==4914==    by 0x109369: dispatch (sh21.c:19)
==4914==    by 0x1093F6: prompt_loop (sh21.c:42)
==4914==    by 0x10944A: main (sh21.c:57)

我真的不明白它是从哪里来的，因为我只是在这个阶段初始化那些指向NULL 的指针，而且我在填充时没有任何问题或错误（嗯，不是我检测到的），在程序中操作和读取那些链表数组。我假设我对内存做了一些奇怪的事情，但我不知道在哪里。

Answer 1

这个：

toks_groups = malloc(sizeof(toks_groups) * size + 1))

是错误的，并且会在您第一次执行toks_groups[size] = NULL;（在分配的区域之外）时导致问题。 Valgrind 告诉你无效写入是 8 个字节，因为你系统上的指针大小是 8 个字节。

如果你想分配size + 1 元素，你应该把表达式放在括号中。你在做sizeof(toks_groups) 的事实也很奇怪，没有多大意义。您可能想要做的是：

toks_groups = malloc(sizeof(*toks_groups) * (size + 1)))

如果您只想分配size 元素（而不是size + 1），则从malloc() 中删除+ 1 并更改while (...) 条件。您也根本不需要while，如果您想将所有内容初始化为NULL，您可以使用calloc() 而不是malloc()。

另外，根据经验：

1. 使用有意义的名称。调用 size 显然不是大小，而只是一些元素，会让人感到困惑。
2. 使用正确的代码结构。使用 while 循环迭代一系列值确实违反直觉，很容易导致错误。

上述代码的更好版本如下：

static t_tokens **init_tokens_groups(size_t n)
{
    t_tokens **toks_groups;

    if (!(toks_groups = calloc(sizeof(*toks_groups) * (n + 1))))
        exit(EXIT_FAILURE);

    return toks_groups;
}

我仍然不确定您是否真的需要附加元素，但您应该知道。