检查正确的数组长度是否是 C 中的 malloc

Question

我正在为一堆学生作业评分。

他们正在设计自己的动态数组数据类型。我正在寻找一种测试的好方法，以确保它们在重新调整大小时为数组分配正确的内存量。

除了检查代码之外，还有其他方法可以轻松测试 malloc 调用创建的内存量吗？他们应该跟踪容量，但我需要测试他们这样做是否正确。

如果测试没有以段错误结束，如果他们没有分配足够的内存以便我可以继续运行其他测试，我也希望它。

谢谢！

Answer 1

您可以通过重新定义标准函数名称来为您的测试提供自己的 malloc()、calloc()、realloc() 和 free() 版本。

使用 gcc，我会创建一个带有替换函数的目标文件

gcc -c myfunctions.c -omyfunctions.o

并使用重新定义编译测试文件并链接到替换

gcc myfunctions.o -Dmalloc=mymalloc -Dcalloc=mycalloc -Drealloc=myrealloc -Dfree=myfree testfile.c

而不是学生使用的东西

gcc testfile.c

my*() 函数的实现应该不会太难。基本上他们检查参数并调用原始函数。

/* myfunctions.c */
#include <stdlib.h>
void *mymalloc(size_t s) {
    /* test s */
    return malloc(s);
}
void *mycalloc(size_t n, size_t s) {
    /* test n and s */
    return calloc(n, s);
}
void *myrealloc(void *p, size_t s) {
    /* test p and s */
    return realloc(p, s);
}
void myfree(void *p) {
    /* test p */
    free(p);
}

Answer 2

我认为您所期望的问题应该通过在 Valgrind 中运行学生的程序来解决。无论如何，这是一个好主意，因为它也可能会捕获其他不需要的问题，例如越界访问。