부호없는 char은 항상 int로 승격됩니까?

Question

는 가정 다음

unsigned char foo = 3; 
unsigned char bar = 5; 

unsigned int shmoo = foo + bar; 

보장 foo 및 bar 값은 표현 foo + bar의 평가를 위해 int 값으로 승진 할 수 있는가 - 또는 구현 unsigned int에게 홍보 할 수 있습니다?

섹션 6.2.5제 8 절 : 동일한 부호의 다른 정수 변환 계수 (6.3.1.1 참조) 유형 값의 범위로 임의의 두 정수 유형의

더 작은 정수 변환 순위는 다른 유형의 값의 하위 범위 인 입니다.

9 단락 6.2.5 절에서:

은 int 원래 타입의 모든 값을 나타낼 수있는 경우, 그 값은 int로 변환된다; 그렇지 않으면 unsigned int으로 변환됩니다.

작은 정수 변환 순위 정수 타입은 다른 타입의 값의 하위 범위 인 값의 범위를 갖는 것을 보장 정수형의 부호의에 의존하는 것으로 보인다.

• signed char이 signed int
• unsigned char에 해당이는 unsigned char의 값 만 unsigned int의 부분 범위에서 보장하고 반드시 int 것을 뜻 unsigned int

에 해당? 그렇다면 구현시 이론적으로 unsigned char 값이 int의 하위 범위에 있지 않음을 의미합니까?

Answer 1

은 unsigned int로 승격시킬 수있는 구현입니까? (C99에서 6.2.5p9에 의해 통치로) 모든 unsigned char 값이 int에서 표현할 수 있습니다하지 않을 경우

구현 unsigned int을 추진합니다. 구현 예는 아래를 참조하십시오.

그렇다면 구현이 이론적으로 int의 하위 범위에없는 부호없는 char 값을 가질 수 있다는 것을 의미합니까?

예 : CHAR_BIT 16 또는 32의 DSP cpu예를 들어

,의 TMS320C55x에 대한 TI의 C 컴파일러 : CHAR_BIT이 16 UCHAR_MAX 65535, UINT_MAX 65535하지만 INT_MAX 나는이 어제 가로 질러 32767

http://focus.ti.com/lit/ug/spru281f/spru281f.pdf

Answer 2

입니다 - 내 대답은 주제에 바랍니다.

uint8_t x = 10; 
uint8_t y = 250; 

if (x - y > 0) { 
    // never happens 
} 

if (x - y < 0U) { 
    // always happens 
} 

적어도 x와 y 값은 예기치 않게 승격되는 것처럼 보였습니다. 사실 승격 된 결과였습니다.