linux内核可变参数分析

linux内核可变参数分析 2010-11-28
20:40:15

分类： LINUX

首先来看源代码，来自：

linux+v2.6.28/include/acpi/platform/acenv.h: (line 274)

typedef char * va_list; /* * Storage alignment properties */ #define _AUPBND (sizeof (acpi_native_int) - 1) //acpi_native_int 为4字节(32位)（根据机子字数而定） #define _ADNBND (sizeof (acpi_native_int) - 1) /* * Variable argument list macro definitions */ #define _bnd(X, bnd) (((sizeof (X)) + (bnd)) & (~(bnd))) #define va_arg(ap, T) (*(T *)(((ap) += (_bnd (T, _AUPBND))) - (_bnd (T,_ADNBND)))) #define va_end(ap) (void) 0 #define va_start(ap, A) (void) ((ap) = (((char *) &(A)) + (_bnd (A,_AUPBND))))

首先分析一下_bnd(X, bnd)。

在使用过程中，_bnd(X, bnd)括号内的bnd是一个固定值：_ADNBND或者_AUPBND。这个值在这里都是3。

对于X，我们看看下面的例子：

char c;

_bnd(c, bnd) = ((sizeof(c)) + (3)) & (~(3)) = 4&0xFFFFFFFC = 4

int t;

_bnd(t, bnd) = ((sizeof(t)) + (3)) & (~(3)) = 7&0xFFFFFFFC = 4

double d;

_bnd(d, bnd) = ((sizeof(d)) + (3)) & (~(3)) = b&0xFFFFFFFC = 8

char str[15];

_bnd(str, bnd) = ((sizeof(str)) + (3)) & (~(3)) = 0x12&0xFFFFFFFC = 16

_bnd(X, bnd)给出了以4字节对齐的变量X的大小。

下面给出一个具体列子：

#include <stdio.h> #include <stdarg.h> double sum_fun(int num, ...); //num为参数个数，此函数返回除num外所有参数之和。 int main() { double d; d = sum_fun(2, 5.5, 6.5); return 0; } double sum_fun(int num, ...) { double sum = 0.0; double t; va_list argptr; //va_list 即 char *，指向char类型的指针。 va_start(argptr, num); for(; num; num--){ t = va_arg(argptr, double); sum = sum + t; } va_end(argptr); return sum; } // 这里假设 &num = 0xbff69ce0。

首先分析一下va_start(argptr, num):

(void) ((argptr) = ((char *)&num + 4)) 即

argptr = (char *)(0xbff69ce0) + 4 = (char *)(0xbff69ce4)

即argptr指向了下一个参数的地址。

再来解析 va_arg(argptr, double):

第一次for循环：

(* (double*) ((argptr += 8) - 8)) = (*(double *)(0xbff69ce4)) 即

取出了第一个用于计算的参数的数值。

注意：此时argptr的值是：argptr = argptr + 8 = 0xbff69cec，即

指向了下一个参数的地址。

第二次for循环：

(* (double*) ((argptr += 8) - 8)) = (*(double *)(0xbff69cec))即

取出了第二个用于计算的参数的值。

和第一次取数值一样，此时的argptr的值也变了，为：0xbff69cf4。

对，如果有第三个参数，这就是第三个参数的地址。

明白了可变参数的这些取值方法，我们就可以自由使用了。