va_list/va_start/va_arg/va_end深入分析

文章推荐: http://www.cnblogs.com/justinzhang/archive/2011/09/29/2195969.html

                  http://www.cnblogs.com/gogly/articles/2416833.html

重点推荐:

                 http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=53564&id=2098798

我就补充两点:

1. 关于_INTSIZEOF宏的理解。

#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

先看另外一个简单的问题，即给一个数X,让它进行4字节向上对齐。比如X=1,对齐后为4; X=6,对齐后为8。所以对齐后的字节数Y=(X+4-1)/4*4

那么"/4*4"的意义是什么呢？就是抹掉余数，保证结果为4的倍数。如X=3,那么（3+4-1）=6，执行“/4*4”是为了抹掉6%4=2，抹掉2之后就能保证6-2=4为4的倍数了。

那么给你数Z,用什么办法来抹掉除以4的余数呢？就是执行&~(4-1)的操作;

堆栈里的参数都是4字节(跟程序位数有关)对齐的，所以要使用_INTSIZEOF这个宏;

2. 可变参数...中float提升为double的问题

先看代码

#include <stdio.h>
#include <math.h>

void foo(float f1,...)
{
	va_list var;
	float d;
	va_start(var, f1);
	d = va_arg(var, float);
	va_end(var);
	printf("param = %f,%f \n",f1,d);
}

int _tmain(int argc, _TCHAR* argv[])
{
	foo(1.23f,2.34f);
	return 0;
}

printf并没有预想中打印出“param=1.230000,2.340000”,而是“ param=1.230000,-36893488147419103000.000000”

具体原因请参考刚才重点推荐的那篇文章,我就画个图。

正确的代码应该为

#include <stdio.h>
#include <math.h>

void foo(float f1,...)
{
	va_list var;
	double d;
	va_start(var, f1);
	d = va_arg(var, double);
	va_end(var);
	printf("param = %f,%f \n",f1,d);
}

int _tmain(int argc, _TCHAR* argv[])
{
	foo(1.23f,2.34f);
	return 0;
}