用 valgrind 理解结果

Question

对于以下代码，我有以下定义：

typedef struct string {char* data; int length;} string;

如果我使用 valgrind 运行以下代码，我得到条件跳转或移动取决于未初始化的值和 seg。故障：

string* s = (string*) malloc(sizeof(string));
strcpy("Hello", s->data);
free(s);

首先，我不明白为什么会出现上述错误。 我想如果我添加到该代码free(s->data) 它会释放内存但程序会运行正常。

我的看法： 我知道sizeof(string) 等于 4（指向 char 的指针）+ 4（int）= 8。 然后我们为 s 分配 8 位。 strcpy 会将字符串复制到数据中，但我在这里遇到了问题。为什么？

Answer 1

有多个问题：

string* s = (string*) malloc(sizeof(string));

应该更好

string* s = malloc(sizeof(*s));

为s->data 分配内存，但不使s->data 指向任何有效的内存位置。如果你想使用内存位置，你需要确保它指向一个有效的内存位置。例如：您需要分别为s->data malloc()。

也就是说，syntax for strcpy() 说，它是 strcpy(dest, source)，所以在你的情况下

strcpy("Hello", s->data);

尝试

• 从统一的内存位置读取
• 写入字符串文字

其中任何一个都会调用undefined behaviour。

你应该写

strcpy(s->data, "Hello");

在确保s->data 是有效目的地之后。