Question

所以我一直在教自己C，并且希望学习如何从一开始就正确地管理内存并编写更好的代码，我一直在运行Valgrind。这有助于我内存泄漏，但我似乎无法摆脱这种“有条件的跳转或移动取决于未初始化的值/未初始化的值是由堆分配”创建的情况，尽管我已经缩小了它到这段代码：

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

int main()    
{  
    char* test = (char*) malloc(3);
    strncpy(test, "123", 2);
    printf("%s\n", test);
    free(test);
    return 0;
}

当我用---track-origins=yes运行Valgrind时，我得到了这个输出：

==91702== Conditional jump or move depends on uninitialised value(s) 
==91702==    at 0x100011507: strlen (mc_replace_strmem.c:282)
==91702==    by 0x1000AA338: puts (in /usr/lib/libSystem.B.dylib)
==91702==    by 0x100000EFA: main (valgrind_test.c:10)
==91702==  Uninitialised value was created by a heap allocation
==91702==    at 0x100010345: malloc (vg_replace_malloc.c:236)
==91702==    by 0x100000EEA: main (valgrind_test.c:8)

这对我来说似乎是一种误报，但我对自己的知识并没有足够的信心将其写下来。也许我分配错误或使用strncpy错误？我不确定。

提前致谢

Answer 1

不，这是破解的代码。

你有一个包含3个未初始化字符的内存块。然后将"12"复制到其中，不要终止。谨防strncpy()。

我引用the documentation：

strncpy（）函数类似，只是复制了不超过n个字节的src。因此，如果src的前n个字节中没有空字节，则结果将不会以空值终止。

由于源的前2个字符内没有终止，因此目标不会终止。

Answer 2

使用strcpy()和strncpy()的惯用方法：

如果您知道缓冲区有字符串空间加上NUL终止符，则可以使用strcpy()。这可能会使用常量，或者在代码中进行检查（您应该确保检查正确）。

否则，你可以这样做：

strncpy(dest, src, length);
dest[length - 1] = '\0';

具有以下缺点：

它可以截断字符串。
它可能效率低下，因为它总是填充length个字节。

还有OpenBSD的strlcpy()。

对strcpy()/strncpy()的任何其他使用都可能存在疑问，您应该仔细查看它们。

底线：避免C字符串函数适用于任何中等复杂的函数，尝试使用一些库来动态分配字符串。 Qmail / Postfix推出了自己的，GNU有obstacks。

Answer 3

你的字符串没有终止符，所以valgrind在抱怨时可能是正确的。变化：

strncpy(test, "123", 2);

为：

strcpy(test, "12");

valgrind对未初始化的价值观的投诉可能是误报吗？

3 个答案: