还是乖乖的用va_arg()吧

karma303

我之前实现可变参数的函数，像void foobar( sdf, ...)，都是用很土的方式：
unsigned *parg = &sdf;　（或是别的什么类型，一般都因地制宜）
然后parg[1], parg[2]...一个个来访问。　也没出过什么差错。
今天终于遭报应了，一个bug调了至少有4个小时。

简单点儿说，就是foobar的堆栈布局，不再是我想象的那样经典的C堆栈布局:

1. |__sdf __|
   
2. |_arg1__|
   
3. |_arg2__|
   
4. |___.____|

复制代码

是跟踪了跟踪了汇编码才发现，foobar的调用代码，还是经典的C参数入栈的方式，但进入foobar之后，gcc做了一些处理，例如把sdf复制到新的栈帧，等等。总之导致sdf下方不再是__VA_ARGS__了。导致只能用va_start/va_arg/va_end来访问。

最后把今天这段出ｂｕｇ的代码贴上吧（好像没必要，不过还是贴上吧）。

1. void __tprobe(struct timeval *base, struct timeval *last,  ...){
   
2.     long *interval, *gone;
   
3.     struct timeval now;
   
4.     gettimeofday(&now, 0);
   
5. 
   
6.     va_list vp;
   
7.     va_start(vp, last);
   
8.     interval = va_arg(vp, long *);
   
9.     if(interval){
   
10.         *interval = (now.tv_sec - last->tv_sec) * 1000000+
    
11.                             now.tv_usec - last->tv_usec;
    
12.         gone = va_arg(vp, long *);
    
13.         if(gone){
    
14.             *gone = (now.tv_sec - base->tv_sec)*1000000+
    
15.                             now.tv_usec - base->tv_usec;
    
16.         }
    
17.     }
    
18.     va_end(vp);
    
19.     *last = now;
    
20. }

复制代码

1. #include<sys/time.h>
   
2. #define TSTAMP_INIT()\
   
3.     struct timeval __tm_base;\
   
4.     struct timeval __tm_last;\
   
5.     gettimeofday(&__tm_base, 0)
   
6. 
   
7. /* call like this:
   
8. * TSTAMP()                just make a timestamp. do nothing else.
   
9. * TSTAMP(interval)        make timestamp, and query interval to the latest TSTAMP()
   
10. * TSTAMP(interval, gone)    and query how many useconds had gone since TSTAMP_INIT
    
11. *
    
12. * The arguments @interval, @gone should be a (long *)pointer for storing result
    
13. */
    
14. #define TSTAMP(...)\
    
15.     __tprobe(&__tm_base, &__tm_last,##__VA_ARGS__ ,0)
    
16. 
    

复制代码

之前一直不愿意用va_arg()，一是学不会，二是是想锻炼自己多动手。现在好了，终于死心了。

superwujc

楼主很给力哈

qianguozheng

出错的代码呢？ 帖的是正确的吧