bool 陷井

er

一個函數(shù),明明返回假,可執(zhí)行時(shí)卻按真的路線執(zhí)行,后來找到了問題所在,原來是bool的使用問題,下面這段代碼可能沒有問題,但是有隱患,因?yàn)楹瘮?shù)返回的值只占用al,而如果判斷時(shí)卻用的語句為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. 
    

復(fù)制代碼

er

和編譯器有關(guān),所以大家一定要注意

er

項(xiàng)目中關(guān)于布爾定義的好幾個,最后我選擇了枚舉定義的比較好用

mik

原帖由 er 于 2006-8-3 17:45 發(fā)表
一個函數(shù),明明返回假,可執(zhí)行時(shí)卻按真的路線執(zhí)行,后來找到了問題所在,原來是bool的使用問題,下面這段代碼可能沒有問題,但是有隱患,因?yàn)楹瘮?shù)返回的值只占用al,而如果判斷時(shí)卻用的語句為test eax, eax
[code]
#inc ...

你用的是啥編譯器？

無論你的返回值是 char, short, 還是 int/long 型，返回值肯定是在 eax 中的！

要有說服力的話，就貼出匯編代碼來

aXe

不會吧。。。是呀，你有什么證據(jù)？？？

rushrush

我拿去編譯了一下.. 結(jié)果是false
gcc-3.3
athlon64  -_-

er

原帖由 mik 于 2006-8-3 20:46 發(fā)表



你用的是啥編譯器？

無論你的返回值是 char, short, 還是 int/long 型，返回值肯定是在 eax 中的！

要有說服力的話，就貼出匯編代碼來

我是在真實(shí)的項(xiàng)目中遇到的,這段代碼如果拿gcc編譯時(shí),判斷時(shí)用的test %al, %al,拿vc6編譯是用的兩行代碼,
and         eax,0FFh
test        eax,eax
這樣也沒問題.但實(shí)際項(xiàng)目中(VC6編譯),卻沒有and eax,0FFh這句,但是此時(shí)eax中的值卻是0xCCCCCC00,因此會出錯,不過當(dāng)我用
if (f() == true)時(shí),and eax,0FFh這句又會出現(xiàn).我想我沒必要騙大家,所以我覺得還是typedef enum{false, true} bool;這樣定義比較好,而不是為了省空間而用typedef unsigned char bool

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

yuxh

原帖由 er 于 2006-8-4 10:06 發(fā)表

我是在真實(shí)的項(xiàng)目中遇到的,這段代碼如果拿gcc編譯時(shí),判斷時(shí)用的test %al, %al,拿vc6編譯是用的兩行代碼,
and         eax,0FFh
test        eax,eax
這樣也沒問題.但實(shí)際項(xiàng)目中(VC6編譯),卻沒有and eax,0FF ...

能說一下"真實(shí)的項(xiàng)目"是什么環(huán)境嗎，不然很難讓我相信。
除非把true定義成-1了

思一克

一個可能的情況是：

main()
沒有看見f() 和bool的定義（比如在2個文件中）就會出現(xiàn)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