使用malloc的宏内宏会导致运行时错误？

Question

我有这段代码

#define MZERO(a, s)  (a==NULL ? NULL : memset(a, 0, sizeof(a)*s))
#define MALLOC(t)    (t*)malloc(sizeof(t))
#define CALLOC(t, s) s<=0 ? NULL : (t*)MZERO(calloc(sizeof(t), s), s)

基本上让我可以解决malloc等人需要的大量样板C. MALLOC和MZERO按预期运行但是在运行时CALLOC导致

malloc.c:3096: sYSMALLOc: Assertion `(old_top == (((mbinptr) (((char *)
&((av)->bins[((1) - 1) * 2]))- __builtin_offsetof (struct malloc_chunk, fd)))) &&
old_size == 0) || ((unsigned long) (old_size) >= (unsigned long)((((__builtin_offsetof
(struct malloc_chunk, fd_nextsize))+((2 * (sizeof(size_t))) - 1)) & ~((2 *
(sizeof(size_t))) - 1))) && ((old_top)->size & 0x1) && ((unsigned long)old_end &
pagemask) == 0)' failed.

我一直在以“简单”格式使用这些宏，如MALLOC ，最近决定将它们组合在一起。 请注意，即使没有三元运算符，也会出现相同的错误。

我发现的唯一引用该错误消息的是一些不包含解决方案的邮件列表帖子。 我想我过去没有任何问题就把它们结合起来但是我不太确定。 无论如何，我的libgc版本是2.13-38+deb7u1 ，GCC 4.7.2

知道发生了什么事吗？

Answer 1

是的，当程序有一些内存损坏情况时，会出现这样的断言消息。 您可能想要使用Valgrind。 你的CALLOC MACRO也是不正确的，因为它实际上是两次清理内存所以它应该是

#define CALLOC(t, s) s<=0 ? NULL : (t*)MZERO(calloc(sizeof(t), s), s)

应该

   #define CALLOC(t, s) s<=0 ? NULL : (t*)calloc(sizeof(*t), s)

Answer 2

基本上，不要使用这样的宏。 你只是进入一个痛苦的世界。

记住宏是由预处理器执行的文本扩展。 让我们假装我们是预处理器，你的两个宏......

#define MZERO(a, s)  (a==NULL ? NULL : memset(a, 0, sizeof(a)*s))
#define CALLOC(t, s) s<=0 ? NULL : (t*)MZERO(calloc(sizeof(t), s), s)

现在， MZERO(calloc(sizeof(t), s), s)将如下扩展： -

(calloc(sizeof(t), s)==NULL ? NULL : memset(calloc(sizeof(t), s), 0, sizeof(calloc(sizeof(t), s))*s))

我想你并不是真的想要召唤三次calloc 。 我可以列出一些其他潜在问题，因为你没有正确地将每个参数包装在宏中的括号中，但实际上，足够：不要滥用这样的宏。