printf实现机制与可变长参数.ppt

printf()函数实现机制 printf()函数调用的一般格式: printf(格式化字符串, 参量表); 一般字符 格式化规定字符 可有 可无 printf()函数调用的一般格式: printf(格式化字符串, 参量表); 可变参数列表 printf实例1：#includestdio.hint main(){ printf(“Hello World!\n”); return 0;} 传递一个参数！ printf实例2：#includestdio.hint main(){ int i=3; printf(“%d\n”,i); return 0;} 传递了两个参数！ printf实例3：#includestdio.hint main(){ int i=3; printf(“%d %d %d %d\n”); return 0;} printf实例4：#includestdio.hint main(){ int i=3,j=4; printf(“%d\n”,i,j); return 0;} 问题：1.怎样让printf()函数知道传递了多少参数？2.printf()函数怎样访问这些参数？ 首先来看看函数的内存布局 函数参数内存位置 函数局部变量内存位置 函数内部malloc出的空间的位置 printf()在VC6.0中的库中的源代码：int __cdecl printf ( const char *format, ... )  {  va_list ap;  int buffing;  int retval;  va_start(ap, format); _ASSERTE(format != NULL); _lock_str2(1, stdout);  buffing =_stbuf(stdout); retval = _output(stdout,format,ap); _ftbuf(buffing, stdout); _unlock_str2(1, stdout);  return(retval);  } ● int __cdecl printf ( const char *format, ... )  _cdecl是C和C＋＋程序的缺省调用方式 _cdecl调用约定： 1.参数从右到左依次入栈 2.调用者负责清理堆栈 3.参数的数量类型不会导致编译阶段的错误 ● （const char *format, ...）  在形参列表里有这么一个“...”，这个是可变形参的一种写法。　　当传递参数的个数不确定时，就可以用这种方式来表示。 ● 以下为VC++中stdarg.h里x86平台的宏定义typedef char *? va_list;#define va_start(va_list ap, format) ( ap = (va_list) format+ _INTSIZEOF(format) ) //C Primer Plus Chapter 15 bit operation#define va_arg(va_list ap,type)??? ( *(type*)((ap += _INTSIZEOF(type))- _INTSIZEOF(type)) )#define va_end(va_list ap)?????  ( ap = (va_list)0 ) va_start:为获取可变数目参数的函数的参数提供一种便捷手段。设置ap为指向传给函数参数列表中的第一个可选参数的指针，且该参数必须是va_list类型。format是在参数列表中第一个可选参数前的必选参数。va_arg：返回由ap所指向的参数的值，且自增指向下一个参数的地址。type为当前参数的类型，用来计算该参数的长度，确定下一个参数的起始位置。它可以在函数中应用多次，直到得到函数的所有参数为止，但必须在宏va_start后面调用。va_end:在获取所有的参数后，设置指针ap为null。 ● 栈示意图 …… …… 参数n 参数n-1 Printf(参数1，参数2，……，参数n-1，参数n，……) …… 参数2 参数1 低地址 高地址 Format指向参数1 执行完va_start后，ap指向 参数2（即第一个可变参量） 执行完va_arg后， ap指向下一个参数 printf()在VC6.0中的库中的源代码：int __cdecl printf ( const char *format, ... )  {