高手请进：难道标准库STDARG.H是错的？

thinhare

难道标准库STDARG.H是错的？

大家都用过printf这个函数，知道它的参数个数是不定的。比如：

1. printf("Char is %c, Int is %d.\n", c, i);

复制代码

因为参数个数不一定，所以除了第一个参数又命名，其他的都没有，要访问其他参数，是通过定位于第一个参数的地址，再加上相应的位移。比如说，第一个参数地址为n，长度为10，那么第二个参数地址即为n+10。
在标准库STDARG.H里，va_start(ap,v)把指针移动到第二个参数，那它是怎么知道第一个参数的长度呢？它用：

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

复制代码

我的疑问是：这样真能得到第一个参数的长度吗？因为va_start(ap,v)里的'v'实际上是个指针，所以_INTSIZEOF(n)里的'n'也是指针，sizeof得到的不是第一个参数的长度，而是指针变量（存储了第一个参数的地址）的长度。
[code]char *fmt = "Hello World!";
printf("%d", sizeof(fmt));
// 结果是4，很明显，它不可能是字符串"Hello World!"，而是地址变量的长度。
真的不知道怎么解释。

renstone921

开玩笑。一个是指针变量，一个是字符数组，每个指针在32位机上都是4字节，第二个是数组，sizeof运算符返回的是数组的字节数。

albcamus

char fmt[50];
printf("%d", sizeof(fmt));

注意，数组名传给函数做参数时，将被转变成指针。

thinhare

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

复制代码

我的疑问是：这样真能得到第一个参数的长度吗？

renstone921

原帖由 "albcamus" 发表：
intf("%d", sizeof(fmt));

注意，数组名传给函数做参数时，将被转变成指针。

    这里并没有把数组名作为参数呀，这里是把sizeof(fmt)运算表达式的结果作为函数的参数。

雨丝风片

原帖由 "albcamus" 发表：
intf("%d", sizeof(fmt));

注意，数组名传给函数做参数时，将被转变成指针。

版主老大，这里好像还没有这个问题嘛，人家是把sizeof（数组名）
传给函数，没有把数组名传给函数哈。。。

albcamus

原帖由 "renstone921" 发表：

    这里并没有把数组名作为参数呀，这里是把sizeof(fmt)运算表达式的结果作为函数的参数。

我知道呀。楼主就是以为函数对待做为参数的数组和指针，其方式与sizeof操作符一样，才导致了这个误解。

thinhare

有点晕！好象你们说得和我问得没什么关系？？我的疑问是，sizeof(指针)这种方法能达到我们想达到的目的吗？
至于那个数组，只是我的一种猜测——会不会sizeof()里的不是指针，而是数组。因为是数组的话，的确是可以得到长度。仅此而已。

雨丝风片

记得c陷阱与缺陷里面讲过这几个宏的事情，记不清了。
现在手头没有va_arg系列宏的代码，也无法查证楼主所说，
只能看着楼主的例子，没搞明白版主所指，。。。  

thinhare

这是K&R-The C programming Language里的。我就是看这个产生的疑问，和大家探讨一下。

1.    #include <stdarg.h>;
   
2. 
   
3.    /* minprintf: minimal printf with variable argument list */
   
4.    void minprintf(char *fmt, ...)
   
5.    {
   
6.        va_list ap; /* points to each unnamed arg in turn */
   
7.        char *p, *sval;
   
8.        int ival;
   
9.        double dval;
   
10. 
    
11.        va_start(ap, fmt); /* make ap point to 1st unnamed arg */
    
12.        for (p = fmt; *p; p++) {
    
13.            if (*p != '%') {
    
14.                putchar(*p);
    
15.                continue;
    
16.            }
    
17.            switch (*++p) {
    
18.            case 'd':
    
19.                ival = va_arg(ap, int);
    
20.                printf("%d", ival);
    
21.                break;
    
22.            case 'f':
    
23.                dval = va_arg(ap, double);
    
24.                printf("%f", dval);
    
25.                break;
    
26.            case 's':
    
27.                for (sval = va_arg(ap, char *); *sval; sval++)
    
28.                    putchar(*sval);
    
29.                break;
    
30.            default:
    
31.                putchar(*p);
    
32.                break;
    
33.            }
    
34.        }
    
35.        va_end(ap); /* clean up when done */
    
36.    }

复制代码