C小程序 - printf

之前对于如下的这种printf用法不熟悉，今天看到了，记录一下
printf("%-*s", width, string);

"*": 在这里用width代替，其实和printf("%-10s", string) 一样，都是控制左对齐的，只是把“10”这个数字给参数化了。

在printf.c的源码里可以看到是这样处理的：

field_width = -1;
    if (isdigit(*fmt))
      field_width = skip_atou(&fmt);
    else if (*fmt == '*') {
      ++fmt;

      field_width = va_arg(args, int);
      if (field_width < 0) {
    field_width = -field_width;
    flags |= LEFT;
      }
    }

这里看到用到了一个宏 va_arg, 定义在stdarg.h中

typedef char *   va_list;
#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) ) //定义_INTSIZEOF(n)主要是为了某些需要内存的对齐的系统.这个宏的目的是为了得到最后一个固定参数的实际内存大小。
#define va_start(ap,v)   ( ap = (va_list)&v + _INTSIZEOF(v) ) //用来把指针ap指向最后一个固定参数v之后的变长参数列表中第一个参数的地址。
#define va_arg(ap,t)     ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) //用来把当前指向的变长参数的值返回，并把ap增加，指向后面一个的变长参数的地址
#define va_end(ap)       ( ap = (va_list)0 ) //清除指针ap

通过堆栈可以看到：

栈底 高地址

|函数返回地址

| .......

| 函数最后一个参数

| ....

| 函数第一个可变参数     <--va_start后ap指向

| 函数最后一个固定参数

| 函数第一个固定参数

栈顶 低地址

在printf.c中可以看到应用了这几个宏， 这几个宏是用来处理变长参数的

int printf(const char *fmt, ...)
{
  char printf_buf[1024];
  va_list args;
  int printed;

  va_start(args, fmt);
  printed = vsprintf(printf_buf, fmt, args);  //在vsprintf调用了上面的第一段代码
  va_end(args);

  puts(printf_buf);

  return printed;
}

通过printf("%-*“）的例子，温习一下字节对齐，变长参数处理， 函数参数入栈顺序的知识。

补充理解（来自 http://www.cnblogs.com/wdpp/archive/2011/02/16/2386815.html ）：
va_start(arg_ptr, argN)：使参数列表指针arg_ptr指向函数参数列表中的第一个可选参数，说明：argN是位于第一 个可选参数之前的固定参数，（或者说，最后一个固定参数；…之前的一个参数），函数参数列表中参数在内存中的顺序与函数声明时的顺序是一致的。如果有一 va函数的声明是void va_test(char a, char b, char c, …)，则它的固定参数依次是a,b,c，最后一个固定参数 argN为c，因此就是va_start(arg_ptr, c)。
　　
va_arg(arg_ptr, type)：返回参数列表中指针arg_ptr所指的参数，返回类型为type，并使指针arg_ptr指向参数列表中下一个参数。
　　
va_copy(dest, src)：dest，src的类型都是va_list，va_copy()用于复制参数列表指针，将dest初始化为src。
　　
va_end(arg_ptr)：清空参数列表，并置参数指针arg_ptr无效。说明：指针arg_ptr被置无效后，可以通过调 用 va_start()、va_copy()恢复arg_ptr。每次调用va_start() / va_copy()后，必须得有相应的 va_end()与之匹配。参数指针可以在参数列表中随意地来回移动，但必须在va_start() … va_end()之内。