C语言可变参数，va_arg、va_list,va_start,va_end,_INTSIZEOF浅析

学习C语言可变参数时，发现

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

乍一看，完全不明白该宏的作用是啥，仔细分析后发现，该宏是求类型n是整型int的多少倍（向上取整).

在32位win中，sizeof(int)=4 。

如果n为char,一字节，则sizeof(n)=  (1+3)&~3=4;

若n为short,sizeof(n)=(2+3)&~3=4;

若n为double,sizeof(n)=(8+3)&~3=8;

该宏的效果等价于：

#define _MY_INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) / (sizeof(int)) * (sizeof(int)) )

基本思想是：让类型n的长度加上整型长度-1,为了保证与整型长度相除向上取到整数倍，再乘以整型长度，这样就得出

以整型来存储该类型需要多少字节，目的就是为了传可变个数参数时，内存对齐。

/ (sizeof(int)) * (sizeof(int)) )  可以优化的地方在于，int为2的n次方个字，比如16位的win中，int为了2Byte（2^1）,

32位的win中，整型长度为4(2^2)。以二进制的观点，除以2^n相当于右移两n位，乘以2^n相当于左移n位。

则/ (sizeof(int)) * (sizeof(int)) )  相当于右移n位再左移n位，也就可以说让它低n位都置0即可。

& ~(sizeof(int) - 1)  就可以达到该效果，以sizeof(int)=4为例，~(sizeof(int)-1)=~3=(1111 1111 1111 1100)_b

该数再与前面的数进行按位与操作，可将低2位置0。

想到这一步，不得不佩服写出这句程序的人高明之处！

接着看va_list,它是定义成char*,因为c/cpp没有byte类型。

va_start(ap,v); 运行这句后，ap指向第一个参数的地址。调试时发现sum(num,...)几个参数都是顺序存储，

ap= v的地址加上v所占的字段数，故ap指向num后的第一个参数。

再看va_arg,#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

这一句也比较复杂，思考了许久，开始想不明白为什么要加_INTSIZEOF(t)，又减_INTSIZEOF(t)，它又是如何递增

指向下一个参数。原来它是先将 ap+=_INTSIZEOF(t),修 改ap的值，此时ap指向下一个参数，再减去

_INTSIZEOF(t),又得到原来的地址，将其返回，转化为类型*的指针，再取指针所指地址的值。这也是处理得很巧妙的地方。

最后va_end( argptr );将指针argptr置为0;

结语：

可变参数实现方法是将，传过去的值或指针封用一个指针去遍历。

PS:

先理解Intel CPU的栈内存是从高地址到低地址增长，在__cdel调用约定中，参数从右往左依次入栈，所以最前面的参数地址越小。找到可变参数前的第一个参数，加上它所占的整数倍内存，把ap定位到可变参数的第一个，取出参数值，并增加相应的栈内存偏移，转到下一个参数，依次读取所有参数。另，C调用约定是由函数调用者恢复栈顶指针ESP，因为由于参数个数的不确定性，在函数内是无法判断多少栈内存偏移的。这也是__stdcall调用约定不支持可变参数的原因，它是由被调用者恢复栈顶指针，因而它的参数个数及类型必须是确定的。

#include <stdio.h>
#include <stdarg.h>

int sum( int num, ... ) {
	int answer = 0;
	/*
		typedef char *  va_list;
	*/
	va_list argptr;
	/*
		#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
		#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )
	*/
	va_start( argptr, num );
	
	for( ; num > 0; num-- ) {
		//#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
        answer += va_arg( argptr, int );
	}
	//#define va_end(ap)      ( ap = (va_list)0 )
	va_end( argptr );
	
	return( answer );
}


void my_printf( char *format, ... ) {
	va_list argptr;
	
	va_start( argptr, format );
	
	while( *format != '\0' ) {
		// string
		if( *format == 's' ) {
			char* s = va_arg( argptr, char * );
			printf( "Printing a string: %s\n", s );
		}
		// character
		else if( *format == 'c' ) {
			char c = (char) va_arg( argptr, int );
			printf( "Printing a character: %c\n", c );
			break;
		}
		// integer
		else if( *format == 'd' ) {
			int d = va_arg( argptr, int );
			printf( "Printing an integer: %d\n", d );
		}
		
		format++;
	}
	
	va_end( argptr );
}

#pragma pack(push, 1)
struct PackedStructure
{	
	char a[3];
	int b;
	short c;
};
#pragma pack(pop)		//sizeof(PackedStructure) : 9



#define _MY_INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) / (sizeof(int)) * (sizeof(int)) ) 


int main(){

	printf("sizeof(char*):%d\n",sizeof(char*));

	int answer = sum( 4, 4, 3, 2, 1 );
	printf( "The answer is %d\n", answer );

	my_printf( "sdc", "This is a string", 29, 'X' );

	printf("\nsizeof(int):%d\n",sizeof(int));

	printf("sizeof(PackedStructure):%d\n",sizeof(PackedStructure));

	printf("_INTSIZEOF(PackedStructure):%d\n",_INTSIZEOF(PackedStructure));
		
	printf("_INTSIEEOF(char)",_INTSIZEOF(char));

	printf("\nsizeof(double):%d\n",sizeof(double));

	printf("_INTSIZEOF(double):%d\n",_INTSIZEOF(double));
	
	printf("_MY_INTSIZEOF(double):%d\n",_MY_INTSIZEOF(double));
	
	return 0;
}