bool 陷井

er

一个函数,明明返回假,可执行时却按真的路线执行,后来找到了问题所在,原来是bool的使用问题,下面这段代码可能没有问题,但是有隐患,因为函数返回的值只占用al,而如果判断时却用的语句为test eax, eax

1. 
   
2. #include <stdio.h>
   
3. 
   
4. #define false 0
   
5. #define true 1
   
6. 
   
7. typedef unsigned char bool;
   
8. 
   
9. bool f(void)
   
10. {
    
11.         return false;
    
12. }
    
13. 
    
14. int main()
    
15. {
    
16.         if (f())
    
17.                 printf("true\n");
    
18.         else
    
19.                 printf("false\n");
    
20.         return 0;
    
21. }
    
22. 
    
23. 
    

复制代码

er

和编译器有关,所以大家一定要注意

er

项目中关于布尔定义的好几个,最后我选择了枚举定义的比较好用

mik

原帖由 er 于 2006-8-3 17:45 发表
一个函数,明明返回假,可执行时却按真的路线执行,后来找到了问题所在,原来是bool的使用问题,下面这段代码可能没有问题,但是有隐患,因为函数返回的值只占用al,而如果判断时却用的语句为test eax, eax
[code]
#inc ...

你用的是啥编译器？

无论你的返回值是 char, short, 还是 int/long 型，返回值肯定是在 eax 中的！

要有说服力的话，就贴出汇编代码来

aXe

不会吧。。。是呀，你有什么证据？？？

rushrush

我拿去编译了一下.. 结果是false
gcc-3.3
athlon64  -_-

er

原帖由 mik 于 2006-8-3 20:46 发表



你用的是啥编译器？

无论你的返回值是 char, short, 还是 int/long 型，返回值肯定是在 eax 中的！

要有说服力的话，就贴出汇编代码来

我是在真实的项目中遇到的,这段代码如果拿gcc编译时,判断时用的test %al, %al,拿vc6编译是用的两行代码,
and         eax,0FFh
test        eax,eax
这样也没问题.但实际项目中(VC6编译),却没有and eax,0FFh这句,但是此时eax中的值却是0xCCCCCC00,因此会出错,不过当我用
if (f() == true)时,and eax,0FFh这句又会出现.我想我没必要骗大家,所以我觉得还是typedef enum{false, true} bool;这样定义比较好,而不是为了省空间而用typedef unsigned char bool

[ 本帖最后由 er 于 2006-8-4 10:08 编辑 ]

yuxh

原帖由 er 于 2006-8-4 10:06 发表

我是在真实的项目中遇到的,这段代码如果拿gcc编译时,判断时用的test %al, %al,拿vc6编译是用的两行代码,
and         eax,0FFh
test        eax,eax
这样也没问题.但实际项目中(VC6编译),却没有and eax,0FF ...

能说一下"真实的项目"是什么环境吗，不然很难让我相信。
除非把true定义成-1了

思一克

一个可能的情况是：

main()
没有看见f() 和bool的定义（比如在2个文件中）就会出现LZ说的

deathbravo

gcc out:
       call    f
        testb   %al, %al
        je      .L3

VC out:
        call        _f
        and        eax, 255                                ; 000000ffH
        test        eax, eax
        je        SHORT $L774