我正在阅读 Robert C. Seacord 的《Effective C》一书。在本书中,它有一个练习,您可以有意地双重释放指针,以便您可以使用 dmalloc 进行测试以调试原因。但是,它并没有像预期的那样失败。
#include <string.h>
#include <stdlib.h>
#ifdef DMALLOC
#include "dmalloc.h"
#endif
void usage(char *msg) {
fprintf(stderr, "%s", msg);
free(msg);
return;
}
int main(int argc, char *argv[]) {
if (argc != 3 && argc !=4) {
/* The error message won't be more than 80 chars */
char *errmsg = (char *)malloc(80);
sprintf(
errmsg,
"Sorry %s,\nUsage: caesar secret_file keys_file [output_file]\n",
getenv("USER")
);
usage(errmsg);
free(errmsg);
exit(EXIT_FAILURE);
}
exit(EXIT_SUCCESS);
}
这里很清楚*errmsg
应该被释放两次:首先是usage
函数传递给它时,然后是 in 之后main
。为什么在没有参数的情况下运行时不会失败?我正在使用带有 GCC 9.3.0 的 linux (POP!_OS 20.04)。
编辑:有关更多上下文,本书建议我应该看到这样的输出:
% ./caesar
Sorry student,
Usage: caesar secret_file keys_file [output_file]
debug-malloc library: dumping program, fatal error
Error: tried to free previously freed pointer (err 61)
Aborted (core dumped)
添加更多免费电话也无济于事。我得到了使用部分,但没有得到核心转储。