C语言可变长参数实现原理

(1) C语言可变参数

我们可以从C语言的printf得出可变参数的作用，printf函数的原型如下：

int printf ( const char * format, ... );

通过使用可变个数参数，就是传入的参数个数是可变的，如printf需要根据format实参传入多个实参。

(2) C语言可变参数的使用

下面一个函数myprintf是自己实现的比较简单的printf函数，不完整但是可以说明可变参数的用法。

1. /*
   
2.  * Author: enough
   
3.  */
   
4. 
   
5. #include <stdio.h>
   
6. #include <stdarg.h>
   
7. #include <unistd.h>
   
8. #include <string.h>
   
9. 
   
10. void myprintf(char *format, ...) {
    
11.   va_list ap;
    
12.   int pos = 0;
    
13.   int int_val = 0;
    
14.   float f_val;
    
15.   char buf[64];
    
16.   memset(buf, 0, 64);
    
17.   // 得到所有的参数放到下一个list中ap中
    
18.   va_start(ap, format);
    
19.   while (format[pos] != '\0') {
    
20.     // 判断'%'，表示要得到下一个参数
    
21.     if (format[pos] == '%') {
    
22.       pos ++;
    
23.       switch(format[pos]) {
    
24.         case 'd':
    
25.         case 'u':
    
26.           // 得到ap中的下一个参数
    
27.           int_val = va_arg(ap, int);
    
28.           sprintf(buf, "%d", int_val);
    
29.     // 将数据写到标准输出
    
30.           write(STDOUT_FILENO, buf, strlen(buf));
    
31.           memset(buf, 0, 64);
    
32.           pos ++; 
    
33.     break;
    
34.         case 'f':
    
35.           // 得到ap中的下一个参数
    
36.           f_val = (float)va_arg(ap, double);
    
37.           sprintf(buf, "%f", f_val);
    
38.     // 将数据写到标准输出
    
39.           write(STDOUT_FILENO, buf, strlen(buf));
    
40.           memset(buf, 0, 64);
    
41.           pos ++;
    
42.           break;
    
43.         default:
    
44.           break;
    
45.       }
    
46.     } else {
    
47.       write(STDOUT_FILENO, &(format[pos]), 1);
    
48.       pos ++;
    
49.     }
    
50.   }
    
51. }
    
52. 
    
53. int main(void){
    
54.   myprintf("this is a testing, i = %d, u = %u, f = %f\n", -1, 5, 0.2);
    
55.   return 0;
    
56. }

程序的数据结果如下：

	enough@enough-desktop:~/test/valist$ ./main
	this is a testing, i = -1, u = 5, f = 0.200000

(3) 实现

下面介绍C语言可变长度参数的实现，其实现与一个数据结构(va_list)和三个宏(va_start, va_end, va_arg)相关，从源码中可以看到这些实现下面的来自linux内核源码中的文件(include/acpi/platform/acenv.h)

1. #ifndef _VALIST
   
2. #define _VALIST
   
3. typedef char *va_list;
   
4. #endif /* _VALIST */
   
5. 
   
6. /*
   
7.  * Storage alignment properties
   
8.  */
   
9. #define _AUPBND (sizeof (acpi_native_int) - 1)
   
10. #define _ADNBND (sizeof (acpi_native_int) - 1)
    
11. 
    
12. /*
    
13.  * Variable argument list macro definitions
    
14.  */
    
15. #define _bnd(X, bnd) (((sizeof (X)) + (bnd)) & (~(bnd)))
    
16. #define va_arg(ap, T) (*(T *)(((ap) += (_bnd (T, _AUPBND))) - (_bnd (T,_ADNBND))))
    
17. #define va_end(ap) (void) 0
    
18. #define va_start(ap, A) (void) ((ap) = (((char *) &(A)) + (_bnd (A,_AUPBND))))

a) va_list 
从实现中可以看出va_list类型实际上就是一个指针； 
b) va_start 
这个宏的作用是将T所指向的参数后面的内容放到ap中，其中_bnd (A,_AUPBND)是返回A的size并与系统的机器位数对齐，因为参数在栈中的地址一定是与系统的字长对齐的，其中acpi_native_int就表示机器字长； 
c) va_end 
这个宏的作用就是返回0；
d) va_arg 
这个宏的作用是取得ap指向的当前的参数，并将ap指向参数列表中的下一个参数。 （ 转载自：http://blog.chinaunix.net/uid-13991680-id-4234493.html）