使用可变参数宏和函数时，“未初始化的值是由堆栈分配创建的”

Question

我有以下程序http://ideone.com/1RPs8E 。 它使用可变参数函数tlog，它将在日志文件中打印一行。 它接收打印行的级别，文件名，行和调试信息的函数以及printf的格式和参数列表。

void tlog(int level, const char *file, int line, const char *fun, const char *fmt, ...)

我还使用一个LOGL宏来调用当前文件，行和函数的tlog函数。

#define LOGL(level, fmt, ...) tlog(level, __FILENAME__, __LINE__, __FUNCTION__, fmt, ##__VA_ARGS__)

还有使用LOGL宏的各种宏，例如：

#define DEBUGEX(fmt, ...) LOGL(LDEBUGEX, fmt, ##__VA_ARGS__)
#define DEBUG(fmt, ...) LOGL(LDEBUG, fmt, ##__VA_ARGS__)
#define INFO(fmt, ...)  LOGL(LINFO, fmt, ##__VA_ARGS__)

在valgrind中运行程序时：

$ valgrind -v --track-origins=yes ./t

我在第150行收到以下错误：“未初始化的值是由堆栈分配创建的”（当我使用DEBUGEX宏时）。 完整登录： http ： //pastebin.com/rZu4nkHd

代码有什么问题？ 对我来说似乎还可以。 如果我从tlog函数和所有调用它的宏中删除level参数，则不再发生错误。

在Archlinux上使用gcc 4.8.2进行测试，在Ubuntu 12.04.3上使用gcc 4.6.3进行测试

Answer 1

#define nmemb 1
#define size 32

...
void *_nptr_ = calloc((nmemb), (size));
LOGL(LDEBUGEX, "CALLOC: %#lX nmemb %ld, size %ld", _nptr_, (nmemb), (size));

这三个转换说明符都是错误的。

后两个转换说明符使Valgrind抱怨，因为传入的数据量（ int ）与格式期望的（ long ）不匹配。

格式应类似于：

..., "%p ... %d ... %d", _nptr_, ...

---

然而，一个“更好”的方法是：

#define nmemb ((size_t) 1)
#define size ((size_t) 32)

...

..., "%p ... %zu ... %zu", _nptr_, nmemb, size);

Answer 2

您正在使用%ld来打印int类型的常量，并且可能您在某个平台上有int并且long不具有相同的大小。 事件发生在_itoa_word是一个很好的暗示。

之所以不会崩溃或打印垃圾，是因为正在读取的多余字节恰好为零，因此读取该值的代码将以错误的方式获得正确的值。