c语言中可变长度参数使用的注意事项

C语言中可变长度参数极大地方便了我们编程的同时，也非常容易由于使用不慎导致及其隐蔽的错误。以下面的这段函数为例，运行一段时间后会随机出现段错误，而且出错的位置一直稳定在vsprintf()函数里面。
……………...
a_list
ap;
va_start(ap,
cmd);
……………...
rep
= (redisReply *)redisvCommand(rc, cmd, ap);
vsprintf(str,
cmd, ap);
……………...
va_end(ap);

为了深入探究原因，我们下载了redis源代码和glibc源代码。看redis源代码中 redisvCommand的实现:

void
*redisvCommand(redisContext *c, const char *format, va_list ap) {
if
(redisvAppendCommand(c,format,ap) != REDIS_OK)
return
NULL;
return
__redisBlockForReply(c);
}

它主要调用了redisvAppendCommand：

int
redisvAppendCommand(redisContext *c, const char *format, va_list ap)
{
char
*cmd;
int
len;

len
= redisvFormatCommand(&cmd,format,ap);
if
(len == -1) {
__redisSetError(c,REDIS_ERR_OOM,"Out
of memory");
return
REDIS_ERR;
}
else if (len == -2) {
__redisSetError(c,REDIS_ERR_OTHER,"Invalid
format string");
return
REDIS_ERR;
}

if
(__redisAppendCommand(c,cmd,len) != REDIS_OK) {
free(cmd);
return
REDIS_ERR;
}

free(cmd);
return
REDIS_OK;
}

而redisvAppendCommand()函数中使用了va_arg,比如下面的部分代码:

256
/* Set newarg so it can be checked even if it is not
touched. */
257
newarg = curarg;
258
259
switch(c[1]) {
260
case 's':
261
arg = va_arg(ap,char*);
262
size = strlen(arg);
263
if (size > 0)
264
newarg = sdscatlen(curarg,arg,size);
265
break;
266
case 'b':
267
arg = va_arg(ap,char*);
268
size = va_arg(ap,size_t);
269
if (size > 0)
270
newarg = sdscatlen(curarg,arg,size);
271
break;
272
case '%':
273
newarg = sdscat(curarg,"%");
274
break;
275
default:

乍一看，ap传进去都是形式参数，不会改变，但仔细看va_arg的帮助文档可以看到，其实每次调用va_arg()都会改变ap的值：

va_arg()
The
va_arg() macro expands to an expression that has the type and value
of the next argument in the call. The argument ap is the va_list ap
initialized by va_start(). Each call to va_arg() modifies ap so
that the next call returns the next argument. The argument type
is a
type
name specified so that the type of a pointer to an object that has
the specified type can be obtained simply by adding a * to type.

The
first use of the va_arg() macro after that of the va_start() macro
returns the argument after last. Successive invocations return the
values
of the remaining arguments.

而ap又是作为指针的指针传递进来的，因此上层调用函数里的可变长度参数ap也会改变，着就导致后面对可变长度参数的使用出现段错误。因为前面已经遍历一遍了，ap到末尾了。
理解了这一点，针对一个函数中要调用多个可变长度的参数的用法，安全的用法就是为每一个被调用的函数单独分配一个可变长度参数va_list。据此，上面的代码就应该改写成这样：

a_list
ap;
va_list
aq;
va_start(ap,
cmd);
va_copy(aq,
ap);
………
rep
= (redisReply *)redisvCommand(conn, cmd, ap);
vsprintf(str,
cmd, aq);
va_end(ap);
va_end(aq);
………