realloc，二维分配，valgrind中的泄漏和错误

Question

• 我写了一个程序来根据特定的分隔符分割给定的字符串。一切工作正常，但valgrind 中存在泄漏和错误。

• split算法正确。

• substr 工作正常。

• 我的程序：

#include <stdio.h>
#include <stdlib.h>

char** split(const char*, char, int*);
char* substr(const char*, int, int);
void freepath(char**, int);

int main(void) {
    char *str = "home///ubuntu//Desktop";
    char **path = NULL;
    int size = 0;

    path = split(str, '/', &size);

    freepath(path, size);
    return 0;   
}

char** split(const char *str, char c, int *size) {

    char **path = NULL;
    const char *save = str;
    int from=-1, i;

    if(str == NULL)
        return NULL;

    for(i=0 ; 1; ++i) {
        if(*str == '\0') {
            if(from != -1) {
                ++(*size);
                path = (char**)realloc(path, (sizeof(char**) *(*size)));
                *(path+(*size)-1) = substr(save, from, i);
            }
            break;
        }
        if(*str != '/') {
            if(from == -1)
                from = i;
        }
        else {
            if(from != -1) {
                ++(*size);
                path = (char**)realloc(path, (sizeof(char)*(*size)));
                *(path+(*size)-1) = substr(save, from, i);
            }
            from = -1;
        }
        ++str;
    }
    return path;
}

void freepath(char **path, int size) {

    int i=0;

    for(i=0; i<size; ++i) {
        free(*(path+i));
        *(path+i) = NULL;
    }
    free(path);
    path = NULL;
}


char* substr(const char *src, int m, int n)
{
    int len = n - m;
    char *dest = (char*)malloc(sizeof(char) * (len + 1));

    for (int i = m; i < n && (*(src + i) != '\0'); i++)
    {
        *dest = *(src + i);
        ++dest;
    }
    *dest = '\0';

    return dest - len;
}

• Valgrind 输出：
• 应该是什么原因？ ，我真的坚持了！

Answer 1

clang 分析器在您的代码中发现了 4 个可疑点：

1.

char *str = "home///ubuntu//Desktop";

const 前面需要 char（指向 const 的指针）。

2.

char** split(const char *str, char c, int *size) {

包含一个未使用的参数 (c)。

3.

path = (char**)realloc(path, (sizeof(char**) *(*size)));

clang-analyser 不喜欢 char** 作为 sizeof 的参数，将其替换为 char* 会删除警告。

4.

path = (char**)realloc(path, (sizeof(char)*(*size)));

与 3 中的警告相同。错误，不，不一样。答对了！将sizeof 中的char 替换为char*，然后你就回家了。

最后一句话。使用 valgrind 时，始终在编译后的代码中添加调试信息，即在编译器命令行选项（gcc、clang 等）中添加-g。这将为您提供有关源代码中与 valgrind 发现问题的位置相对应的确切行号的信息。我在 valgrind 下的程序截图包含的信息比你的多：

请注意，valgrind 正确地将第 44 行识别为内存分配错误的行（或第 45 行，第 44 行分配的缓冲区使用错误。这两个选项都是先验可能正确的）。