if(a-b>0) 会不会被优化成if(a>b)

Missex

if(a-b>0) 会不会被优化成if(a>b)

由于使用的是times() 获取系统的时间. 应该会出现,上溢的情况. a和b的类型都是clock_t,应该是32位有符号整数.

假设clock_t表示的最大值和最小值分别是MAX MIN.

b=MAX-100;
a=MIN+100;

很明显a>b. 但是如果考虑是时间的话应该是a早于b (系统的滴嗒数设为每秒100,clock_t大约一年多一个轮回,但是程序中a,b不会相差这么多)

谢谢

[ 本帖最后由 Missex 于 2008-5-15 14:44 编辑 ]

zx_wing

原帖由 Missex 于 2008-5-15 14:42 发表
if(a-b>0) 会不会被优化成if(a>b)

由于使用的是times() 获取系统的时间. 应该会出现,上溢的情况. a和b的类型都是clock_t,应该是32位有符号整数.

假设clock_t表示的最大值和最小值分别是MAX MIN.

b=MAX ...

应该不会，内核用的jiffies在5分钟左右（x86）就会回绕，内核用的宏就是通过减法来判断回绕的。
例如

1. 
   
2. #define time_after(a,b)                \
   
3.         (typecheck(unsigned long, a) && \
   
4.          typecheck(unsigned long, b) && \
   
5.          ((long)(b) - (long)(a) < 0))
   

复制代码

Missex

谢谢

BTW: 成都还好吧

[ 本帖最后由 Missex 于 2008-5-15 14:58 编辑 ]