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);

………