기본적인 연산이라 생각했는데 전혀 예상치 않은 결과가...
글쓴이: jee89 / 작성시간: 화, 2005/09/13 - 8:42오후
#include <stdio.h>
int main( int argc , char **argv )
{
int n;
int nRet;
if ( 0 - ( sizeof n ) > 0 )
printf( "%s" , "strange...\n" );
else
printf( "%s" , "ok\n" );
if ( ( 0 - ( sizeof n ) ) > 0 )
printf( "%s" , "strange...\n" );
else
printf( "%s" , "ok\n" );
if ( ( nRet = ( 0 - ( sizeof n ) ) ) > 0 )
printf( "%s" , "strange...\n" );
else
printf( "%s" , "ok\n" );
return 0;
}
실행결과가
strange... strange... ok
이렇게 나오네요.
환경은 sun 5.9 이고, gcc 3.4.2입니다.
Forums:
...
아마도 데이터형의 문제인것 같네요.
0 에 특별한 지시자를 주지 않는 이상.. unsigned int 형이 아닐까 합니다. unsigned int - unsigned int 연산이므로.. 처음 두번의 if() 문에서 TRUE 가 떨어졌겠죠.
그리고 이건 플랫폼에 따라 구현이 다를것 같네요. 다른 환경에서 컴파일해보시면 0 을 어떤 데이터형으로 보느냐에 따라 차이가 있을수도..
sizeof 연산의 결과는 size_t이고 size_t는 무부호 정수형입
sizeof 연산의 결과는 size_t이고 size_t는 무부호 정수형입니다.
( 0 - ( sizeof n ) ) > 0 이 실행되는 순서는
1. int형인 0이 무부호형으로 승격
2. (size_t)0 - sizeof n 결과는 0이 아닌 무부호형
3. 무부호형 > 0에서 0이 다시 무부호형으로 승격
4. 2의 결과에 의해 최종 결과는 1(true)
두번째 경우도 이와 마찬가지이지만, 세번째 ( nRet = ( 0 - ( sizeof n ) ) ) > 0의
경우는 다릅니다.
1. int형인 0이 무부호형으로 승격
2. (size_t)0 - sizeof n 결과는 0이 아닌 무부호형
3. 2의 결과가 int형으로 변환되는데, 무부호 -> 유부호의 변환은 구현체에 따라 다름
지금은 nRet의 값이 0보다 작아지는 환경임. 따라서 최종 결과는 0(false)
즉 첫번째, 두번째의 결과는 항상 "strange"이고 세번째의 결과는 구현체에 따라 달라집니다.
Re: ...
아무런 suffix(U, L, UL 등)가 없는 정수형 상수 0의 형은 signed int입니다.