c에서 "~" 연산자의 (암시적) 타입변환에 대한 질문입니다.

> 참부해 주신 링크 잘 보았습니다.
> 링크를 보고 제가 이해한 중요한 점은 다음과 같습니다.
> * ~ 연산자의 피연산자는 signed int로 형변환된다.
>

보다 정확히는 "integral promotion 이 적용된다"가 맞습니다.

대부분의 구현체에서 UCHAR_MAX <= INT_MAX 이기에 int 로 진급이 이루어
지지만, (일부 DSP 를 위한 freestanding 환경에서처럼) UCHAR_MAX >
INT_MAX 라면 int 가 아닌 u-int 로 진급이 이루어집니다. 예를 들어, ~
가 적용되는 피연산자의 type 이 u-char 가 아니라 u-short 이고,
USHRT_MAX == UINT_MAX 인 환경이라면 역시 int 가 아닌 u-int 로 진급
됩니다. 여기서는 문제가 되는 경우인 int 로 진급되는 경우만을 이야기
하도록 하겠습니다.

> 따라서 원문은 다음과 같은 순서로 해석된다고 이해했습니다.
>
> if( 0xF0 == ~0x0F) // 원문
> if( 0xF0 == ~0x0000000F) // "~" 연산자의 피연산자가 signed int로 형변환
> if( 0xF0 == 0xFFFFFFF0) // "~" 연산자 적용
> if( 0x000000F0 == 0xFFFFFFF0) // "unsigned char"가 "unsigned int"로 형변환
>

상수를 16진 정수 상수 형태로 쓸 경우 연산이 실제로는 "값"에 적용된다
는 사실이 가려질 수 있습니다. 보다 분명한 설명을 위해 아래와 같이
기술하겠습니다.

1. (a == ~b) 가 주어짐 => (u-char == ~u-char): (240 == ~15)
2. ~ 연산 적용 전에 b 에 integral promotion 적용되어 int 형으로 변환
    => (u-char == ~int): (240 == ~15)
3. int 형의 값 15 에 ~ 연산 적용되어 결과는 implementation-defined
    => (u-char == int): (240 == i.d. 값)
4. == 연산 적용을 위해 좌측 피연산자에 변환 적용되어 int 형으로 변환
    => (int == int): (240 == i.d. 값)
5. == 연산 적용되어 결과 나옴

> * 제가 이해한 내용이 맞는지요?

주요한 차이점은 int 형의 값 0x0000000F 에 ~ 를 적용한 결과가 모든
환경에서 0xFFFFFFF0 으로 나타낼 수 없다는 것(!)과, 그 이후 값을
비교할 때 좌측 피연산자는 u-int 가 아닌 int 로 변환된 이후 상등
비교 연산이 적용된다는 것입니다.

> * 그럼 원문을 다음과 같이 변경해서 사용하면 별 문제(이식성/표준)가 없는지요?
>
> if( a == (unsigned char)~b)
>

문제의 핵심은 비트 연산자를 항상 무부호 정수형에 적용되도록 하는 것
입니다. 이 경우 ~ 는 어차피 b 가 갖는 type (u-char) 의 진급된 type
(int) 에 적용되고 그 결과는 구현체 의존적인 값(b 의 값이 양수일 때
~ 는 sign bit 에도 영향을 주므로 ~ 연산 적용 결과는 음수)이 되며, 그
값을 다시 u-char 형으로 변환(음수를 u-char 로 변환하는 행동은 명확히
정의되어 있으나 그 음수값 자체에 이식성이 없기 때문에 u-char 로 변환
이후의 결과에도 이식성이 없음)해 a 와 비교하는 것에 불과합니다 - 제가
링크해드린 글 이외에 동일 thread 의 다른 글들도 한번 보시기 바랍니다.

http://groups.google.co.kr/group/han.comp.lang.c/browse_frm/thread/149c912a26aed543

이식성을 얻기 위해선 아래와 같이 수행해야 합니다.

unsigned char a = 0xF0, b = 0x0F;
...
if (a == (unsigned char)~(unsigned int)b)

이 경우 b 를 int 가 아닌 무부호 정수형으로 변환한 상태에서 ~ 를 적용
하며 이를 다시 unsigned char 로 변환하는 것은 모든 환경에서 상위 비트
를 잘라내는 결과를 보입니다.

다시 한번 강조드리지만, 핵심은 비트 연산 적용 시점에 피연산자의 type
을 더이상 implicit conversion 이 적용되지 않는 무부호 정수형으로
만들어 주는 것입니다.