本文致力于快速入門，使用總結(jié)，沒有高大上的源碼分析。
說沒有源碼還是來點源碼吧，variable argument在C語言中最典型的例子就是printf了，所以還是上printf的源碼吧。
int printf(const char *fmt, ...)
{
char printf_buf[1024];
va_list args;//stdarg.h
int printed;
va_start(args, fmt);//stdarg.h
printed = vsprintf(printf_buf, fmt, args);
va_end(args);//stdarg.h
puts(printf_buf);
return printed;
}
我們一般使用printf如下：
printf("string %d string %s string %c\n", int, char*, char);
也就是第一個參數(shù)是確定的，是char*類型，也就是一個字符串。而在函數(shù)聲明中后面的第二個參數(shù)是...,也就是我們所說的variable argument了。那我們?nèi)绾问褂眠@個...呢，下面就是stdarg.h出場的時候了，上面代碼中注釋的均為stdarg.h中的函數(shù)，下面我們大概講一下這些函數(shù)的意義。
va_list args：聲明一個指向參數(shù)的指針
va_start(args,fmt):開始檢查fmt后面的參數(shù)，args為上文的va_list指針
va_end(args):結(jié)束參數(shù)查找，釋放args
char *arg = va_arg(args, const char );然后我們可以用這種方式去取參數(shù)，這里va_arg的第二個參數(shù)就是const char，因為他是type類型的。
或者也可以用一個for循環(huán)把所有參數(shù)取出來
for(key = va_arg(args, const char *); key != NULL; key = va_arg(args, const char *))
printf的具體代碼我貼在最后了，感興趣的可以一看，其實原理很簡單。
在我們自己使用的時候，我們可以將第一個參數(shù)設(shè)置成參數(shù)個數(shù)，那樣就很容易判斷合理的參數(shù)范圍了。
void simple_va(int va_number,...);
int main(int argc,char *argv[])
{
simple_va(1,100);
simple_va(2,100,200);
simple_va(3,100,200,300);
return 0;
}
void simple_va(int va_number,...)
{
va_list arg_ptr; //定義可變參數(shù)指針
va_start(arg_ptr, va_number); // va_number為最后一個固定參數(shù)
for(int i = 0; i < va_number; i++)
{
int va = va_arg(arg_ptr,int); //返回可變參數(shù)，類型為int
printf("第%d個可變參數(shù)為%d", i, va);
}
va_end(arg_ptr); // 清空參數(shù)指針
return;
}
以上就是一個可變參數(shù)的簡單應用了。
參數(shù)在堆棧中分布：
在進程中,堆棧地址是從高到低分配的.當執(zhí)行一個函數(shù)的時候,將參數(shù)列表入棧,壓入堆棧的高地址部分,然后入棧函數(shù)的返回地址,接著入棧函數(shù)的執(zhí)行代碼,這個入棧過程,堆棧地址不斷遞減。
參數(shù)在堆棧中的分布情況如下:
最后一個參數(shù)
倒數(shù)第二個參數(shù)
...
第一個參數(shù)
函數(shù)返回地址
函數(shù)代碼段
附上printf的部分代碼：
int vsprintf(char *buf, const char *fmt, va_list args)
{
int len;
unsigned long num;
int i, base;
char *str;
const char *s;
int flags; /* flags to number() */
int field_width; /* width of output field */
int precision; /* min. # of digits for integers; max
number of chars for from string */
int qualifier; /* 'h', 'l', or 'L' for integer fields */
for (str = buf; *fmt; ++fmt) {
if (*fmt != '%') {
*str++ = *fmt;
continue;
}
/* process flags */
flags = 0;
repeat:
++fmt; /* this also skips first '%' */
switch (*fmt) {
case '-':
flags |= LEFT;
goto repeat;
case '+':
flags |= PLUS;
goto repeat;
case ' ':
flags |= SPACE;
goto repeat;
case '#':
flags |= SPECIAL;
goto repeat;
case '0':
flags |= ZEROPAD;
goto repeat;
}
/* get field width */
field_width = -1;
if (isdigit(*fmt))
field_width = skip_atoi(&fmt);
else if (*fmt == '*') {
++fmt;
/* it's the next argument */
field_width = va_arg(args, int);
if (field_width < 0) {
field_width = -field_width;
flags |= LEFT;
}
}
/* get the precision */
precision = -1;
if (*fmt == '.') {
++fmt;
if (isdigit(*fmt))
precision = skip_atoi(&fmt);
else if (*fmt == '*') {
++fmt;
/* it's the next argument */
precision = va_arg(args, int);
}
if (precision < 0)
precision = 0;
}
/* get the conversion qualifier */
qualifier = -1;
if (*fmt == 'h' || *fmt == 'l' || *fmt == 'L') {
qualifier = *fmt;
++fmt;
}
/* default base */
base = 10;
switch (*fmt) {
case 'c':
if (!(flags & LEFT))
while (--field_width > 0)
*str++ = ' ';
*str++ = (unsigned char)va_arg(args, int);
while (--field_width > 0)
*str++ = ' ';
continue;
case 's':
s = va_arg(args, char *);
len = strnlen(s, precision);
if (!(flags & LEFT))
while (len < field_width--)
*str++ = ' ';
for (i = 0; i < len; ++i)
*str++ = *s++;
while (len < field_width--)
*str++ = ' ';
continue;
case 'p':
if (field_width == -1) {
field_width = 2 * sizeof(void *);
flags |= ZEROPAD;
}
str = number(str,
(unsigned long)va_arg(args, void *), 16,
field_width, precision, flags);
continue;
case 'n':
if (qualifier == 'l') {
long *ip = va_arg(args, long *);
*ip = (str - buf);
} else {
int *ip = va_arg(args, int *);
*ip = (str - buf);
}
continue;
case '%':
*str++ = '%';
continue;
/* integer number formats - set up the flags and "break" */
case 'o':
base = 8;
break;
case 'x':
flags |= SMALL;
case 'X':
base = 16;
break;
case 'd':
case 'i':
flags |= SIGN;
case 'u':
break;
default:
*str++ = '%';
if (*fmt)
*str++ = *fmt;
else
--fmt;
continue;
}
if (qualifier == 'l')
num = va_arg(args, unsigned long);
else if (qualifier == 'h') {
num = (unsigned short)va_arg(args, int);
if (flags & SIGN)
num = (short)num;
} else if (flags & SIGN)
num = va_arg(args, int);
else
num = va_arg(args, unsigned int);
str = number(str, num, base, field_width, precision, flags);
}
*str = '\0';
return str - buf;
}
int sprintf(char *buf, const char *fmt, ...)
{
va_list args;
int i;
va_start(args, fmt);
i = vsprintf(buf, fmt, args);
va_end(args);
return i;
}
int printf(const char *fmt, ...)
{
char printf_buf[1024];
va_list args;
int printed;
va_start(args, fmt);
printed = vsprintf(printf_buf, fmt, args);
va_end(args);
puts(printf_buf);
return printed;
}
