データ型プロモーション、次のコードでは

Question

：

#include "stdio.h" 
signed char a= 0x80; 
unsigned char b= 0x01; 


void main (void) 
{ 
    if(b*a>1) 
     printf("promoted\n"); 
    else if (b*a<1) 
     printf("why doesnt promotion work?"); 

    while(1); 
} 

私は「「昇格予想を印刷するしかし、私が署名し、unsigned int型のデータ型、およびとして持つことができるなら、それはなぜ doesntの。？。予想通り正の数、0x01のように、例えば、0x80000000のaとb負の数は、「昇格」に印刷されます。

PLZは、私は問題が何であるかを理解するのに役立つ！

は

Answer 1

あなたは厄介でキャッチされてきましたCのタイプ促進ルール

Cにおいて

、intより小さい整数型の中間体は、intに自動的に昇格されます。

だからあなたがいる：

0x80 * 0x01 = -128 * 1 

0x80はintを入力するように拡張署名される：

0xffffff80 * 0x00000001 = -128 * 1 = -128 

だから、結果は-128であり、したがって1未満です。

---

あなたがタイプintとunsigned intを使用する場合は、両方のオペランドがunsigned intに昇進。符号なし整数として0x80000000 * 0x01 = 0x80000000が1より大きい。

---

だからここは場所を取っているタイプのプロモーションのサイドバイサイドの比較です：b*aは常に== -128あるので

(signed char) * (unsigned char) -> int 
(signed int) * (unsigned int) -> unsigned int 

(signed char)0x80  * (unsigned char)0x01 -> (int)   0xffffff80 
(signed int)0x80000000 * (unsigned int)0x01 -> (unsigned int)0x80000000 

(int)   0xffffff80 is negative -> prints "why doesnt promotion work?" 
(unsigned int)0x80000000 is positive -> prints "promoted" 

Here's a reference to the type-promotion rules of C.

Answer 2

printf("promoted\n");は決して を実行していない理由は、これは、1

a  b  
0x80 * 0x01 = -128 * 1 

未満です